2025 Board Nominations: Time to Vote
clojuriststogether.org·1d
🔮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
Timasomo 2025: Week 1 Updates
tildes.net·1h
🎯99-Line Tools
A Solution to the Paperclip Problem
link.springer.com·22h·
Discuss: Hacker News
💫Effect Systems
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·1d
📦Monorepos
Vector Trifference
arxiv.org·20h
🎯Bit Vectors
[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·20h·
Discuss: r/rust
🛡️Security Type Systems
Introducing CodeMender: an AI agent for code security
deepmind.google·1d·
Discuss: Hacker News, Hacker News
🛡️Parser Security
Counterfactual Credit Guided Bayesian Optimization
arxiv.org·20h
✨Effect Inference
Building Modern Data Systems: Event-Driven Architecture, Messaging Queues, Batch Processing, ETL & ELT
dev.to·8h·
Discuss: DEV
📮Message Queues
Java Backend Coding Technology: Writing Code in the Era of AI
central.sonatype.com·4d·
Discuss: DEV
🎮Language Ergonomics
A Comparative Study of Vision Transformers and CNNs for Few-Shot Rigid Transformation and Fundamental Matrix Estimation
arxiv.org·20h
🗺️Region Polymorphism
Python + EVM without the paper cuts: a senior playbook for fast, correct, and scalable reads
dev.to·1d·
Discuss: DEV
🌐Network Protocols
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