The world has a running Rational R1000/400 computer again (2019)
datamuseum.dk·20h·
Discuss: Hacker News
🔧Unikernel Development
Door at Launch: Design Review of an LLM-Driven Story Game
ianbicking.org·4d·
Discuss: Hacker News
🎮Verification Games
C++26: erroneous behaviour
sandordargo.com·1d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🔬Static Analysis
Rules for Early Stage Startups with Hiten Shah (2024)
scotchisholm.com·12h·
Discuss: Hacker News
💎Refinement Types
Dream: Visual Decoding from Reversing Human Visual System
github.com·18h·
Discuss: Hacker News
📚Automata Learning
I made a transformer by hand (no training)
vgel.me·3d·
Discuss: Hacker News
📚Automata Learning
Transferable Belief Model on Quantum Circuits
arxiv.org·2d
🧠Automated Reasoning
We Hacked Burger King: How Auth Bypass Led to Drive-Thru Audio Surveillance
bobdahacker.com·1d·
Discuss: Hacker News
🍎Apple
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.org·3d
🧠Automated Reasoning
Measuring Bias or Measuring the Task: Understanding the Brittle Nature of LLM Gender Biases
arxiv.org·2d
🧩Parser Combinators
Just One More Prompt
commandpattern.org·2d·
Discuss: Hacker News
📚Automata Learning
Developing a Space Flight Simulator in Clojure
wedesoft.de·3d·
Discuss: Lobsters, Hacker News, r/programming
🐫OCaml
The Compensation Principle
news.ycombinator.com·6h·
Discuss: Hacker News
🩹Self-Healing Systems
LifeGPT: Generative pretrained transformer model for cellular automata
nature.com·1d·
Discuss: Hacker News
📚Automata Learning
Plugging away at the new server iteration
reddit.com·5h·
Discuss: r/homelab
🏠HomeLab
Measuring Scalar Constructs in Social Science with LLMs
arxiv.org·3d
🧩Parser Combinators
Ask HN: GAN'ing Coding GPTs
news.ycombinator.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Zero-Click Remote Code Execution: Exploiting MCP and Agentic IDEs
lakera.ai·1d·
Discuss: Hacker News
🛡️seL4
DNA methylation influences human centromere positioning and function
nature.com·1d·
Discuss: Hacker News
🧮Lambda Calculus
AI Agents Security: The on-behalf-of concept
ayende.com·1d·
Discuss: Hacker News
🛡️seL4