Whole World Holonomy
galileo-unbound.blog·14h·
Discuss: Hacker News
🎨Rendering
Flag this post
Harness the Power of Atlas Search and Vector Search with $RankFusion
mongodb.com·20h·
Discuss: Hacker News
✅Formal Methods
Flag this post
An open-source conflict has emerged between Google and FFmpeg regarding AI-identified software vulnerabilities
piunikaweb.com·1d·
Discuss: Hacker News, r/opensource
🐛Vulnerability Research
Flag this post
EvolutionaryScale Acquired by CZI
biohub.org·16h·
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·17h·
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
Composing and Decomposing AI Functions (Tutorial with Python Examples)
lightcapai.medium.com·1d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Show HN: KnexBridge – Generate TypeScript and Zod Types from Knex DB
github.com·1d·
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
Ray Security – Predictive Data Security Platform
raysecurity.io·20h·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Beyond the Medallion: Rethinking Data Architecture
blog.matterbeam.com·16h·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
How a Nix flake made our polyglot stack (and new dev onboarding) fast and sane
fiveonefour.com·1d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
How devtools map minified JS code back to your TypeScript source code
polarsignals.com·2d·
Discuss: Hacker News, r/javascript, r/node, r/reactjs
🐛Vulnerability Research
Flag this post
DevTrends MCP – Real-Time Developer Intelligence for AI Coding Assistants
apify.com·2d·
Discuss: DEV, Hacker News
🐛Vulnerability Research
Flag this post
Patching 68K Software – SimpleText
tinkerdifferent.com·2d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
gilesthomas.com·3d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Decreasing code editing failures by 38% with output normalization
blog.sweep.dev·2d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Show HN: AI Coding Agents: Intent-Driven Development Guidelines
github.com·23h·
Discuss: Hacker News
✅Formal Methods
Flag this post