Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·2d·
Discuss: Hacker News
🔪Program Slicing
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·2d·
Discuss: Hacker News
🧪Compiler Testing
Flag this post
The extra time is worth it: Use Claude (or other AI or a mix of both) to create a comprehensive instruction set for what you are trying to accomplish instead of...
reddit.com·14h·
Discuss: r/ClaudeAI
💬Interactive REPLs
Flag this post
The top 4 JVM languages and why developers love them
infoworld.com·2d
🔮Clojure
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·8h
⚖️Inference Rules
Flag this post
Before You Learn Closures, Understand Context
tc39.es·3d·
Discuss: DEV
📝Rope Editors
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·1d
🛡️Error Handling
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·1d·
Discuss: Lobsters, Hacker News
🌐WASM Runtimes
Flag this post
Q&A #80 (2025-10-31)
computerenhance.com·3h
📚Stack Allocation
Flag this post
What are you doing this weekend?
lobste.rs·12h·
Discuss: Lobsters
💬Interactive REPLs
Flag this post
7 AI Study Workflows Developers Use to Learn Faster (Prompt Recipes Included)
coursiv.io·19h·
Discuss: DEV
💬Interactive REPLs
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·1d
📚Stack Allocation
Flag this post
Linkage
11011110.github.io·7h
🪢Rope Data Structures
Flag this post
Let's rename the app to Boris - Gigi
dergigi.com·3h
💬Interactive REPLs
Flag this post
JSON push parser
github.com·2d·
Discuss: r/C_Programming
📋JSON Parsers
Flag this post
Notes by djb on using Fil-C with Debian multiarch
cr.yp.to·1d·
Discuss: Hacker News
🌱Forth Kernels
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·2d·
Discuss: Substack
🌈Gradual Languages
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
⚖️Inference Rules
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·5h·
Discuss: Hacker News
🪆Embedded DSLs
Flag this post
Beyond the Black Box: Making LLM Decoding Truly End-to-End
dev.to·13h·
Discuss: DEV
🪜Recursive Descent
Flag this post