[$] Next steps for BPF support in the GNU toolchain
lwn.net·15h
🔗Language Toolchains
Axum Backend Series: Implementing Password Reset | 0xshadow's Blog
blog.0xshadow.dev·2d·
Discuss: r/rust
🔀SSA Form
The Art of Abstraction — Polymorphic Memory Allocator
unboxthecat.medium.com·4h·
Discuss: r/cpp
🏗️Custom Allocators
original ↗
lmika.org·3d
🔬programming language theory
This Month in Redox - September 2025
reddit.com·16h·
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·21h·
Discuss: Hacker News
🧮Theorem Provers
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·1d·
Discuss: r/programming
🧠Memory Models
Title: Unleashing the Power of Functools: Static Decorators in Action
dev.to·5d·
Discuss: DEV
🔍Comby
Python + EVM without the paper cuts: a senior playbook for fast, correct, and scalable reads
dev.to·11h·
Discuss: DEV
🌐Network Protocols
Efficient structure-preserving scheme for chemotaxis PDEs with singular sensitivity in crime and epidemic modeling
arxiv.org·3h
🎭Racket Modules
POEM: Explore Unexplored Reliable Samples to Enhance Test-Time Adaptation
arxiv.org·3h
✨Effect Inference
COSMIR: Chain Orchestrated Structured Memory for Iterative Reasoning over Long Context
arxiv.org·3h
🔄Subinterpreters
Excerpts from my neuroscience to-do list
lesswrong.com·10h
✨Effect Inference
SAFA-SNN: Sparsity-Aware On-Device Few-Shot Class-Incremental Learning with Fast-Adaptive Structure of Spiking Neural Network
arxiv.org·3h
🗺️Region Inference
Know Thyself? On the Incapability and Implications of AI Self-Recognition
arxiv.org·3h
🌱Minimal ML
Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.org·1d
📋Souffle Datalog
SurveyBench: How Well Can LLM(-Agents) Write Academic Surveys?
arxiv.org·1d
🎮Language Ergonomics
Mind Your Tone: Investigating How Prompt Politeness Affects LLM Accuracy (short paper)
arxiv.org·3h
🎲Parser Fuzzing