Building Skygraph: A Google Flights-Like App with Memgraph and Cypher
memgraph.com·9h·
Discuss: Hacker News
🔄Finite State Machines
A geography game that never happened – every photo is AI, every memory is yours
timeguessr.online·1d·
Discuss: Hacker News
📡Network Protocol Design
Sharp X68000 – The Japanese Amiga Alternative
everythingamiga.com·3h·
Discuss: Hacker News
💾Retro Computing
SILENOS Versión 1.1.13
silenos.es·13h·
Discuss: r/programming
🔬Unikernels
Show HN: Testronaut – AI-powered mission-based browser testing
testronaut.app·23h·
Discuss: Hacker News
🧪Property-Based Testing
Introduction to Artificial Neural Networks – Part 1 (2013)
theprojectspot.com·1d·
Discuss: Hacker News
🏹Effect Systems
Disposable vs. Durable Code: You Can’t Build Rome with Sticky Notes
spin.atomicobject.com·6h·
Discuss: Hacker News
🧱Immutable Infrastructure
Llamora is an experimental, local-first diary companion
github.com·8h·
Discuss: Hacker News
🐫OCaml
GPT-5 Is a Terrible Storyteller – and That's an AI Safety Problem
christoph-heilig.de·22h·
Discuss: Hacker News, r/ChatGPT
🛡️seL4
Sound and Solution-Complete CCBS
arxiv.org·3d
✓Automated Theorem Proving
What scaling does and doesn’t buy you: peeling back the hype surrounding Google‘s trendy Nano Banana
garymarcus.substack.com·23h·
Discuss: Substack
🔬Unikernels
FLAegis: A Two-Layer Defense Framework for Federated Learning Against Poisoning Attacks
arxiv.org·1d
✓Automated Theorem Proving
Vibing options for whoever you are
seroter.com·49m·
Discuss: Hacker News
🧱Immutable Infrastructure
Show HN: An AI "senior engineer" that crafts specs before vibe coding
github.com·2d·
Discuss: Hacker News
👁️System Observability
On systematic construction of correct logic programs
arxiv.org·2d
✓Automated Theorem Proving
WeakC4, or Distilling an Emergent Object
2swap.github.io·5d·
Discuss: Hacker News
🔄Finite State Machines
The Great Game: Game Theory for Collective Intelligence
foundation.symbiquity.ai·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Will There Ever Be a 10x Prompt Engineer?
embedworkflow.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Popular nx packages compromised on NPM
aikido.dev·1d·
Discuss: Hacker News
❄️Nixified Development
CLARIFY: A Specialist-Generalist Framework for Accurate and Lightweight Dermatological Visual Question Answering
arxiv.org·1d
🛡️seL4