No traffic deaths in Helsinki for a year
helsinkitimes.fi·2d·
Discuss: Hacker News
🔐Swedish Cryptography
Superimposed codes, take three
blog.sesse.net·2d
🔢Bitwise Algorithms
Get Started with the Open Floor Protocol (OFP)
openfloor.dev·2d·
Discuss: Hacker News
🔌Interface Evolution
Endowments and Unintended Consequences
paulkedrosky.com·4h·
Discuss: Hacker News
✨Effect Handlers
The HTML Hobbyist
htmlhobbyist.com·2d·
Discuss: Hacker News
🏛Digital humanities
OpenAI is building Stargate Norway while its annual spending is expected to soar to $8 billion
the-decoder.com·1d
🇳🇴Norwegian Computing
Deep Agents
blog.langchain.com·26m·
Discuss: Hacker News
✨Algebraic Effects
Digital identity management system with blockchain:An implementation with Ethereum and Ganache
arxiv.org·2d
🔐PKI Archaeology
The Efficiency Trap
anthonybatt.com·1d·
Discuss: Hacker News
🚀Indie Hacking
Deep Think in the Gemini app
simonwillison.net·2h
🌀Brotli Internals
Legally Distinct Space Invaders Display WiFi Info
hackaday.com·1d
🖥️Modern Terminals
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
arxiv.org·2d
🧮Theorem Proving
Towards Safe and Comfortable Vehicle Control Transitions: A Systematic Review of Takeover Time, Time Budget, and Takeover Performance
arxiv.org·1d
✨Algebraic Effects
DevOps Meets Blazor in 2025: Streamlining .NET Web App Delivery for the Future
devops.com·1d
🧩WASM Components
MedicaAI: AI-Powered Smart Health Diagnosis & Automation.: Building with Bolt - WLH Challenge
dev.to·2h·
Discuss: DEV
⚡Proof Automation
VibeTDD Lessons After 3 Phases: What Actually Works with AI
dev.to·11h·
Discuss: DEV
🔍Concolic Testing
AI paradigm for solving differential equations: first-principles data generation and scale-dilation operator AI solver
arxiv.org·15h
🌀Differential Geometry
GAITEX: Human motion dataset from impaired gait and rehabilitation exercises of inertial and optical sensor data
arxiv.org·2d
🌀Differential Geometry
Creating with Bolt
dev.to·2d·
Discuss: DEV
📦Git LFS
Creating with Bolt
dev.to·2d·
Discuss: DEV
📦Git LFS