Casey Coleman @MonadMania
I’m a mathematician and programmer looking to improve digital research and education. https://t.co/QPgZM7zMUN Oregon, USA Joined November 2018-
Tweets10
-
Followers12
-
Following146
-
Likes18
@laMudri @the_good_matty @KeithEPeterson_ @FunctorFact @laMudri Resource-sensitive and sub-structural logics would be relevant to cognitive scientists seeking to explain inference in intelligent systems like the brain. Stereotypical reasoning, though not always locally optimal, might be a globally optimal reasoning strategy.
@rodleonardoc @APO_AE_01973 Cool chat, man. At some point you quoted from a book. What was it again?
@rodleonardoc @APO_AE_01973 When you think you're reducing other people's suffering, you may need to ask if you are actually reducing your own suffering in disguise. This is a major source of mis-aligned intentions these days.
@rodleonardoc @APO_AE_01973 To elaborate: reducing whose suffering? You seeing something, then suffering, then acting to reduce your suffering, does not reduce the other's suffering. Yet, the above is the sort of suffering reduction that is popular today.
GANs to generate photo-realistic faces with some control over characteristics. Pretty realistic. Code: github.com/SummitKwan/tra… Slides: docs.google.com/presentation/d…
Shape up your career and increase your earning potential. Learn most In-Demand IT Technologies with instructor-led corporate training with loads of hands-on and projects! Cloud Computing-AWS/Azure VCP Big Data Hadoop Digital Marketing CCNA RnS Cisco UCCX/UCCE +917217705293
A simple HOW-TO that will write code in .NET Core and access the Google Datastore for read/write data. goo.gl/F3S25u #cloud #gcp #dotnetcore #googleDataStore #askFiqri #noSQL
Interesting ... a NoSql that claims 10x the performance of Casandra, can run on K8s, is dynamically scalable horizontally and supports data modelling: ScyllaDB a Next-Gen NoSQL database scylladb.com/product/
"Human-Independent" Knowledge linkedin.com/pulse/human-in… We can use the Web to make math, science, and tech language-, culture-, and background-independent. What better way to secure America's future than this?
Thoukna @thoukna93505
51 Followers 5K Following
Titeesh @Titeesh158891
12 Followers 190 Following I live alone now and enjoy business, traveling, shopping, food and music. I have a calm personality and I hope we can be friends.
Sephyth @Sephyth120240
29 Followers 970 Following I live alone now and enjoy business, traveling, shopping, food and music. I have a calm personality and I hope we can be friends.
BRAINCITIES ® @BRAINCITIES
1K Followers 4K Following Environmental responsiveness fathers. Augmenting Decision Makers with #AI and #trustful #Data | #theDataAlchemists. https://t.co/KAXJm91Kjl
SEMANTiCS Conference @SemanticsConf
4K Followers 2K Following SEMANTiCS conference is the meeting place for professionals who make semantic computing work, and understand its benefits and know its limitations.
@[email protected]... @swibcon
767 Followers 567 Following Conference on Semantic Web & Linked Open Data in libraries & related institutions #swib23 11–13, September in Berlin
Quantum Information @Quantum_Digit
3K Followers 2K Following Quantum Information, Quantum Optics, Quantum Computer
Bureau of Internet @BOIAorg
7K Followers 7K Following The Bureau of Internet Accessibility testing (Section 508 & WCAG 2.0) enables organizations to understand how inclusive their website is to all Internet users.
Kenyata Calhoun @KenyataCalhoun
49 Followers 655 Following Done exploring the world…dealing with it now
Michael Malice @michaelmalice
823K Followers 1K Following Author: Dear Reader, The New Right, Anarchist Handbook, Unwanted, The White Pill Host "YOUR WELCOME" Subject: Ego & Hubris by Harvey Pekar He/Him ⚑
math.AP Analysis of P... @arXiv_math_AP
902 Followers 28 Following Abstracts of math.AP (Analysis of PDEs) papers posted to https://t.co/RuAS0G4T22 tweeted daily as embedded images. Click to enlarge . Unaffiliated to ArXiv.
math.CA Classical Ana... @arXiv_math_CA
820 Followers 28 Following Abstracts of https://t.co/ojhUsmqlgV (Classical Analysis and ODEs) papers in arXiv tweeted daily as embedded images. Click to enlarge. Unaffiliated to ArXiv.
math.RA Rings and Alg... @arXiv_math_RA
873 Followers 28 Following Abstracts of math.RA (Rings and Algebras) papers posted to arxiv dot org auto-tweeted daily as embedded images (Click to enlarge). Unaffiliated to ArXiv.
math.KT K-Theory and ... @arXiv_math_KT
821 Followers 28 Following Abstracts of math.KT (K-Theory and Homology) papers posted to arxiv dot org tweeted daily as embedded images (Click to enlarge). Unaffiliated to ArXiv.
math.NT Number Theory... @arXiv_math_NT
994 Followers 28 Following Abstracts of math.NT (Number Theory) papers posted to arxiv dot org tweeted daily as embedded images. Click to enlarge. Unaffiliated to ArXiv.
math.GT Geometric Top... @arXiv_math_GT
1K Followers 28 Following Abstracts of math.GT (Geometric Topology) papers posted to https://t.co/RuAS0G4T22 tweeted daily as embedded images. Click to enlarge. Unaffiliated to ArXiv.
math.CV Complex Varia... @arXiv_math_CV
770 Followers 28 Following Abstracts of https://t.co/4lWEM76KEQ (Complex Variables) papers posted to arXiv tweeted daily as embedded images. Click to enlarge. Unaffiliated to ArXiv.
math.DG Differential ... @arXiv_math_DG
1K Followers 28 Following Abstracts of math.DG (Differential Geometry) papers posted to https://t.co/RuAS0G4T22 tweeted daily as embedded images. Click to enlarge. Unaffiliated to ArXiv.
math.AT Algebraic Top... @arXiv_math_AT
1K Followers 28 Following Abstracts of https://t.co/rVk7TPGSBx (Algebraic Topology) papers posted to arXiv tweeted daily as embedded images. Click to enlarge. Unaffiliated to ArXiv.
@arxivblog @arxivblog
87K Followers 0 Following Science, emerging technology, insight. Now at Substack, previously at Technology Review, Medium and Discover Magazine
Libgig @libgig
9K Followers 4 Following Dedicated to the library sciences and information/knowledge management positions with an online job board, recruiting services and career development resources.
David Gurteen @DavidGurteen
13K Followers 8K Following Conversational Leadership: writer, speaker, and facilitator. Founder: Gurteen Knowledge & creator of the Gurteen Knowledge Cafe.
IFLA Section - Knowle... @IFLA_KM
939 Followers 161 Following The IFLA Knowledge Management (KM) Section is the "Voice of Global KM" for the international library and information community.
Mike Forsythe 傅才�... @PekingMike
178K Followers 4K Following New York Times reporter. U.S. Navy veteran. Co-author of NYT bestseller "When McKinsey Comes to Town" Order here: https://t.co/IWnsXyAKbA…
Bill Bishop @niubi
199K Followers 6K Following Sinocism https://t.co/4IciuAHywl Co-founded https://t.co/e9DjtXQ6tc. Sharp China Podcast https://t.co/qVWELS0lYq
Patrick Chovanec @prchovanec
76K Followers 3K Following Private sector economic advisor. Author of the newly released book “Cleared for the Option: A Year Learning to Fly”. https://t.co/vhcQrJq9n3. #avgeek
Blume Industries CEO ... @BaldingsWorld
81K Followers 1K Following Founder of https://t.co/nIY8jQ0p12, two time winner of Lifetime Achievement awards. Coined the phrase Galaxy Brain and proud University of North Alaska graduate
🇺🇸 Kyle Bass �... @Jkylebass
318K Followers 2K Following Partner - Rochefort Ventures 🇺🇸 Democracy, Rule of Law, and National Security. Life Member CFR. Texan
General Spalding @robert_spalding
140K Followers 8K Following I block communists and communist sympathizers.
Paul Ryan @SpeakerRyan
3.1M Followers 239 Following Office of the 54th Speaker of the House, Paul Ryan.
Melania Trump 45 Arch... @FLOTUS45
14.3M Followers 8 Following This is an archive of a Trump Administration account, maintained by the National Archives and Records Administration.
President Trump 45 Ar... @POTUS45
29.9M Followers 38 Following This is an archive of a Trump Administration account, maintained by the National Archives and Records Administration.
Bureau of Internet @BOIAorg
7K Followers 7K Following The Bureau of Internet Accessibility testing (Section 508 & WCAG 2.0) enables organizations to understand how inclusive their website is to all Internet users.
Benjamin Wiederkehr @datavis
12K Followers 489 Following Editor of Datavisualization.ch the premier news and knowledge resource for data visualization and infographics.
Micah Blake McCurdy @IneffectiveMath
41K Followers 1K Following Mathematician and freelance data visualization with focus on NHL. [email protected]. Subscribe for early access to charts at https://t.co/RtXXerRl3I. He/him.
Susie Lu @DataToViz
13K Followers 243 Following Senior Staff Data Visualization Engineer at Netflix. Art at https://t.co/I4yhqgbAwv
Jesse Dylan @jesse_dylan_
12K Followers 300 Following Filmmaker and eternally curious. Founder of @Wondros
Data Stories Podcast @datastories
16K Followers 98 Following A podcast on Data + Visualization with @filwd and @moritz_stefaner. Support us on Patreon! https://t.co/yzUaNPR2l9.Stamen Design (@stame... @stamen
18K Followers 617 Following San Francisco product development and visual communications studio. Products, tools, stories, maps, and curiosities—made from data. https://t.co/5wVeg7ZSRS
Map Grafica @mapgrafica
1K Followers 8 Following Online Editor for creating Data Visualization Maps and Designs based on Maps, with Thousands of Shape Templates.
DataVisualization NL @DataVisNL
1K Followers 27 Following Updates on Data-Visualization-related events in the Netherlands. Suggestions for (re)tweets are welcome. (Coordinator: @YuriEngelhardt).
INKE @INKEproject
1K Followers 979 Following We're a North American-based research network aiming to foster open social scholarship. Coordinated by the Canadian Social Knowledge Institute @UVic
SemanticWebofThings @AmelieGyrard
283 Followers 925 Following Research & Innovation Consultant @ Trialog: #IoT and #AI #SemanticInteroperability #Ontology #Standard #WellBeing
Apollo @apollographql
47K Followers 397 Following API orchestration platform for AI agents and modern applications. GraphQL and REST connectivity. Trusted by enterprise leaders. 🚀
Meta Open Source @MetaOpenSource
158K Followers 537 Following Empowering diverse community through open source technology.
GraphQL @GraphQL
129K Followers 14 Following A query language for APIs, brought to you by the GraphQL Foundation
Jesper L. Andersen @jlouis666
3K Followers 492 Following CS hacker, researcher, and investigator. Erlang, Ocaml, Haskell, Go. Loves concurrency, distribution, type theory, semantics, model checking, formal methods.
Sydney Type Theory @SydneyTypes
230 Followers 250 Following Lunchtime type theory reading/study group in Sydney. We're currently reading the Homotopy Type Theory book. Tweets by @antiselfdual
Dependent Types @dependent_types
1K Followers 2 Following Mostly an automated feed from the Dependent Types reddit
Type Theory @type_theory
489 Followers 248 Following An online study group, open to all, dedicated to learning type theory.
Amir Moulavi @mamirm
16K Followers 126 Following Life-long learner, Distributed System, Type Theory, Concurrency, PL. Work: @Google (Ex Nasdaq/Klarna/Mojang/Jayway). Views are my own. he/his.
Zachary Ernst @ZacErnst
310 Followers 93 Following Former Academic Philosopher. Current data engineer. Automated theorem-proving. Machine learning. Game theory. Coffee.
OCamlLabs @ocamllabs
1K Followers 165 Following
OCaml MOOC @ocamlmooc
1K Followers 560 Following








