Computer Science @CompSciFact
Daily tweets about computer science and related stuff @JohnDCook. JohnDCook.com Joined November 2010-
Tweets13K
-
Followers251K
-
Following17
-
Likes268
Formally proving a calculus calculation with Claude and Lean johndcook.com/blog/2026/06/1…
0
0
1
250
1
View Details
'Beware of bugs in the above code; I have only proved it correct, not tried it.' -- Donald Knuth
'Sometimes, the elegant implementation is a function. Not a method. Not a class. Not a framework. Just a function.' -- John Carmack
Gray code johndcook.com/blog/2020/09/0…
A graph is k-connected if it remains connected when any k-1 vertices are removed.
'The psychological profiling [of a programmer] is mostly the ability to shift levels of abstraction, from low level to high level. To see something in the small and to see something in the large.' -- Donald Knuth
State machines blog.markshead.com/869/state-mach…
The halting problem: You cannot write a program that can tell whether an arbitrary program will complete or run forever.
'Methods and object can no longer be separated.' -- Werner Heisenberg
Converting between quaternions and rotation matrices johndcook.com/blog/2025/05/0…
“Cryptography is a mixture of mathematics and muddle, and without the muddle the mathematics can be used against you.” — Ian Cassels
'Writing code is often a constant struggle against distraction.' -- Joy of Clojure
Classic cryptography: The Playfair cipher johndcook.com/blog/2023/02/2…
New post: Naively summing an alternating series johndcook.com/blog/2026/06/0…
The Yoda of Silicon Valley nytimes.com/2018/12/17/sci…
Minimum criteria for a language to be Turing complete cs.stackexchange.com/questions/991/…
'The fastest algorithm can frequently be replaced by one that is almost as fast and much easier to understand.' -- Douglas W. Jones
Cardinal rule of floating point arithmetic: If x and y agree to n bits, then you can lose up to n bits of precision computing x-y.
Floor, ceiling, bracket johndcook.com/blog/2021/04/1…
C++ templates are Turing-complete matt.might.net/articles/c++-t…
Algebra Etc. @AlgebraFact
195K Followers 19 Following Tweets about algebra, number theory, and miscellaneous math by @JohnDCook.
Analysis Fact @AnalysisFact
134K Followers 19 Following Daily tweets about real and complex analysis and related topics. From @JohnDCook.
Data Science Fact @DataSciFact
196K Followers 19 Following Daily data science tweets from @JohnDCook.
Unix tool tip @UnixToolTip
83K Followers 19 Following Tips on Unix utilities and related topics from @JohnDCook.
Scientific Python @SciPyTip
210K Followers 18 Following Tweets about SciPy (Scientific Python) and related topics from @JohnDCook.
Signal Processing @DSP_fact
34K Followers 18 Following Digital signal processing, acoustics, Fourier analysis, etc.
Topology Fact @TopologyFact
74K Followers 19 Following Tweets on topology and geometry from @JohnDCook.
Differential Eqns @diff_eq
76K Followers 17 Following Tweets on ordinary and partial differential equations from @JohnDCook
Logic & Applications @LogicPractice
28K Followers 8 Following Logic and applications of logic from @JohnDCook
Command Line Magic @climagic
186K Followers 10K Following Cool Unix/Linux Command Line tricks you can use in $TWITTER_CHAR_LIMIT characters or less. Here mostly to inspire. Also on https://t.co/YYJE9JpVnF
Frank Nielsen @FrnkNlsn
42K Followers 2K Following Information Geometry, Information Theory, Geometric Science of Information GSI, machine learning, AI, visual computing, HPC, pyBregMan @SonyCSL
MathType @MathType
47K Followers 276 Following MathType is the world’s leading equation editor powered by @wiris_science.
Programming Wisdom @CodeWisdom
265K Followers 2K Following Programming wisdom and quotes throughout the years. The Knuth, the whole Knuth, and nothing but the Knuth, so help me Codd.
Brian Goetz @BrianGoetz
67K Followers 210 Following Java Language Architect at Oracle. Author, Java Concurrency in Practice (https://t.co/ddAm2rKwpE). Also, cats.
TeX and Typography @TeXtip
50K Followers 19 Following Tweets on TeX, LaTeX, and typography. @JohnDCook.
Meeting C++ @meetingcpp
35K Followers 956 Following C++ News - C++ User Groups - C++ Conference #cpp https://t.co/qpnlCJHbWj / @[email protected] Imprint: Jens Weller, https://t.co/UI8y5b7GsQ
Regular Expression @RegexTip
74K Followers 19 Following Learn to use regular expressions by following RegexTip. From @JohnDCook.
Science and Medicine @ScienceTip
41K Followers 19 Following Daily post on science and medicine from @JohnDCook
KPK @KPKKHAN_
5 Followers 244 Following
Alexandr Aradofff @aradofff
0 Followers 35 Following
Mohamed Doucouré @doucaml
0 Followers 33 Following
NickD @NickD_X
417 Followers 1K Following
H @h4mzaaaaaaaaa
534 Followers 2K Following “If you don’t stand for something, you’ll fall for anything.” —Malcolm X
Slade Sheridan @LetSladeDoit
46 Followers 122 Following
Alexander J @Alexand51454621
13 Followers 237 Following
Tyrant Hunter @TyrantHunter_
114 Followers 6K Following 🎬 Exposing Tyrants | Documenting Cruelty | Voice for the Innocent. Fighting oppression with raw videos and hard truths. No silence. No fear. 🇺🇸
--- @__scde__
4 Followers 99 Following
Cadimel @kingcaddy5723
0 Followers 29 Following
vadimbaitoiu @vadimbaitoiu
1 Followers 234 Following
Muhammad Ravi @Masternova789
0 Followers 9 Following
Psalmer jeff Tanchico @JeffPsalmer
0 Followers 3 Following
M Imran Khan @MimranK40113599
1 Followers 21 Following i am a bs CS student at University of Agriculture Faisalabad Pakistan.
ayblaq @ayblaq8
5 Followers 144 Following
Yuqiang Zheng @yuqiangzheng
0 Followers 95 Following
Sandeep Kumar Khadang... @SK_Khadanga
4 Followers 250 Following 🎓 High Schooler (Grade 11) | Tech & Innovation Enthusiast | 📚 Aiming for Excellence in Higher Studies | Building the Future in Robotics Engineering.
Ali @Khaki8089
0 Followers 110 Following
Mubaark abdikariin @Mubaarkabdikari
0 Followers 89 Following Web Designer with 3+ years of experience creating modern, responsive, and user-friendly websites. Skilled in website design, WordPress, UI/UX principles, and di
Gilberdi @gilberdi_
1 Followers 23 Following
abdelaziz Adam @abdelazizA17835
0 Followers 160 Following
bogdan incognito @BogdanIncognito
3 Followers 509 Following
Ambuj Mehrish @AmbujMehri8244
3 Followers 347 Following
OluwaBrimz @TLTechbender
101 Followers 2K Following Love building for the web & learning more about it ⚡ | npm run dev addict 💻 | Man U ni séh ❤️⚽| Tech geek 🤓 | Budding Engineer📡 | Foodie 🍲.
Omer @0x0F0F0
9 Followers 364 Following
Neeraj Singh @NeerajS71828112
0 Followers 17 Following
Jafed Encinas @jafedencinas
1 Followers 135 Following Artificial Intelligence, Computer Architecture, Distributed Systems
B7R @BA7R_90
5 Followers 6 Following Frontend Engineer · React / Next.js / TypeScript Building fast, clean & scalable web experiences ⚡ Open to work 👇
Ici Finit la Route @Shergar1981
220 Followers 5K Following 🐴 COURSES & HISTOIRE des COURSES / Les CHEVAUX avant tout, surtout, plus que tout... / 🟩🟥
Itachi @1tach1_uch1h7
1 Followers 37 Following
sampson @sampsonlqs
1 Followers 345 Following
Louis Ekemini @louisekemini
3 Followers 186 Following
darriush @dariush_2027
3 Followers 399 Following درود بی کران بر شما مهربانو و مهربان آریایی خوش آمدید سپاس برای همراهی یاور از ره رسیده با من از ایران بگو
Safwan Bakth @safwan_bakth815
9 Followers 49 Following
Babaae🥀 @AbulabasU80949
0 Followers 137 Following
Mathcrate @mathcrate
1 Followers 83 Following
Luis @LuisYu19
93 Followers 908 Following former owner of an old TV repair station in the Philippines. Currently an aspiring comic screenwriter.
Algebra Etc. @AlgebraFact
195K Followers 19 Following Tweets about algebra, number theory, and miscellaneous math by @JohnDCook.
Analysis Fact @AnalysisFact
134K Followers 19 Following Daily tweets about real and complex analysis and related topics. From @JohnDCook.
Data Science Fact @DataSciFact
196K Followers 19 Following Daily data science tweets from @JohnDCook.
Unix tool tip @UnixToolTip
83K Followers 19 Following Tips on Unix utilities and related topics from @JohnDCook.
Scientific Python @SciPyTip
210K Followers 18 Following Tweets about SciPy (Scientific Python) and related topics from @JohnDCook.
Signal Processing @DSP_fact
34K Followers 18 Following Digital signal processing, acoustics, Fourier analysis, etc.
Topology Fact @TopologyFact
74K Followers 19 Following Tweets on topology and geometry from @JohnDCook.
Differential Eqns @diff_eq
76K Followers 17 Following Tweets on ordinary and partial differential equations from @JohnDCook
Logic & Applications @LogicPractice
28K Followers 8 Following Logic and applications of logic from @JohnDCook
TeX and Typography @TeXtip
50K Followers 19 Following Tweets on TeX, LaTeX, and typography. @JohnDCook.
Regular Expression @RegexTip
74K Followers 19 Following Learn to use regular expressions by following RegexTip. From @JohnDCook.
Science and Medicine @ScienceTip
41K Followers 19 Following Daily post on science and medicine from @JohnDCook
Functor Fact @FunctorFact
27K Followers 6 Following Functional programming and category theory tweets from @JohnDCook
Network Fact @NetworkFact
46K Followers 19 Following Daily tweets about networks, graph theory, and related topics from @JohnDCook
Medical Vocabulary @MedVocab
50K Followers 19 Following Learn medical vocabulary a little bit at a time. From @JohnDCook.You might like
Probability Fact
@ProbFact
147K Followers
Algebra Etc.
@AlgebraFact
195K Followers
Data Science Fact
@DataSciFact
196K Followers
Analysis Fact
@AnalysisFact
134K Followers
GitHub
@github
2.7M Followers
Scientific Python
@SciPyTip
210K Followers
Logic & Applications
@LogicPractice
28K Followers
Differential Eqns
@diff_eq
76K Followers
Topology Fact
@TopologyFact
74K Followers
Network Fact
@NetworkFact
46K Followers
Units
@UnitFact
25K Followers
Programming Wisdom
@CodeWisdom
265K Followers
Science and Medicine
@ScienceTip
41K Followers
Unix tool tip
@UnixToolTip
83K Followers
Kaggle
@kaggle
316K Followers