Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·1d
🔓Decompilation
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·2d·
Discuss: r/javascript, r/programming
λLambda Encodings
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·15h·
Discuss: Hacker News
🔗Monadic Parsing
Flag this post
Monte-Carlo/Moments micro-macro Parareal method for unimodal and bimodal scalar McKean-Vlasov SDEs
arxiv.org·1d
🔗Tailscale
Flag this post
Mathematical Proof Debunks the Idea That the Universe Is a Computer Simulation
science.slashdot.org·1d
⏰Time Crystals
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·12h·
Discuss: Hacker News
🔨Compilers
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·1d
💻Local LLMs
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
twitter.com·5h·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·4h·
Discuss: Hacker News
👑Dependent Haskell
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
λLambda Formalization
Flag this post
The LLM-First Manifesto: From Prose to Programs
dev.to·10h·
Discuss: DEV
⚙️TLA+
Flag this post
Mind of a Mathematician (2019)
paw.princeton.edu·1d·
Discuss: Hacker News
📐Mathematical Art
Flag this post
A Short Introduction to Categorical Logic
youtube.com·2d
🔀Category Theory
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·3d
💻Programming languages
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·15h·
Discuss: Lobsters, Hacker News
🔒Type Safety
Flag this post
Two Paths to Safety: How Go and Rust Made Opposite Bets
dev.to·15h·
Discuss: DEV
🦀Rust Borrowing
Flag this post
Teaching Probabilistic Machine Learning in the Liberal Arts: Empowering Socially and Mathematically Informed AI Discourse
arxiv.org·2d
🔲Cellular Automata
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·2d·
Discuss: Substack
💻Programming languages
Flag this post
A hitchhiker's guide to CUDA programming
seanzhang.me·1d·
Discuss: Hacker News
⚡SIMD Vectorization
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·2d·
Discuss: Hacker News, r/rust
🦀Rust Borrowing
Flag this post