The non-problem of unsigned integers in Java
bitmath.blogspot.com·4h·
Discuss: Hacker News
📱Bytecode Design
Smart Specs: Automating Engineering Standards for Error-Free Design
vibe.forem.com·1d·
Discuss: DEV
Configuration Validation
Creating a CLI Tool with Node.js
npmjs.com·22h·
Discuss: DEV
Incremental Parsing
Issue 492
haskellweekly.news·4d·
Discuss: Hacker News
functional programming
Python Code Quality Tools Beyond Linting
dev.to·1d·
Discuss: DEV
📊Code Metrics
I built RAGSharp: a lightweight RAG library for .NET
dev.to·5h·
Discuss: DEV
💬Smalltalk VMs
Advanced Vulkan Rendering: Building a Modern Frame Graph and Memory Management System
dev.to·11h·
Discuss: DEV
🌊Dataflow Languages
ECS Implementation
reddit.com·1d·
Discuss: r/cpp
🤖Embedded Go
Toward a Holistic Evaluation of Robustness in CLIP Models
arxiv.org·19h
🚂Error Propagation
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.io·2d·
Discuss: Hacker News, r/LLM
🔍ML Language
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·19h
🎲Parser Fuzzing
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·19h
📱Bytecode Design
On The Fragility of Benchmark Contamination Detection in Reasoning Models
arxiv.org·19h
Type Checking
# Building Production-Ready LLM Applications: Introducing llama-app-generator
dev.to·5h·
Discuss: DEV
📋Tablegen
Compton: A Compositor for X11
github.com·7h·
Discuss: Hacker News
🎪Playground Compilation
Takeaways & Lessons from AI Engineer Paris 2025
alexspyropoulos.com·1d·
Discuss: Hacker News
🎭Program Synthesis
CWRU Free Food Finder
404wolf.com·22h
💬Interactive REPLs
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·2d·
Discuss: Hacker News
🔍ML Language
How I'm using coding agents in September, 2025
blog.fsck.com·1d·
Discuss: Hacker News
📚Self-Documenting Code
hybstr — A header only hybrid compile-time & runtime string library that is compatible with c++17
github.com·8h·
Discuss: r/cpp
🪆Embedded DSLs