2025 Board Nominations: Time to Vote
clojuriststogether.org·2d
🔮Clojure
Use JUnit Parameterized Tests to Force Test Coverage
spin.atomicobject.com·1d
🧪Compiler Testing
OO Design Principles: GRASP patterns
slott56.github.io·3d
🔀Control Structures
Claude Code uses WebFetch vs. WebSearch (observations, schemas, prompts)
mikhail.io·1d·
Discuss: Hacker News
💬Interactive REPLs
Timasomo 2025: Week 1 Updates
tildes.net·4h
🎯99-Line Tools
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·2d·
Discuss: r/programming
🧠Memory Models
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·3d·
Discuss: Hacker News
🔍ML Language
How I'm using coding agents in September, 2025
blog.fsck.com·3d·
Discuss: Hacker News
📚Self-Documenting Code
Fullstack Language Servers
404wolf.com·2d
📦Monorepos
A First Look at the Lifecycle of DL-Specific Self-Admitted Technical Debt
arxiv.org·23h
📊Code Metrics
A Solution to the Paperclip Problem
link.springer.com·1d·
Discuss: Hacker News
💫Effect Systems
[Tool] Ollama Bench - Parallel benchmark tool with real-time TUI, multi-model comparison, and comprehensive performance metrics
reddit.com·2d·
Discuss: r/LocalLLaMA
🏁Language Benchmarks
From Blockchain to AI: Applying Cryptographic Primitives to Secure Intelligent Systems. Ask Me Anything about SMPC, Key Management, and Code Audits for AI.
reddit.com·23h·
Discuss: r/rust
🛡️Security Type Systems
Introducing CodeMender: an AI agent for code security
deepmind.google·1d·
Discuss: Hacker News, Hacker News
🛡️Parser Security
DiffuSpec: Unlocking Diffusion Language Models for Speculative Decoding
arxiv.org·1d
🚀Tokenizer Performance
LLMs are badly misaligned
lesswrong.com·2d
✅Type Checking
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·1d
🧩Constraint Solvers
Automated Pattern & Style Replication in Simulated Warhol Screenprints via Adaptive Fractal Synthesis
dev.to·9h·
Discuss: DEV
🔍Lens Libraries
CoPA: Hierarchical Concept Prompting and Aggregating Network for Explainable Diagnosis
arxiv.org·23h
📈Earley Parsing
Self-Reflective Generation at Test Time
arxiv.org·1d
✨Gleam