Developing a Space Flight Simulator in Clojure
wedesoft.de·3d·
Discuss: Lobsters, Hacker News, r/programming
🐫OCaml
OntoMotoOS: An "Operating System" Between Delusion and Scholarship
medium.com·9h·
Discuss: Hacker News
🔬Unikernels
The Grounded Turing Test
whattotelltherobot.com·4d·
Discuss: Hacker News
📚Automata Learning
Show HN: Higher-order transform streams: 10x faster AI with recursive prompts
timetler.com·5d·
Discuss: Hacker News, r/javascript, r/programming
🧩Parser Combinators
LLMs Are Adaptive Data Organisms
worldgov.org·2d·
Discuss: Hacker News
📚Automata Learning
ChatGPT is NOT a LLM – GPT is
vincirufus.com·1d·
Discuss: Hacker News
📚Automata Learning
We Hacked Burger King: How Auth Bypass Led to Drive-Thru Audio Surveillance
bobdahacker.com·2d·
Discuss: Hacker News
🍎Apple
Learning to code from scratch with AI: what worked, what didn't
indiehackers.com·2d·
Discuss: Hacker News
📚Automata Learning
AI in Government
schneier.com·9h·
Discuss: Hacker News
🩹Self-Healing Systems
If I hear "design pattern" one more time, I'll go mad
purplesyringa.moe·4d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
SL-SLR: Self-Supervised Representation Learning for Sign Language Recognition
arxiv.org·16h
📚Automata Learning
Blue – ecosystem to scale KV store to an exabyte in the open source world
github.com·4d·
Discuss: Hacker News
🔬Unikernels
SEA: Supervised Embedding Alignment for Token-Level Visual-Textual Integration in MLLMs
arxiv.org·16h
🧩Parser Combinators
Prompt injection as a solution to make agents reliable
controlpla.in·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Topology-Aware Graph Reinforcement Learning for Dynamic Routing in Cloud Networks
arxiv.org·16h
📡Network Protocol Design
Show HN: Conformal – Type-safe FormData parsing and canonical submission flow
github.com·5h·
Discuss: Hacker News
🐫OCaml
Cut Costs, Not Accuracy: LLM-Powered Data Processing with Guarantees
arxiv.org·4d
📊Runtime Verification
Putting It All Together: A Concrete Guide to Navigating Disagreements, and Reconnecting With Reality
lesswrong.com·1h
🛡️seL4
Evaluating Multiple Instance Learning Strategies for Automated Sebocyte Droplet Counting
arxiv.org·16h
🧩Parser Combinators
VaccineRAG: Boosting Multimodal Large Language Models' Immunity to Harmful RAG Samples
arxiv.org·16h
🧩Parser Combinators