๐Ÿ”ค Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

Nice to think that weโ€™ve finally reached the...
lmika.orgยท3d
๐Ÿ“„PostScript
Leave AI Slop out of CVE; Humans Make Mistakes Just Fine
jericho.blogยท2d
๐Ÿ”“Hacking
Understanding Apache Fluss
jack-vanlightly.comยท2dยท
Discuss: Lobsters, Hacker News, Hacker News, r/programming
๐ŸŒŠApache Kafka
Trapped in the Infinite Honey Pot
brianschrader.comยท2dยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
The Modern CLI Renaissance | Gabe Venberg
gabevenberg.comยท3d
๐ŸšNordic Shell
Writing Sentences
rodolphoarruda.pro.brยท1h
๐Ÿ“ผTape Linguistics
The 65-year-old theory that helps explain why the Democrats keep losing
vox.comยท1d
๐ŸŽฏProof Tactics
How academics and โ€˜big techโ€™ can learn from one another
nature.comยท1d
๐Ÿ›Digital humanities
I Should Have Loved Electrical Engineering
blog.tdhttt.comยท3dยท
Discuss: Hacker News
๐ŸŽฎSwitch Archaeology
Astronomers map detailed structures in a giant radio fossil in the Ophiuchus cluster
phys.orgยท1h
๐Ÿ“ฐRSS Archaeology
๐Ÿš€ Introducing AI-DBUG
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
XSLT Debate Leads to Bigger Questions of Web Governance
thenewstack.ioยท3dยท
Discuss: Hacker News
๐Ÿ”€XSLT
Are we approaching the vision of 'malleable software'?
news.ycombinator.comยท2dยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
Funding Circle Holdings Plc (FDCHF) Q2 2025 Earnings Call Transcript
seekingalpha.comยท1h
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
PixFoundation 2.0: Do Video Multi-Modal LLMs Use Motion in Visual Grounding?
arxiv.orgยท11h
๐Ÿ“Projective Geometry
BSD Weekly 247
discoverbsd.comยท1d
๐Ÿ”ŒOperating system internals
Enhancing GPS Pr Accuracy via Kalman Filter Adaptive Bandwidth Optimization
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing
AI Trends 2025: The MCP Revolution
dev.toยท20hยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
Spatiotemporal EEG-Based Emotion Recognition Using SAM Ratings from Serious Games with Hybrid Deep Learning
arxiv.orgยท3d
๐Ÿง Learned Codecs
A Data-Driven RetinaNet Model for Small Object Detection in Aerial Images
arxiv.orgยท11h
๐Ÿง Machine Learning