Dot Battle - a Javascript Physics Toy
sheep.horseยท5h
๐Ÿ“ŸTerminal Physics
The problem with inferring from a function call operator is that there may be more than one
devblogs.microsoft.comยท3dยท
Discuss: r/cpp
๐Ÿฆ€Rust Verification
State of My Homelab 2025
mrkaran.devยท1d
๐Ÿ HomeLab
MoonScript, a language that compiles to Lua
moonscript.orgยท2d
๐Ÿ”—Concatenative Programming
Lazy text capitalization with low latency large language models
blog.florianschulz.infoยท1dยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
The eBPF Verifier โ€“ How Linux Safely Runs User Code in Kernel Space
qpoint.ioยท5dยท
Discuss: Hacker News
๐Ÿ›ก๏ธeBPF Security
Luke Plant: Breaking โ€œprovably correctโ€ Leftpad
lukeplant.me.ukยท4dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Encodings
Fine-Tuning Local Models with Docker Offload and Unsloth
docker.comยท3d
๐Ÿ–ฅ๏ธTerminal Renaissance
Tiger Style Coding Philosophy
tigerstyle.devยท4dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
"The G in GPU is for Graphics damnit "
ut21.github.ioยท3dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Potential issues in curl found using AI assisted tools
dev.toยท2dยท
Discuss: DEV
๐Ÿ’งLiquid Types
๐Ÿง Why OrKa-Reasoning: what orcas can teach us about building smart agent teams ๐Ÿ‹
dev.toยท9hยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
# ๐Ÿงฉ Build an MCP Server with ASP.NET Core
dev.toยท1dยท
Discuss: DEV
๐Ÿ“กNetwork Stack
Multiply kernels on one system.
reddit.comยท5hยท
Discuss: r/linux
๐Ÿ”eBPF
TypeNet Benchmark for development of authentication keystroke technologies
github.comยท19hยท
Discuss: Hacker News
๐Ÿ—œ๏ธLZSS Variants
GPT-5 Codex: How it solves for GPT-5's drawbacks
dev.toยท7hยท
Discuss: DEV
๐Ÿ“Code Metrics
90% of Claude Apps Leak Context. Here's How to Fix It Before It Costs You Thousands
dev.toยท3hยท
Discuss: DEV
๐ŸŒณIncremental Parsing
Explainable Fault Localization for Programming Assignments via LLM-Guided Annotation
arxiv.orgยท4d
๐Ÿ—๏ธCompiler Archaeology
Scaling Projects: How AI Transforms DevOps & Continuous Integration
dev.toยท19hยท
Discuss: DEV
๐Ÿ Homelab Orchestration
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.toยท9hยท
Discuss: DEV
โšกSMT Integration