Tom Leranth (@xkey) header
Tom Leranth (@xkey) profile picture

Father; Applied Mathematician; Dev (C/C++/Julia/Python/Go/smidgeons of Elixir & Rust); Algorithms; Cryptography; H/w & S/w; Amat Photographer; Powerlifter

Midwest
Joined March 2008
Photo by Tom Leranth (@xkey)Photo by Tom Leranth (@xkey)Photo by Tom Leranth (@xkey)Photo by Tom Leranth (@xkey)Photo by Tom Leranth (@xkey)Photo by Tom Leranth (@xkey)Photo by Tom Leranth (@xkey)Photo by Tom Leranth (@xkey)Photo by Tom Leranth (@xkey)Photo by Tom Leranth (@xkey)
Tom Leranth retweeted
Moni Naor wins the 2026 Knuth Prize, the highest career award in theoretical computer science. sigact.org/Prizes/knuth/cita…
1
23
2
102
9,043
So... In the last few days I have had my agents write: 1. A word processing app in which I will write future books. It replaces Scrivener. 2. A script writing app in which I will write future video scripts. It replaces FinalDraft. 3. Crapper, a tool that measures and records CRAP statistics for projects. The tool handles many different languages, and adding new ones is easy. 4. Mutator, a tool that runs mutation tests and records the results. The tool handles many different languages and adding new ones is easy. 5. Dryer, a tool that runs duplication analysis on a project. The tools handles many different language and adding new ones is easy. 6. UML-Viewer, a tool that displays the structure of a project in a UMLish diagram that shows modules and dependencies and highlights dependency cycles. Clicking on a module displays it's contents; which may be deeper UML diagrams or, at the leaves, code. The tools color codes the modules to reflect their CRAP and Mutation scores, and as you drill down you can see those scores for each module and function. The tool understands many different languages, and adding new languages is easy. I recon that, last year, this would have been well over a man-year of effort. All these tools are in github.com/unclebob. I advise you not to use them directly. Instead, point your agents at them and use them as templates to build the tools that are customized to your needs. The licenses are all BSD Zero, meaning that there are no strings. Do what you like.
138
159
36
2,862
170,354
Tom Leranth retweeted
blog.jupyter.org/posts/2026/… From Punch Cards to the Browser: Fortran Comes to JupyterLite. The LFortran kernel now runs entirely in your browser, with no installation and no server. October 1, 2026 · Anutosh Bhat, Ondřej Čertík
1
8
40
661
Tom Leranth retweeted
Jensen Huang promotes open-source LLMs for innovation. Great. The next step is democratizing compute. High GPU costs remain one of the biggest barriers to academic research and grassroots innovation. Imagine the impact if NVIDIA also expanded free or heavily subsidized compute for researchers and open-source projects. Open models need accessible compute to truly unlock innovation.
3
3
35
4,059
Tom Leranth retweeted
arXiv has received a 17.2 million investment from three leading philanthropic organizations. Thank you to Simons Foundation International, Siegel Family Endowment, and XTX Markets for your support of arXiv! Read more: blog.arxiv.org/2026/09/23/ar…
24
91
23
937
265,132
Tom Leranth retweeted
To welcome you back to school, it's time for a new release of Speech and Language Processing! Our August 2026 edition finally has a chapter 1! Check it out here: web.stanford.edu/~jurafsky/s…
9
98
9
468
30,977
Tom Leranth retweeted
講義資料をまとめた本『脳とAIをつなぐ数理 ― 表現・学習・生成』のドラフトを公開しています。京大で学部生向けに行っていた講義「脳情報学」がもとですが、後半は表現の幾何・測定理論・対称性・生成モデルなど、いま関心のある話題を大幅に足しました kamitanilab.github.io/neuroA…
140
7
565
65,226
Tom Leranth retweeted
In 1990, Michel Talagrand showed that given a₁,…,aₘ ∈ ℝⁿ, there are weights w₁,…,wₘ ≥ 0, only O(n log n) of them nonzero, such that ∑ᵢ wᵢ|⟨aᵢ,x⟩| ≈ ∑ᵢ |⟨aᵢ,x⟩| within 1% for all x ∈ ℝⁿ. 36 years later, that last log is gone: O(n) nonzeros suffice! [1/5]
8
70
5
637
59,250
Tom Leranth retweeted
The hardest problems are rarely solved by adding more complexity to the solution -- they are solved by reframing the question until a simpler, clearer answer reveals itself.
74
309
29
2,666
95,345
Tom Leranth retweeted
FREE Math Book. 470 pages. "Complex Analysis" by Howell & Mathews. Supports a one-semester undergraduate course. Suitable for math, engineering, and physics students. 1 Complex Numbers 2 Complex Functions 3 Analytic and Harmonic Functions 4 Sequences, Series, and Fractals 5 Elementary Functions 6 Complex Integration 7 Taylor and Laurent Series 8 Residue Theory 9 Conformal Mapping 10 Applications of Harmonic Functions 11 Fourier Series and the Laplace Transform Link: complexanalysis.org/
5
100
1
486
22,360
Tom Leranth retweeted
array processing is a really funny field because everything gets separately invented at least three times and -- naturally -- gets called different names because radar people, sonar people, and communications people don't like each other and don't talk with each other
6
7
81
3,198
Tom Leranth retweeted
cmu-sei.github.io/secure-cod… The Software Engineering Institute of Carnegie Mellon University has created a secure Fortran coding standard.
2
9
408
Tom Leranth retweeted
Introducing Lattice Deduction Transformers: An 800k-parameter looped transformer that reasons like a SAT solver achieves 100% on Sudoku-Extreme with only 15 minutes of training. A collaboration between @axiommathai, @AmherstCollege and @BarnardCollege.
30
180
32
1,335
267,370
Tom Leranth retweeted
"I looked round the trees. The thin net of reality. These trees, this sun. I was infinitely far from home. The profoundest distances are never geographical." ~John Fowles, The Magus
1
16
88
3,425
Tom Leranth retweeted
How do you improve vehicle #simulation when key physics are difficult to model directly? This #webinar with Dr. Michael Hoffmann explores how Scientific Machine Learning in #Dyad helps engineers combine test data with physics-based models to uncover missing behaviour, improve ride model fidelity, and avoid the trade-off between rigid first-principles models and black-box AI. A practical session for simulation and vehicle dynamics teams. Register now - juliahub.com/events/discover… #julialang #Dyad #ScientificMachineLearning #VehicleDynamics #Simulation #Engineering #SciML
1
6
222
Tom Leranth retweeted
Announcing Surya OCR 2: - 650M params - 83.3% olmocr bench score (top under 3B) - 87% on internal 91-lang benchmark - 5 pages/s on RTX 5090 - Runs on CPU, GPU, MPS
16
50
6
477
51,452
Tom Leranth retweeted
Run @tenstorrent kernels on your CPU. ttsim is a bit-exact, full-system simulator of Wormhole and Blackhole. The whole tt-metal stack on Linux, Mac (UTM/QEMU) or Windows (WSL2) — numerics match silicon bit-for-bit. Bring up kernels of explore the architecture. No silicon required. First of its kind. Now Open Source github.com/tenstorrent/ttsim
10
23
6
238
23,182