A geography game that never happened – every photo is AI, every memory is yours
timeguessr.online·23h·
Discuss: Hacker News
📡Network Protocol Design
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·1d·
Discuss: Hacker News
🔬Static Analysis
Will There Ever Be a 10x Prompt Engineer?
embedworkflow.com·9h·
Discuss: Hacker News
🤖Program Synthesis
Reloading classes in python and shared borders
andrewpwheeler.com·1d·
Discuss: Hacker News
🔬Static Analysis
Vibe Coding from my Smartphone
marcolabarile.me·1d·
Discuss: Hacker News
🔄Reproducible Builds
Heartbreak as a Service?
syntheticauth.ai·6h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
What scaling does and doesn’t buy you: peeling back the hype surrounding Google‘s trendy Nano Banana
garymarcus.substack.com·6h·
Discuss: Substack
🔬Unikernels
MTalk-Bench: Evaluating Speech-to-Speech Models in Multi-Turn Dialogues via Arena-style and Rubrics Protocols
arxiv.org·1d
🐫OCaml
Sound and Solution-Complete CCBS
arxiv.org·2d
✓Automated Theorem Proving
FLAegis: A Two-Layer Defense Framework for Federated Learning Against Poisoning Attacks
arxiv.org·21h
✓Automated Theorem Proving
On systematic construction of correct logic programs
arxiv.org·1d
✓Automated Theorem Proving
The Great Game: Game Theory for Collective Intelligence
foundation.symbiquity.ai·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Popular nx packages compromised on NPM
aikido.dev·14h·
Discuss: Hacker News
❄️Nixified Development
CLARIFY: A Specialist-Generalist Framework for Accurate and Lightweight Dermatological Visual Question Answering
arxiv.org·21h
🛡️seL4
ReflectivePrompt: Reflective evolution in autoprompting algorithms
arxiv.org·21h
🔠Type-Level Programming
WOMAC: A Mechanism For Prediction Competitions
arxiv.org·1d
➡️Category Theory
Context Engineering ( RAG 2.0): The Next Chapter in GenAI
medium.com·16h·
Discuss: Hacker News
🏹Effect Systems
The Mind's Eye: A Multi-Faceted Reward Framework for Guiding Visual Metaphor Generation
arxiv.org·21h
🐫OCaml
Flatness-aware Curriculum Learning via Adversarial Difficulty
arxiv.org·21h
💻CS
After hours of iteration, I one-shotted a Web Search Agent
github.com·13h·
Discuss: Hacker News
🛡️seL4