BindWeave: Subject-Consistent Video Generation Platform
bindweave.video·23h·
Discuss: Hacker News
🎨Rendering
Flag this post
Deterministic Mesh Gradient Avatars in Rails
avohq.io·5d·
Discuss: Hacker News
🎨Rendering
Flag this post
The Weekly Edge: New Gremlin Contributor, 2 Graph Releases, Ontologies in Aura
gdotv.com·13h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Flag this post
Nimony v0.2 – early preview of Nim 3.0's compiler
nim-lang.github.io·4d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Composing and Decomposing AI Functions (Tutorial with Python Examples)
lightcapai.medium.com·2d·
Discuss: Hacker News
✅Formal Methods
Flag this post
DevTrends MCP – Real-Time Developer Intelligence for AI Coding Assistants
apify.com·3d·
Discuss: DEV, Hacker News
🐛Vulnerability Research
Flag this post
Patching 68K Software – SimpleText
tinkerdifferent.com·3d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
I analyzed the lineups at the most popular nightclubs
dev.karltryggvason.com·1d·
Discuss: Hacker News
🎨Rendering
Flag this post
Error Codes for Control Flow
matklad.github.io·2d·
Discuss: Lobsters, Hacker News
✅Formal Methods
Flag this post
Workload Identity in a Multi System Environment (Wimse) Architecture
datatracker.ietf.org·1d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
How devtools map minified JS code back to your TypeScript source code
polarsignals.com·3d·
Discuss: Hacker News, r/javascript, r/node, r/reactjs
🐛Vulnerability Research
Flag this post
Decreasing code editing failures by 38% with output normalization
blog.sweep.dev·3d·
Discuss: Hacker News
✅Formal Methods
Flag this post
How a Nix flake made our polyglot stack (and new dev onboarding) fast and sane
fiveonefour.com·2d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Show HN: AI Coding Agents: Intent-Driven Development Guidelines
github.com·1d·
Discuss: Hacker News
✅Formal Methods
Flag this post
A self-hosted Security Operations Center in a box to avoid vendor lock
github.com·1d·
Discuss: DEV, Hacker News, r/opensource
🐛Vulnerability Research
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·5d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Enabling Trillion-Parameter Models on AWS EFA
research.perplexity.ai·3d·
Discuss: Hacker News
⚡CUDA
Flag this post
The Development of Pie
terathon.com·6d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Windsurf Codemaps: Understand Code, Before You Vibe It
cognition.ai·3d·
Discuss: Hacker News, Hacker News
✅Formal Methods
Flag this post
Beyond the Medallion: Rethinking Data Architecture
blog.matterbeam.com·1d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post