Typeclassopedia
wiki.haskell.org·4h·
Discuss: Hacker News
💻Programming languages
What, exactly, is space-time?
theconversation.com·19h
⚛️Physics
Joint Error Propagation
theorangeduck.com·18h
📊Embeddings
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·15h·
Discuss: Hacker News
💻Programming languages
Thinking Across Languages
hedgehogreview.com·14h·
Discuss: Hacker News
🏛️Politics
Safe Is What We Call Things Later: Some Software Engineering Folklore
worksonmymachine.ai·18h·
Discuss: Hacker News
🪄Prompt Engineering
leptos-rs/leptos
github.com·5h
🌐Axum
These are extremely good textbooks.
threadreaderapp.com·17h
🧮SMT Solvers
Spoon-Bending, a logical framework for analyzing GPT-5 alignment behavior
github.com·52m·
Discuss: Hacker News
🛡️AI Safety
Evolution favors the ability to change subjective probabilities in MWI + Experimental test
lesswrong.com·16h
⚛️Physics
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·19h·
Discuss: Lobsters, Hacker News
🦀Rust Compiler Internals
Which Programming Language Should I Teach First?
parentheticallyspeaking.org·15h·
Discuss: Lobsters, Hacker News, Hacker News
💻Programming languages
Intuition for Pick’s Theorem
johndcook.com·13h
🏊Memory Pools
The Hidden Ingredients Behind AI’s Creativity
wired.com·20h
🆕New AI
Capture Checking in Scala
nrinaudo.github.io·2h·
Discuss: Hacker News
🦀Rust Compiler Internals
When functions dissolve
rubber-duck-typing.com·16h·
Discuss: Hacker News
🪄Prompt Engineering
🔗 HTTP is not simple
yellowduck.be·14h
🌐Web Standards
Show HN: I Built a XSLT Blog Framework
vgr.land·14h·
Discuss: Hacker News
📋Markdown
From Logic to Linear Algebra: How AI Is Rewiring the Computer
journal.hexmos.com·16h·
Discuss: Hacker News, r/programming
⚡Hardware Acceleration
The Trauma of Gaslighting and Veridical Distortion
cristinagherghel.substack.com·22h·
Discuss: Substack
🏛️Politics