are-dependent-types-actually-erased
chadnauseam.com·3d·
Discuss: Hacker News
🧠llms
Flag this post
The Curved Spacetime of Transformer Architectures
arxiv.org·23h·
Discuss: Hacker News
🧠llms
Flag this post
When did people favor composition over inheritance?
sicpers.info·16h·
Discuss: Hacker News, r/programming
🧠llms
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·11h·
Discuss: Hacker News
🧠llms
Flag this post
Differentiation and how it could be the reason why reality exists
carlo-htgdc.medium.com·5h·
Discuss: Hacker News
🧠llms
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·12h·
Discuss: Hacker News
🧠llms
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·4d·
Discuss: Hacker News
🧠llms
Flag this post
Marden's Theorem
en.wikipedia.org·14h·
Discuss: Hacker News
🧠llms
Flag this post
Pain Points of OCaml
quamserena.com·2d·
Discuss: Lobsters, Hacker News
🧠llms
Flag this post
Build123d (A Python CAD programming library) Roadmap
github.com·1d·
Discuss: Hacker News
🧠llms
Flag this post
Ruby and Its Neighbors: Smalltalk
noelrappin.com·1d·
Discuss: Hacker News, r/programming
🧠llms
Flag this post
Even Numbers Are Tautologies
risingentropy.com·6h·
Discuss: Hacker News
🧠llms
Flag this post
Accumulating Context Changes the Beliefs of Language Models
lm-belief-change.github.io·21h·
Discuss: Hacker News
🧠llms
Flag this post
A Short Survey of Compiler Backends
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠llms
Flag this post
Antropocene
feralatlas.org·8h·
Discuss: Hacker News
🧠llms
Flag this post
The English language doesn't exist – it's just French that's badly pronounced
frenchclasses.com·11h·
Discuss: Hacker News
🧠llms
Flag this post
Zig Looked Like the Future – Until We Tried Multithreading
freedium-mirror.cfd·4h·
Discuss: Hacker News
🧠llms
Flag this post
Coding on Paper
thepalindrome.org·14h·
Discuss: Hacker News
🧠llms
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·4d·
Discuss: Hacker News
🧠llms
Flag this post
Embedding TypeScript
andrews.substack.com·17h·
Discuss: Substack, r/programming
🧠llms
Flag this post