A PhD in Snapshots
rbharath.github.io·1d·
Discuss: Hacker News
🎯Finite Automata
The Inverse Matrix problem
talesfrom.dev·1d
🚂Error Propagation
Myth Busters: Is Rust a Slam Dunk?
infoq.com·2d·
Discuss: Hacker News
🚂Cranelift IR
The Next Computing Revolution: Bringing Processing Inside Memory
computer.org·9h·
Discuss: Hacker News
🧠Memory Models
Learning Go by Building a Local Chat App — Feedback Welcome
github.com·8h
🐹Go Runtime
NS-Pep: De novo Peptide Design with Non-Standard Amino Acids
arxiv.org·2h
🪄C Metaprogramming
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·2h
🔍ML Language
The foundation of "streams" in Node.js [NodeBook]
thenodebook.com·2d·
Discuss: r/node
⏱️Real-Time GC
LegalSim: Multi-Agent Simulation of Legal Systems for Discovering Procedural Exploits
arxiv.org·2h
🎭Racket Modules
Detecting Distillation Data from Reasoning Models
arxiv.org·2h
✅Type Checking
SoK: Kicking CAN Down the Road. Systematizing CAN Security Knowledge
arxiv.org·1d
🛡️Security Type Systems
Adventures on the AI Coding side of things
medium.com·22h·
Discuss: Hacker News
🎭Program Synthesis
What is Proxmox VE?
dev.to·1h·
Discuss: DEV
🛡️Capability VMs
Categorical Invariants of Learning Dynamics
arxiv.org·2h
🔗Category Theory
A Solution to the Paperclip Problem
link.springer.com·4h·
Discuss: Hacker News
💫Effect Systems
A Trustworthy Industrial Fault Diagnosis Architecture Integrating Probabilistic Models and Large Language Models
arxiv.org·2h
🚂Error Propagation
Batch Processing with Spring Batch and Multiple Data Sources
dev.to·1d·
Discuss: DEV
🔧Error Recovery
Working pipe operator today in pure JavaScript
github.com·2d·
Discuss: Hacker News
🌪️V8 Pipeline
Perfect AI Mimicry and the Epistemology of Consciousness: A Solipsistic Dilemma
arxiv.org·2h
🎭Program Synthesis
Small Language Models for Emergency Departments Decision Support: A Benchmark Study
arxiv.org·2h
🌱Minimal ML