Any worth in these old servers
forums.anandtech.comยท33m
๐Ÿ–ฅ๏ธMinimal VMs
Provable Cryptography for Bitcoin: An Introduction (Workbook)
delvingbitcoin.orgยท2d
๐Ÿ“กBinary Protocols
Redlib โ€” Self-hosted Reddit browsing without the bloat
akashrajpurohit.comยท14h
๐ŸŒWASM Runtimes
Building Prude
prude.onglx.aiยท1dยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
What Every Parent Should Know About the AI Future
debliu.substack.comยท1dยท
Discuss: Substack
๐ŸŽ“Educational VMs
Enhanced verification of safety and security for advanced driver assistance systems
sciencedirect.comยท55m
๐ŸŽฏFinite Automata
Supply chain attacks are the new big thing (2022)
cryptologie.netยท1dยท
Discuss: Hacker News
๐Ÿ“ฆDependency Analysis
A Steering Vector for SQL Injection Vulnerabilities in Phi-1.5
lesswrong.comยท1d
๐Ÿ›ก๏ธParser Security
Network representations reveal structured uncertainty in music
arxiv.orgยท10h
๐ŸŒฑMinimal ML
Decoding Hearts: Universal ECG Language for Smarter AI by Arvind Sundararajan
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠDataflow Languages
Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.orgยท2d
๐Ÿ”ขAlgebraic Datatypes
Why is Protobufโ€™s C++ API so clunky? Would a nlohmann/json-style wrapper make sense?
github.comยท2dยท
๐Ÿ indieweb
Official MCP Registry Client
github.comยท16hยท
Discuss: Hacker News
๐ŸŒPortable Assembly
AI Coding Is Boring โ€” And What To Do About It
dev.toยท47mยท
Discuss: DEV
๐Ÿ’ฌInteractive REPLs
PromptCraft: Mini AI Prompt Generator App Spring AI and Spring Boot
dev.toยท1dยท
Discuss: DEV
โš™๏ธConfiguration Languages
Introducing: the pipeline framework
github.comยท23hยท
Discuss: DEV
๐ŸŒช๏ธV8 Pipeline
GenAI Voice Mode in Programming Education
arxiv.orgยท2d
๐ŸŽฎLanguage Ergonomics
I built a community-driven list of free & open APIs with examples โ€“ looking for contributors!
reddit.comยท7hยท
Discuss: r/programming
๐Ÿ indieweb