Michael Litchard

202 posts

Michael Litchard

Michael Litchard

@lambdafan

Katılım Aralık 2024
95 Takip Edilen5 Takipçiler
Michael Litchard retweetledi
Hamzé 🦀
Hamzé 🦀@Hamzeml·
Stop treating ML as tensor soup. In our first workshop on Category Theory for Tiny ML in Rust, one idea became obvious: Weight Gradient Loss LearningRate Prediction They may all be numbers. They are not the same thing. Python lets you confuse them. Rust lets you encode the difference. Next workshop: Build a Typed Tiny Neuron in Rust We’ll start with raw f32, then rebuild it with Rust types until the compiler starts catching conceptual mistakes before runtime. Input → Prediction → Loss → Gradient → Updated Model State No category theory cosplay. No framework magic. No “just trust PyTorch bro.” Just tiny ML, typed transformations, and executable structure. Paris + online June 2, 18:00–19:00 CEST Links in the first reply.
Hamzé 🦀 tweet media
English
2
3
27
1.4K
Michael Litchard retweetledi
Dmitrii Kovanikov
Dmitrii Kovanikov@ChShersh·
C++23 introduced 'deducing this'. It means I can fully use my 10 years of accumulated FP knowledge and finally write self-recursive lambdas easily. The world is not ready for the kind of FP I'm going to unleash.
Dmitrii Kovanikov tweet media
English
26
20
394
43.9K
Michael Litchard retweetledi
sudox
sudox@kmcnam1·
sudox tweet media
ZXX
120
997
7.6K
141.2K
Michael Litchard retweetledi
Tom Sydney Kerckhove
Tom Sydney Kerckhove@kerckhove_ts·
Mutation testing is so hardcore. I can't believe I haven't been nerdsniped into this before. I can't get away with writing some untested anything without explicitly saying "I don't care".
English
5
4
43
2.3K
Michael Litchard retweetledi
David Ma
David Ma@dma2077·
Thrilled to release our new paper: “OProver: A Unified Framework for Agentic Formal Theorem Proving.” TL;DR: We train Lean 4 theorem provers to use retrieval, compiler feedback, and iterative repair as part of the proving policy—not just as test-time tricks. OProver-32B achieves SOTA open-weight whole-proof proving results, reaching 93.3% Pass@32 on MiniF2F, 58.2% on ProverBench, and 11.3% on PutnamBench.
David Ma tweet media
English
1
17
29
2.6K
Michael Litchard retweetledi
Dmitrii Kovanikov
Dmitrii Kovanikov@ChShersh·
@Heliocene The world would’ve been completely different if Haskell was mainstream
English
1
1
7
323
Michael Litchard retweetledi
Dmitrii Kovanikov
Dmitrii Kovanikov@ChShersh·
@sabine_s_ I’m sorry you had to touch Python 🫂 Get well soon!
English
3
1
93
3.1K
Michael Litchard retweetledi
Dmitrii Kovanikov
Dmitrii Kovanikov@ChShersh·
"C is suitable for production software because Linux is written in C!" Brother, I have news for you. You're not writing a 2nd Linux.
Dmitrii Kovanikov tweet media
English
74
40
1.5K
46.8K
Michael Litchard retweetledi
No Context Brits
No Context Brits@NoContextBrits·
“Mama… just killed a mouse… put my paws against his head, now he’s dead beneath the bed…”
No Context Brits tweet media
English
75
2.4K
9.4K
331.5K
Michael Litchard retweetledi
Dmitrii Kovanikov
Dmitrii Kovanikov@ChShersh·
GCC 16 was released some time ago with improved support for C++26, including 1. Reflection 2. Contracts 3. C++20 enabled by default 4. std::mdspan 5. std::simd 6. Improved modules support isocpp.org/blog/2026/04/g…
Dmitrii Kovanikov tweet media
English
15
15
207
15.9K