Show HN: The only privacy focused digital business card platform
getcardova.com·18h·
Discuss: Hacker News
🍎Apple
The current technology is not ready for proper blending
blog.pkh.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔬Unikernels
Reversing a Fingerprint Reader Protocol (2021)
blog.th0m.as·22h·
Discuss: Hacker News
📦Unikernel Systems
Show HN: Flowchart AI – Write English, get a flowchart
flowchartai.org·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Development Interview with Randal Linden and John Linneman
limitedrungames.com·2d·
Discuss: Hacker News
💾Retro Computing
Lessons from scaling PostgreSQL queues to 100k events per second
rudderstack.com·3d·
Discuss: Hacker News
👁️System Observability
What Would a Real Friendship With A.I. Look Like? Maybe Like Hers.
nytimes.com·12h·
Discuss: Hacker News
💾Retro Computing
AI That Thinks Offline, Skia Animations, and a Glimpse of the Future
thereactnativerewind.com·4d·
Discuss: Hacker News
🔬Unikernels
Building Robust Filesystem Interactions in Rust
tangramvision.com·5d·
Discuss: Hacker News
❄️Nixified Development
It Would Be Good if the AI Bubble Burst
stephendiehl.com·2d·
Discuss: Hacker News
💾Retro Computing
LLM-Augmented Symptom Analysis for Cardiovascular Disease Risk Prediction: A Clinical NLP
arxiv.org·4d
✓Automated Theorem Proving
Sparse Autoencoders Can Capture Language-Specific Concepts Across Diverse Languages
arxiv.org·4d
🐫OCaml
CytoSAE: Interpretable Cell Embeddings for Hematology
arxiv.org·3d
➡️Category Theory
CoCre-Sam (Kokkuri-san): Modeling Ouija Board as Collective Langevin Dynamics Sampling from Fused Language Models
arxiv.org·3d
🎮Verification Games
Janet Feature Demos
github.com·4d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Distributionally Robust Optimization is a Multi-Objective Problem
arxiv.org·4d
🔄Reproducible Builds
Enhancing Chain-of-Thought Reasoning with Critical Representation Fine-tuning
arxiv.org·5d
✓Automated Theorem Proving
On METR's AI Coding RCT
thezvi.substack.com·2d·
Discuss: Substack
👁️System Observability
Evaluating Reinforcement Learning Algorithms for Navigation in Simulated Robotic Quadrupeds: A Comparative Study Inspired by Guide Dog Behaviour
arxiv.org·2d
🐫OCaml
The State of Post-Quantum Cryptography in Kubernetes
kubernetes.dev·2d·
Discuss: Hacker News
🌐NetworkProtocols