Document Chat System
document-chat-system.vercel.app·7h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Flag this post
Complexity fills the space it's given
wilsoniumite.com·21h·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Show HN: Code tours and feedback with your Agent in VSCode – local and cloudless
intraview.ai·1d·
Discuss: Hacker News, Hacker News
✅Formal Methods
Flag this post
Reflection
alexpolozov.com·10h·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Show HN: Executable Recipes for Claude, Codex. Or Terraform for AI Flows
github.com·12h·
Discuss: Hacker News
✅Formal Methods
Flag this post
I analyzed the lineups at the most popular nightclubs
dev.karltryggvason.com·16h·
Discuss: Hacker News
🎨Rendering
Flag this post
Build Efficient MCP Servers: Three Design Principles
damiangalarza.com·13h·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
OpenAPI won't make your APIs AI-ready. But Arazzo can
bump.sh·15h·
Discuss: Hacker News
✅Formal Methods
Flag this post
Show HN: TabPFN-2.5 – SOTA foundation model for tabular data
priorlabs.ai·11h·
Discuss: Hacker News
✅Formal Methods
Flag this post
Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
blog.redplanetlabs.com·3d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Myers Diff for Tab Management: Part 2
deontevanterpool.com·1d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Workload Identity in a Multi System Environment (Wimse) Architecture
datatracker.ietf.org·9h·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Accumulating Context Changes the Beliefs of Language Models
lm-belief-change.github.io·22h·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Pint: Python library that makes units easy
github.com·1d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Show HN: JermCAD – A YAML-powered, vibe-coded, browser-based CAD software
github.com·1d·
Discuss: Hacker News, Hacker News
🎨Rendering
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
Tiny GenBI: Lightweight Agent for business analysis
github.com·1d·
Discuss: Hacker News
📡Side-Channel Attacks
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
How I am deeply integrating Emacs
joshblais.com·22h·
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