category theory emergency? dial 00ใ‚ˆ, now!
thalescircles.tumblr.comยท23h
ฮปLambda Formalization
Fortnight notes: 14 โ€“ 26 July
neilojwilliams.netยท8h
๐ŸŒ€Brotli Internals
XOR Crack Kit
kobolt.websiteยท2d
๐Ÿ”Cryptographic Archaeology
Can we build an Activist AI?
micahbornfree.substack.comยท18hยท
Discuss: Substack
โšกIncremental Computation
When Fluid Flows Become Computers: A New Limit to AI's Predictive Power
lightcapai.medium.comยท1hยท
Discuss: Hacker News
โš›๏ธInformation Physics
The Illusion of Thinking
mjtsai.comยท2d
๐ŸงฎSMT Solvers
Karpathy-Inspired Note-Taking
denismaciel.comยท2hยท
Discuss: Hacker News
๐ŸŒฑPersonal Wikis
Got tired of Synology slow interface, so I built a CLI security auditing tool while learning Go
github.comยท7h
๐Ÿ”HSM Integration
Retrofitting error detection
johndcook.comยท11hยท
Discuss: Hacker News
โœ…Checksum Validation
Measuring Engineering
fffej.substack.comยท16hยท
Discuss: Substack
๐Ÿ“Code Metrics
LL and LR Parsing Demystified (2013)
blog.reverberate.orgยท6dยท
Discuss: Lobsters, Hacker News
๐Ÿ”—Monadic Parsing
This AI Learns Faster Than Anything Weโ€™ve Seen!
youtube.comยท1d
๐Ÿ”ฒCellular Automata
Show HN: Mcp-chromautomation โ€“ Chrome MCP that is not a puppeteer
github.comยท1dยท
Discuss: Hacker News
๐Ÿ•ธ๏ธWebAssembly
Implementing Graphs in Golang Without Starting from Scratch
dev.toยท3hยท
Discuss: DEV
๐Ÿ—œ๏ธGraph Compression
๐ŸŽจ Clean code setup that boosts focus:
dev.toยท2hยท
Discuss: DEV
๐Ÿ“ŸCLI Design
We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
github.comยท5dยท
Discuss: Hacker News
๐ŸŒณContext free grammars
Byte-Vision delivers powerful Retrieval Augmented Generation by integrating Llama.Cpp and Elasticsearch's vector search.
dev.toยท2dยท
Discuss: DEV
๐Ÿ”BitFunnel
Show HN: I made a full Ethereum account-proof circuit in Circom
github.comยท1dยท
Discuss: Hacker News
๐ŸŒณArchive Merkle Trees
Show HN: Zbench, RAG evals using chess Elo ratings
github.comยท3dยท
Discuss: Hacker News
๐Ÿ”Information Retrieval
viboxai: Building with Bolt - WLH Challenge
dev.toยท5hยท
Discuss: DEV
๐Ÿš€Indie Hacking