The Art of Abstraction — Polymorphic Memory Allocator
unboxthecat.medium.com·2h·
Discuss: r/cpp
🏗️Custom Allocators
The Inverse Matrix problem
talesfrom.dev·1d
🚂Error Propagation
original ↗
lmika.org·3d
🔬programming language theory
This Month in Redox - September 2025
reddit.com·14h·
Discuss: r/rust
⚡Incremental Parsing
Luke Plant: Breaking “provably correct” Leftpad
lukeplant.me.uk·5d·
Discuss: Lobsters, Hacker News, r/programming
🎲Parser Fuzzing
valuetier.org (and some thoughts on LLMs)
ericphanson.com·1d·
Discuss: Lobsters, Hacker News
📚Self-Documenting Code
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·19h·
Discuss: Hacker News
🧮Theorem Provers
Compton: A Compositor for X11
github.com·13h·
Discuss: Hacker News
🎪Playground Compilation
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·1d·
Discuss: r/programming
🧠Memory Models
Prefrontal cortical NR2B-containing NMDA receptors are essential for spatial working memory performance
nature.com·1d
🗺️Region Polymorphism
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·1d
📱Bytecode Design
Fine-Tuning Large Language Models with QLoRA for Offensive Language Detection in Roman Urdu-English Code-Mixed Text
arxiv.org·1h
🔤Language Tokenizers
Assessment Twins: A Protocol for AI-Vulnerable Summative Assessment
arxiv.org·1d
💬Interactive REPLs
Keep It on a Leash: Controllable Pseudo-label Generation Towards Realistic Long-Tailed Semi-Supervised Learning
arxiv.org·1h
🔍ML Language
Multimodal Function Vectors for Spatial Relations
arxiv.org·1d
🧩Persistent Vectors
On Using Large Language Models to Enhance Clinically-Driven Missing Data Recovery Algorithms in Electronic Health Records
arxiv.org·1h
⚖️Weighted Automata
Neon: Negative Extrapolation From Self-Training Improves Image Generation
arxiv.org·1h
✨Effect Inference
Python + EVM without the paper cuts: a senior playbook for fast, correct, and scalable reads
dev.to·8h·
Discuss: DEV
🌐Network Protocols
Training Dynamics of Parametric and In-Context Knowledge Utilization in Language Models
arxiv.org·1d
🪜Recursive Descent
DanielSant0s/AthenaEnv
github.com·2d
📝Rope Editors