Modern C, C23 edition, now in print
gustedt.wordpress.com·4d
✅Format Verification
The Scientific Virtues (2022)
slimemoldtimemold.com·1h·
Discuss: Hacker News
🧲Magnetic Philosophy
Master Foo and LLM Mountain
tusshah.github.io·16h·
Discuss: Hacker News
🏗️Compiler Archaeology
IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing
usenix.org·4d·
Discuss: Hacker News, r/programming
🏗️Compiler Archaeology
Show HN: Reverse vs. Vectorized Forward Ad: A Performance Exploration in C
raph5.github.io·3d·
Discuss: Hacker News
⚡SIMD Vectorization
A quarter century of chasing simplicity
loopwerk.io·13h·
Discuss: Hacker News
🔄Language Evolution
ActivityPub message rewrite facility (MRF) based on WASM
aumetra.xyz·4d·
Discuss: Hacker News
🔒WASM Capabilities
[P] Knowledge Distillation for Text-to-SQL — Training GPT-2 with Qwen2-7B as Teacher
reddit.com·3d·
Discuss: r/MachineLearning
🧮Datalog
Group Effect Enhanced Generative Adversarial Imitation Learning for Individual Travel Behavior Modeling under Incentives
arxiv.org·13h
🔲Cellular Automata
What would you learn to become a "full stack web developer"?
news.ycombinator.com·1d·
Discuss: Hacker News
🦀Rust Macros
AI Agents and Their Life Cycle: What You Should Know
thenewstack.io·2h
🤖AI Curation
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.org·5d
⏰Temporal Logic
Research on Multi-hop Inference Optimization of LLM Based on MQUAKE Framework
arxiv.org·1d
💻Local LLMs
Perforce Adds Small Language Model to Create Synthetic Data for App Testing
devops.com·5h
⚡Proof Automation
From Joy to Fear: A Benchmark of Emotion Estimation in Pop Song Lyrics
arxiv.org·13h
🎧Learned Audio
Bi-Level Game-Theoretic Planning of Cyber Deception for Cognitive Arbitrage
arxiv.org·13h
🕵️Vector Smuggling
GPT-5 Thinking in ChatGPT (a.k.a. Research Goblin) is good at search
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Best AI job search agents in 2025
dev.to·1d·
Discuss: DEV
📡RSS Automation
Announcing slimcontext: A Lightweight, Model-Agnostic Chat History Compression Utility 🚀
dev.to·1d·
Discuss: DEV
🎙️Whisper
NeuroBOLT: Resting-state EEG-to-fMRI Synthesis with Multi-dimensional Feature Mapping
arxiv.org·13h
🧠Neural Codecs