Typeclassopedia
wiki.haskell.org·10h·
Discuss: Hacker News
🧩Types
Which Programming Language Should I Teach First?
parentheticallyspeaking.org·21h·
Discuss: Lobsters, Hacker News, Hacker News
🪄Prompt Engineering
When functions dissolve
rubber-duck-typing.com·22h·
Discuss: Hacker News
🪄Prompt Engineering
Two Dogmas of Empiricism
en.wikipedia.org·59m·
Discuss: Hacker News
🧩Types
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·21h·
Discuss: Hacker News
🌸Bloom Filters
Stable, Mutable References for Ante
antelang.org·10m·
Discuss: r/programming
🦀Rust Compiler Internals
🔗 HTTP is not simple
yellowduck.be·20h
🌐Web Standards
Show HN: I Built a XSLT Blog Framework
vgr.land·20h·
Discuss: Hacker News
📋Markdown
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·15h·
Discuss: Hacker News
🪄Prompt Engineering
My second compiler! (From 1997.)
github.com·4h
⚙️Language Runtimes
How Many Paths of Length K Are There Between a and B?
horace.io·17h·
Discuss: Hacker News
🧮SMT Solvers
Capture Checking in Scala
nrinaudo.github.io·8h·
Discuss: Hacker News
🦀Rust Compiler Internals
Spoon-Bending, a logical framework for analyzing GPT-5 alignment behavior
github.com·6h·
Discuss: Hacker News
🛡️AI Safety
Looking for Final Year Project (FYP) Ideas – Web Dev, AI, or Automation Tools
reddit.com·2h·
Discuss: r/SoftwareEngineering
🪄Prompt Engineering
Import AI 426: Playable world models; circuit design AI; and ivory smuggling analysis
jack-clark.net·1h
🆕New AI
This is amazing. But I'm a bit more extreme than Maxime.
threadreaderapp.com·16h
🏆LLM Benchmarking
Appreciating Libxslt (2005)
xml.com·3h·
Discuss: Hacker News
✏️Code Editors
5 Core I/O Models Every Software Engineer Should Know
alexpham.dev·21h·
Discuss: r/programming
💫IO_uring
Revealing the biophysics of lamina-associated domain formation by integrating theoretical modeling and high-resolution imaging
nature.com·1h
🔬Chip Fabrication
Evaluating Long-Term Conversational Memory of LLM Agents
arxiv.org·16h·
Discuss: Hacker News
🧠LLM Inference