category theory emergency? dial 00ใ‚ˆ, now!
thalescircles.tumblr.comยท1d
ฮปLambda Formalization
Fortnight notes: 14 โ€“ 26 July
neilojwilliams.netยท11h
๐ŸŒ€Brotli Internals
XOR Crack Kit
kobolt.websiteยท3d
๐Ÿ”Cryptographic Archaeology
Can we build an Activist AI?
micahbornfree.substack.comยท22hยท
Discuss: Substack
โšกIncremental Computation
When Fluid Flows Become Computers: A New Limit to AI's Predictive Power
lightcapai.medium.comยท5hยท
Discuss: Hacker News
โš›๏ธInformation Physics
The Illusion of Thinking
mjtsai.comยท2d
๐ŸงฎSMT Solvers
Got tired of Synology slow interface, so I built a CLI security auditing tool while learning Go
github.comยท11h
๐Ÿ”HSM Integration
Retrofitting error detection
johndcook.comยท15hยท
Discuss: Hacker News
โœ…Checksum Validation
Measuring Engineering
fffej.substack.comยท20hยท
Discuss: Substack
๐Ÿ“Code Metrics
This AI Learns Faster Than Anything Weโ€™ve Seen!
youtube.comยท1d
๐Ÿ”ฒCellular Automata
LLMs remain vulnerable to "jailbreaking" through adversarial prompts
link.springer.comยท3dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Claude Code Is a Slot Machine
rgoldfinger.comยท8hยท
Discuss: Hacker News
๐Ÿ“Compiler Design
Python source code analyzer based on distrust
github.comยท3hยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
Artisanal Programming (Coding)
kuccello.medium.comยท1dยท
Discuss: Hacker News
๐Ÿ“Code Metrics
Programming Language Escape Hatches
buttondown.comยท3dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
๐Ÿ“ˆ Bug rate improvement after switching to AI assistants:
dev.toยท17hยท
Discuss: DEV
โœ๏ธOCR Correction
ADL โ€“ Agent Definition Language
github.comยท1hยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Revisiting LLM Reasoning via Information Bottleneck
arxiv.orgยท2d
๐Ÿ“Linear Logic
Rules for AI coding assistants working with the Linux kernel codebase
lore.kernel.orgยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Building a User Authentication and File Management API with FastAPI
dev.toยท9hยท
Discuss: DEV
๐Ÿ”ŒArchive APIs