Dot Battle - a Javascript Physics Toy
sheep.horseยท8h
๐Ÿ“Ÿ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ยท2d
๐Ÿ HomeLab
MoonScript, a language that compiles to Lua
moonscript.orgยท3d
๐Ÿ”—Concatenative Programming
The Making of Digital Identity โ€“ The Birth of Digital Authentication
syntheticauth.aiยท9hยท
Discuss: Hacker News
๐Ÿ”PKI Archaeology
Lazy text capitalization with low latency large language models
blog.florianschulz.infoยท1dยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
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
Luke Plant: Breaking โ€œprovably correctโ€ Leftpad
lukeplant.me.ukยท4dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Encodings
"The G in GPU is for Graphics damnit "
ut21.github.ioยท3dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Multiply kernels on one system.
reddit.comยท8hยท
Discuss: r/linux
๐Ÿ”eBPF
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.toยท12hยท
Discuss: DEV
โšกSMT Integration
TriAlignXA: An Explainable Trilemma Alignment Framework for Trustworthy Agri-product Grading
arxiv.orgยท2d
๐ŸŒ€Differential Geometry
CodeRabbit CLI - Free AI code reviews in your CLI
dev.toยท10hยท
Discuss: DEV
๐ŸชŸAwesome windows command-line
Hiding in Plain Sight: Steganography, C2, and SVG Files
infosecwriteups.comยท18h
๐Ÿ•ต๏ธSteganographic Compression
The State of Programming and Innovation
dev.toยท7hยท
Discuss: DEV
๐Ÿ”ฉSystems Programming
ESLint plugin for React Compiler users to flag manual memoization
github.comยท4hยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
90% of Claude Apps Leak Context. Here's How to Fix It Before It Costs You Thousands
dev.toยท6hยท
Discuss: DEV
๐ŸŒณIncremental Parsing
Prompting Techniques for Specialised LLMs
gg.forem.comยท8hยท
Discuss: DEV
โš–๏ธConstraint Logic
TAG-EQA: Text-And-Graph for Event Question Answering via Structured Prompting Strategies
arxiv.orgยท2d
๐ŸŒณContext free grammars