Bazel and glibc versions
blogsystem5.substack.com·1h·
Discuss: Substack
💾Caching Compilers
General Component Controls
nasa.gov·22h
🧱WASM Components
Unusual Memory Bit Patterns | Software Verify
softwareverify.com·1d
🔗Weak References
Prompts should live outside.
dev.to·2d·
Discuss: DEV
📝Rope Editors
How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·1d·
Discuss: DEV
🌊Gradual Typing
Rapid Prototyping of Chatbots with Streamlit and Chainlit
towardsdatascience.com·1d
💬Interactive REPLs
Built a tiny c++ text chunker for python
github.com·20h·
Discuss: r/opensource
📚Factor
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·2d
📜Proof Languages
CTRL-Z DLL Hooking, (Wed, Sep 17th)
isc.sans.edu·2d
🪤Trap Handlers
I Know What You Shipped Last Summer - RCE, SQLi and More in Logistics Software e-TMS
cyber.wtf·4h·
Discuss: Hacker News
🛡️Parser Security
CTD after switching Vortex profiles
pastebin.com·2d·
Discuss: r/skyrimmods
🔐Ownership Types
Towards Robust Agentic CUDA Kernel Benchmarking, Verification, and Optimization
arxiv.org·12h
📡Erlang BEAM
Chaining vim.diagnostic.open_float(...)
reddit.com·6m·
Discuss: r/neovim
💻Terminal Control
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·4d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🧩Constraint Solvers
Combating headcrabs in the Source SDK codebase
pvs-studio.com·2d·
Discuss: r/cpp
🌊Gradual Effects
Lambda Explained: A Visual Journey from Init to Invoke
dev.to·2d·
Discuss: DEV
📦Closure Conversion
Engineering "The" Loop
dev.to·2d·
Discuss: DEV
🔀Control Structures
What I learned building a programming language with LLM agents
eddmann.com·23h·
Discuss: Hacker News
🔮Metacircular Evaluators
The Smarter Way to Code: Stop Copy-Pasting and Start Reusing
dev.to·21h·
Discuss: DEV
📚Self-Documenting Code
Safe Chain: Stopping Malicious NPM Packages Before They Wreck Your Project
aikido.dev·2d·
Discuss: Hacker News
🚂Cranelift Backend