These Mathematicians Don’t Believe Large Numbers Exist. I’m Serious.
backreaction.blogspot.com·22h·
Quantified Types
Flag this post
Empirical Characterization Testing
blog.ploeh.dk·47m
🧪Compiler Testing
Flag this post
Gaiwan: October Recap
gaiwan.co·4h
🌱Forth Kernels
Flag this post
CloudEvents as a Data Product
codesimple.blog·7h
↔️Bidirectional Sync
Flag this post
Using eBPF to attribute packet drops to netfilter rules
developers.redhat.com·6h
🪤Trap Handlers
Flag this post
William H. Gass: Interviewed by Thomas LeClair – With John Gardner (1979)
medium.com·17h·
Discuss: Hacker News
🔬programming language theory
Flag this post
A Prophetic Poem about Artificial Intelligence Written in 1961
rodneybrooks.com·7h
🌱Minimal Languages
Flag this post
Valuable misunderstandings
aeon.co·3h
⚖️Inference Rules
Flag this post
Poem of the week: Simile by Éireann Lorsung
theguardian.com·3h
🪞Homoiconicity
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·22h·
Discuss: Hacker News
🏷️Memory Tagging
Flag this post
This AI authorship protocol aims to keep humans connected to thinking
fastcompany.com·1d
⚖️Inference Rules
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·3d
📋S-Expression
Flag this post
Contrastive Knowledge Transfer and Robust Optimization for Secure Alignment of Large Language Models
arxiv.org·9h
🪜Recursive Descent
Flag this post
The Hardest Bug to Fix Is Ambiguity
dev.to·9h·
Discuss: DEV
🚂Error Propagation
Flag this post
Type inference with TryFrom and ()
reddit.com·1d·
Discuss: r/rust
🛡️Error Handling
Flag this post
What Artifacts Teach Us
systemsapproach.org·6h
🌍Minimal HTTP
Flag this post
Linkage
11011110.github.io·2d
🪢Rope Data Structures
Flag this post
The case for compatibilism.
reddit.com·9h·
Discuss: r/freewill
💫Effect Systems
Flag this post
0055: consulting, sql needed structure, slow forum, on the line, out of thin air, papers, other stuff
scattered-thoughts.net·2d
🔄Bootstrapping
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·1h·
Discuss: DEV
🎯99-Line Tools
Flag this post