I analyzed the lineups at the most popular nightclubs
dev.karltryggvason.com·18h·
Discuss: Hacker News
🎨Rendering
Flag this post
Why We Migrated from Python to Node.js
blog.yakkomajuri.com·3d·
Discuss: Hacker News, r/node
📡Side-Channel Attacks
Flag this post
The Paranoid Guide to Running Copilot CLI in a Secure Docker Sandbox
gordonbeeming.com·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Flag this post
Error Codes for Control Flow
matklad.github.io·1d·
Discuss: Hacker News
✅Formal Methods
Flag this post
How I am deeply integrating Emacs
joshblais.com·1d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
phoebe.work·3d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Building an Accessible Before/After Slider in React
jsdev.space·3h·
Discuss: Hacker News
🎨Rendering
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
comparia.beta.gouv.fr·2d·
Discuss: Hacker News, Hacker News
📡Side-Channel Attacks
Flag this post
Screeps: MMO RTS sandbox game for programmers
github.com·19h·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Shiroa: MdBook for Typst
github.com·1d·
Discuss: Hacker News
✅Formal Methods
Flag this post
LLKV: Rust, SQL, Apache Arrow, and zero-copy KV Storage
github.com·1d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
EvolutionaryScale Acquired by CZI
biohub.org·13h·
Discuss: Hacker News
🔒Cryptography
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
repoprompt.com·2d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Async QUIC and HTTP/3 made easy: Tokio-quiche is now open-source
blog.cloudflare.com·14h·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
The Write Last, Read First Rule
tigerbeetle.com·1d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Deterministic Mesh Gradient Avatars in Rails
avohq.io·3d·
Discuss: Hacker News
🎨Rendering
Flag this post
Show HN: KnexBridge – Generate TypeScript and Zod Types from Knex DB
github.com·21h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Flag this post
BoxLambda OS Software Architecture, First Draft
epsilon537.github.io·2d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Nimony v0.2 – early preview of Nim 3.0's compiler
nim-lang.github.io·3d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Beyond the Medallion: Rethinking Data Architecture
blog.matterbeam.com·13h·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post