Learn Commodore 64 Basic Programming – Type-In Text-Based Games
retrogamestart.com·18h·
Discuss: Hacker News
💾Retro Computing
Grok-4 Jailbreak with Echo Chamber and Crescendo
neuraltrust.ai·1d·
Discuss: Hacker News
🛡️seL4
LLM Failures
funcall.blogspot.com·6d·
Discuss: Hacker News
🔠Type-Level Programming
My Pi 4B homelab taught me more about infrastructure than any course ever did
dataengineeringtoolkit.substack.com·1d·
Discuss: r/homelab
🏠HomeLab
The Siren Song of LLMs
anukrit.de·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Automatic library.
reddit.com·1d·
Discuss: r/homelab
🐫Embedded OCaml
Postman to Bruno: Weekend migration + AI workflow for automated API documentation
ashwch.com·1d·
Discuss: Hacker News, r/programming
🌐NetworkProtocols
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·5d·
Discuss: Hacker News
🤖Program Synthesis
How Not to Think About Cells
subanima.org·18h·
Discuss: Hacker News
➡️Category Theory
Mailstation Development
fybertech.net·15h·
Discuss: Hacker News
🔬Unikernels
Recursive Reward Aggregation
arxiv.org·1d
🔠Type-Level Programming
Understanding the Factory Method Pattern in Go: A Practical Guide
reddit.com·1d·
Discuss: r/programming
🧱Immutable Infrastructure
Interpretable Artificial Intelligence for Detecting Acute Heart Failure on Acute Chest CT Scans
arxiv.org·12h
✓Automated Theorem Proving
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·5d·
Discuss: Hacker News
❄️Nix
Show HN: Portia – A stateful Crew AI alternative, with auth and 1000 tools
github.com·23h·
Discuss: Hacker News
✓Automated Theorem Proving
An Empirical Evaluation of AI-Powered Non-Player Characters' Perceived Realism and Performance in Virtual Reality Environments
arxiv.org·12h
🎮Verification Games
Counterfactual Visual Explanation via Causally-Guided Adversarial Steering
arxiv.org·12h
🏹Effect Systems
I built a vector-value database in pure C: libvictor + victordb (daemon) — AMA / Feedback welcome
github.com·4d·
Discuss: r/programming
❄️Nixified Development
Minimum-Peak-Cost Flows Over Time
arxiv.org·12h
📡Network Protocol Design
Could you be wrong: Debiasing LLMs using a metacognitive prompt for improving human decision making
arxiv.org·12h
✓Automated Theorem Proving