are-dependent-types-actually-erased
chadnauseam.com·3d·
Discuss: Hacker News
🧠llms
Flag this post
The Curved Spacetime of Transformer Architectures
arxiv.org·18h·
Discuss: Hacker News
🧠llms
Flag this post
When did people favor composition over inheritance?
sicpers.info·11h·
Discuss: Hacker News
🧠llms
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·6h·
Discuss: Hacker News
🧠llms
Flag this post
Differentiation and how it could be the reason why reality exists
carlo-htgdc.medium.com·40m·
Discuss: Hacker News
🧠llms
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·7h·
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·9h·
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·22h·
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·1h·
Discuss: Hacker News
🧠llms
Flag this post
Accumulating Context Changes the Beliefs of Language Models
lm-belief-change.github.io·16h·
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·3h·
Discuss: Hacker News
🧠llms
Flag this post
The English language doesn't exist – it's just French that's badly pronounced
frenchclasses.com·6h·
Discuss: Hacker News
🧠llms
Flag this post
Coding on Paper
thepalindrome.org·8h·
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
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
🧠llms
Flag this post
Embedding TypeScript
andrews.substack.com·12h·
Discuss: Substack, r/programming
🧠llms
Flag this post