Linear Types for Programmers
twey.io·4d·
Discuss: Hacker News
🧠llms
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·3d·
Discuss: Hacker News
🧠llms
In Support Of Shitty Types
lucumr.pocoo.org·2d·
Discuss: Lobsters, Hacker News
🧠llms
libsemigroups: C++ library for semigroups and monoids
github.com·2d·
Discuss: Hacker News, r/cpp
🧠llms
Boundaries Are in the Eye of the Beholder (2024)
planktonvalhalla.com·21h·
Discuss: Hacker News
🧠llms
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·1d·
Discuss: Hacker News
🧠llms
Depth=2
tristanpemble.com·2d·
Discuss: Hacker News
🧠llms
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·16h·
Discuss: Hacker News
🧠llms
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
🧠llms
The Generativity Pattern in Rust
arhan.sh·2d·
Discuss: Lobsters, Hacker News, r/programming
🧠llms
The joy of building a bytecode VM from scratch
vivekn.dev·2h·
Discuss: Hacker News
🧠llms
Spectral: A Screen-First Typeface (2017)
design.google·1d·
Discuss: Hacker News
🧠llms
Cross-Entropy. Intuition and Applications
hclimente.eu·8h·
Discuss: Hacker News
🧠llms
SAT Requires Exhaustive Search
link.springer.com·2d·
Discuss: Hacker News
🧠llms
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·1d·
Discuss: Hacker News
🧠llms
Thinking in Hoses and Wires, Not Bolted Gears (Protocol-Driven Development)
github.com·18h·
Discuss: Hacker News
🧠llms
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·3d·
Discuss: Hacker News
🧠llms
Python performance myths and fairy tales
lwn.net·1d·
Discuss: Lobsters, Hacker News
🧠llms
Claude's Suggested Essays from My Notes
angadh.com·18h·
Discuss: Hacker News
🧠llms
Pragmatism in Programming Proverbs
gingerbill.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠llms