The current technology is not ready for proper blending
blog.pkh.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔬Unikernels
Reversing a Fingerprint Reader Protocol (2021)
blog.th0m.as·3h·
Discuss: Hacker News
📦Unikernel Systems
Show HN: Flowchart AI – Write English, get a flowchart
flowchartai.org·12h·
Discuss: Hacker News
✓Automated Theorem Proving
TypeScript vs JavaScript Explained with Real-Life Examples
codewithvinod.com·4d·
Discuss: r/programming
🔬Static Analysis
Scraping and vibe coding a schedule app for Open Sauce 2025 entirely on my phone
simonwillison.net·2d·
Discuss: Lobsters, Hacker News
⚙️PL Implementation
Crawling a billion web pages in just over 24 hours, in 2025
andrewkchan.dev·3d·
Discuss: Hacker News, r/programming
🖥️Self-hosted Infrastructure
Lessons from scaling PostgreSQL queues to 100k events per second
rudderstack.com·2d·
Discuss: Hacker News
👁️System Observability
AI That Thinks Offline, Skia Animations, and a Glimpse of the Future
thereactnativerewind.com·3d·
Discuss: Hacker News
🔬Unikernels
Make Your AI SaaS in a Weekend with ShipThing Boilerplate
shipthing.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Building Robust Filesystem Interactions in Rust
tangramvision.com·4d·
Discuss: Hacker News
❄️Nixified Development
Kubernetes Observability with OpenTelemetry Helm Charts | A Complete Setup Guide
signoz.io·1d·
Discuss: Hacker News, r/programming
⎈Kubernetes
CytoSAE: Interpretable Cell Embeddings for Hematology
arxiv.org·2d
➡️Category Theory
CoCre-Sam (Kokkuri-san): Modeling Ouija Board as Collective Langevin Dynamics Sampling from Fused Language Models
arxiv.org·2d
🎮Verification Games
ChatGPT agent might be a big deal
augmentedswe.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Distributionally Robust Optimization is a Multi-Objective Problem
arxiv.org·3d
🔄Reproducible Builds
Janet Feature Demos
github.com·3d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Enhancing Chain-of-Thought Reasoning with Critical Representation Fine-tuning
arxiv.org·4d
✓Automated Theorem Proving
Evaluating Reinforcement Learning Algorithms for Navigation in Simulated Robotic Quadrupeds: A Comparative Study Inspired by Guide Dog Behaviour
arxiv.org·1d
🐫OCaml
Replay institutional trades for debugging and testing (QuantReplay, open-source)
github.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
The State of Post-Quantum Cryptography in Kubernetes
kubernetes.dev·1d·
Discuss: Hacker News
🌐NetworkProtocols