TC39 Advances 11 Proposals for Math Precision, Binary APIs, and More
socket.dev·12h·
Discuss: Hacker News
✓Formal verification
The Model Is the Product
pleias.fr·4h·
Discuss: Hacker News
🤖AI
We're Building the Future of the Startup Economy with AI
angellist.com·43m·
Discuss: Hacker News
🤖AI
How I Use LLMs for Data Harmonization: A Strategic, Limited Approach
rxdatalab.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Show HN: Code Index MCP – Codebase Indexing Server for LLMs
github.com·1d·
Discuss: Hacker News
🤖AI
Researcher exposes Microsoft's flawed code that lets attackers access files on your computer
neowin.net·3h·
Discuss: Hacker News
🤝Using AI for programming
Wassette: WebAssembly-based tools for AI agents
opensource.microsoft.com·2h·
Discuss: Hacker News
🤝Using AI for programming
How to Create Unbreakable Job Security: A Software Developer's Guide to Making Yourself Indispensable
getparthenon.com·2d·
Discuss: Hacker News, r/programming
🤖AI
RestIt – A Fast, Lightweight Native HTTP Client
news.ycombinator.com·12h·
Discuss: Hacker News
🤝Using AI for programming
SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
✓Formal verification
Qwen3 Coder vs. Kimi K2 vs. Sonnet 4 Coding Comparison (Tested on Qwen CLI)
composio.dev·1d·
Discuss: r/LocalLLaMA
🤝Using AI for programming
Vibe coding tool Cursor's MCP implementation allows persistent code execution
theregister.com·17h·
Discuss: Hacker News
🤝Using AI for programming
Living with LLMs
matiasklemola.com·1d·
Discuss: Hacker News, r/programming
🤖AI
People can exploit your social media pictures and so I've made a tool
news.ycombinator.com·1d·
Discuss: Hacker News
🔌Embedded
Show HN: Virtual Ontologies with Claude Code
medium.com·16h·
Discuss: Hacker News
🤖AI
Embracing the Model Context Protocol in practice: An engineering deep-dive
xpander.ai·20h·
Discuss: Hacker News
🤖AI
Uncovering memory corruption in NVIDIA Triton (as a new hire)
blog.trailofbits.com·1d·
Discuss: Hacker News
🔌Embedded
Drawafish.com Postmortem: Whoops
aldenhallak.com·2d·
Discuss: Hacker News, r/programming
🤝Using AI for programming
Red-teaming a RAG app: What happens?
blog.pamelafox.org·2d·
Discuss: www.blogger.com, Hacker News
🤖AI
Dynamically Update C++ syntax using Next Edit Suggestions
devblogs.microsoft.com·2d·
Discuss: Hacker News
🤝Using AI for programming