Donkey Kong Country 2 and Open Bus
jsgroth.devยท2d
๐ŸŽฎGameBoy Architecture
Proving that every program halts
ntietz.comยท4d
๐Ÿ‘‘Isabelle
I built a network-wide IPv6 DDNS updater โ€” finds hosts by MAC and syncs DNS without touching the end device
github.comยท2hยท
Discuss: r/homelab
๐ŸŒDNS over QUIC
Song recommendations from F# combinators
blog.ploeh.dkยท4d
๐Ÿ”—Functional Compilers
Blogging Like It's 1998 โ€“ The Pipetogrep Blog
blog.pipetogrep.orgยท20hยท
Discuss: Hacker News
๐Ÿ Homelab Archaeology
Single-function Devices in the World of the Everything Machine
chrbutler.comยท3dยท
Discuss: Hacker News
๐Ÿ’พvintage computing
RAG Blueprint
docs.vespa.aiยท1dยท
Discuss: Hacker News
๐Ÿค–Archive Automation
Taming the Wild West of ML: Practical Model Signing with Sigstore on Kaggle - DevConf.CZ 2025
youtube.comยท1d
๐Ÿ’งLiquid Types
IBMโ€™s Dmitry Krotov wants to crack the โ€˜physicsโ€™ of memory
research.ibm.comยท3dยท
Discuss: Hacker News
๐Ÿ“ผTape Combinators
Fast Capture of Cell-Level Provenance in Numpy
arxiv.orgยท3d
๐Ÿ”—Data Provenance
Near-Optimal Dynamic Policies for Joint Replenishment in Continuous/Discrete Time
arxiv.orgยท3d
๐Ÿ“ˆLinear programming
Cost-Effective Optimization and Implementation of the CRT-Paillier Decryption Algorithm for Enhanced Performance
arxiv.orgยท3d
๐Ÿ”ขBitwise Algorithms
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.toยท2dยท
Discuss: DEV
๐Ÿ“Code Metrics
Exploring High Efficiency Web Analysis Results๏ผˆ1750904353002600๏ผ‰
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing
Fine-Tuning and Prompt Engineering of LLMs, for the Creation of Multi-Agent AI for Addressing Sustainable Protein Production Challenges
arxiv.orgยท1d
๐ŸงฎTheorem Proving
Accurate and Energy Efficient: Local Retrieval-Augmented Generation Models Outperform Commercial Large Language Models in Medical Tasks
arxiv.orgยท1d
๐ŸŒ€Brotli Internals
๐Ÿ‚ Beginner-Friendly Guide: "Sum of k-Mirror Numbers" โ€“ LeetCode 2081 (python| JavaScript | Python )
dev.toยท13hยท
Discuss: DEV
ฮปLambda Encodings
This Week in Security: MegaOWNed, Store Danger, and FileFix
hackaday.comยท7h
๐Ÿ”“Hacking
The Future of AI Is Physical: Simulation Is Key
website-staging.inductiva.aiยท3hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.orgยท2d
๐Ÿง Intelligence Compression