Using domain inspired ML for embedded DSP
buchanan.one·1d·
Discuss: Hacker News
📚Automata Learning
Reticular Thalamic Activity and Autism Spectrum Disorders
science.org·1h·
Discuss: Hacker News
➡️Category Theory
MileSan: Detecting μ-Architectural Leakage via Differential HW/SW Taint Tracking
comsec.ethz.ch·3d·
Discuss: Hacker News
⚙️Operating System Design
Go Is the Language of Vibe Coding
sinwoobang.notion.site·1d·
Discuss: Hacker News
💎Refinement Types
Microsoft's analog optical computer cracks 2 practical problems,shows AI promise
news.microsoft.com·3h·
Discuss: Hacker News
🐫Embedded OCaml
We built an Artificial Brain that sleeps, dreams, and forms memories
github.com·15h·
Discuss: Hacker News
🩹Self-Healing Systems
Just One More Prompt
commandpattern.org·3d·
Discuss: Hacker News
📚Automata Learning
C-to-N atom swap enables direct access to benzimidazoles from drug-like indoles
nature.com·2d·
Discuss: Hacker News
🐫OCaml
Scaling the system that powers over $700M ARR invoices
medium.com·5h·
Discuss: Hacker News
🔄Reproducible Builds
Being Handed Puzzles
lesswrong.com·23h
🎮Verification Games
Integrating upstream and downstream reciprocity stabilizes cooperator-defector coexistence in N-player giving games
arxiv.org·1d
🎮Verification Games
IdentityMesh: Exploiting Lateral Movement in Agentic Systems
lasso.security·3d·
Discuss: Hacker News
🛡️seL4
Logic Theorist
en.wikipedia.org·3d·
Discuss: Hacker News
🧠Automated Reasoning
Can AI code? Study maps the roadblocks to autonomous software engineering
csail.mit.edu·9h·
Discuss: Hacker News
🤖Program Synthesis
Vibe Coding Through the Berghain Challenge
nibzard.com·2d·
Discuss: Hacker News
🎮Verification Games
Funding, growth, and the next frontier of AI coding agents
cognition.ai·12h·
Discuss: Hacker News
🧠Automated Reasoning
Behavioral Fingerprinting of Large Language Models
arxiv.org·1d
📚Automata Learning
Rust for Big Data: How We Built a MPP Query Executor on S3 from Scratch
databend.com·3d·
Discuss: Hacker News
💎Refinement Types
I used an AI triage bot to close 85 GitHub issues in a weekend
bagerbach.com·3d·
Discuss: Hacker News
🔬Static Analysis
Covariant spatio-temporal receptive fields for spiking neural networks
nature.com·2d·
Discuss: Hacker News
🧮Lambda Calculus