Peter Thiel and the Antichrist: Silicon Valley Apocalypse Hype
thenerdreich.com·1h·
Discuss: Hacker News
🍎Apple
Voice Sims: test agents in real world conditions before they talk to your custom
sierra.ai·1d·
Discuss: Hacker News
🍎Apple
Prototype Pollution in Python (2023)
blog.abdulrah33m.com·2d·
Discuss: Hacker News
➡️Category Theory
Fixing my gripes with GitHub using Gleam and a Raspberry Pi
giacomocavalieri.me·5d·
Discuss: Lobsters, Hacker News
💎Refinement Types
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.com·3d·
Discuss: Hacker News
💾Retro Computing
Supply chains and watering holes
cryptography.dog·4d·
Discuss: Lobsters
💎Refinement Types
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·4d·
Discuss: Hacker News
📊Runtime Verification
NIST Revises Security & Privacy Control Catalog for Software Updates & Patches
nist.gov·3d·
Discuss: Hacker News
🔤DSLs
An ER Trip in Ireland Taught Me Why Convex Is Saving Startups from Themselves
hackerpug.ghost.io·2d·
Discuss: Hacker News
📊Runtime Verification
Intel’s E2200 “Mount Morgan” IPU at Hot Chips 2025
chipsandcheese.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Show HN: CarbonCodeX – AI Coding Assistant Built for Web Developers
carboncodex.app·12h·
Discuss: Hacker News
🔄Reproducible Builds
DeepCodeBench: Real-World Codebase Understanding by Q&A Benchmarking
qodo.ai·2d·
Discuss: Hacker News
🧩Parser Combinators
ESP32-based boundary wire signal generator for Robomow RX/RT mowers
github.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
A Breadboard Computer in Three Chips
hackaday.com·23h
💾Retro Computing
Lessons from Studying Two-Hop Latent Reasoning
lesswrong.com·2d
📚Automata Learning
Fork that: Three alternative kernels show devs don't need Linux
theregister.com·1d·
Discuss: Hacker News
🔧Unikernel Development
A Masked Representation Learning to Model Cardiac Functions Using Multiple Physiological Signals
arxiv.org·1d
📚Automata Learning
Why scaling is profitable, and fast takeoffs will look slow on AI benchmarks
lesswrong.com·4h
🐫OCaml
Live(r) Die: Predicting Survival in Colorectal Liver Metastasis
arxiv.org·1d
🐫OCaml