Tweag I/O: Continuous Performance Testing: staying fast
tweag.io·2d
🛡️Error Ergonomics
Flag this post
Advances In Formal Verification Technology
semiengineering.com·1d
🧩SAT Solvers
Flag this post
Exploring PKM concepts
nhlism.bearblog.dev·5h
🌙Lua
Flag this post
How to Remove Pollution From Go Tests
jarosz.dev·1d
🧪Compiler Testing
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·8h·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
Rouille – Rust Programming, in French
dev.to·12h·
Discuss: DEV
⚙️TOML Parsers
Flag this post
Nim 2.2.6
nim-lang.org·12h·
Discuss: Hacker News
💬Error Messages
Flag this post
exploits.club Weekly Newsletter 91 - Patch-gapping Browsers, Ubuntu LPEs, Bluetooth Int Underflows, And More
blog.exploits.club·9h
📦Allocation Elision
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·12h·
Discuss: Lobsters, Hacker News
🗂️Type Indexing
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·18h·
Discuss: Lobsters, Hacker News
📏Linear Haskell
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·2d·
Discuss: Hacker News
🔪Program Slicing
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
Discuss: Hacker News, r/programming
🔗Weak References
Flag this post
ReLook: Vision-Grounded RL with a Multimodal LLM Critic for Agentic Web Coding
paperium.net·1h·
Discuss: DEV
💬Interactive REPLs
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·18h·
Discuss: Lobsters, Hacker News
📡Erlang BEAM
Flag this post
Take-Home Exercises
justoffbyone.com·6h·
Discuss: Hacker News, r/programming
🎮Language Ergonomics
Flag this post
I Will Not Be Enabling Full Null Support In Adobe ColdFusion 2025
bennadel.com·11h
🌉Language Bindings
Flag this post
Vibe coding needs a spec, too
stackoverflow.blog·19h
🎭Program Synthesis
Flag this post
I faced inconsistent code style while using AI coding assistant
reddit.com·9h·
Discuss: r/LLM
🎭Program Synthesis
Flag this post
The Cost of Certainty: Shot Budgets in Quantum Program Testing
arxiv.org·3d
🧪Compiler Testing
Flag this post
This Week in Security: Vibecoding, Router Banning, and Remote Dynamic Dependencies
hackaday.com·6h
🛡️Parser Security
Flag this post