MCP tools with dependent types
(news.ycombinator.com)
721.
722.
MCP doesn't need tools, it needs code
(news.ycombinator.com)
723.
MCP Tools and Dependent Types
(news.ycombinator.com)
724.
MCP Doesn't Need 30 Tools: It Needs Code
(news.ycombinator.com)
725.
An Argument for Increasing TCP's Initial Congestion Window Again
(news.ycombinator.com)
726.
Lessons learned from buying an open source repo
(news.ycombinator.com)
727.
Show HN: MCP Security Suite
(news.ycombinator.com)
728.
Linux Address Space Isolation Revived After Lowering 70% Performance Hit to 13%
(news.ycombinator.com)
729.
730.
Nexus: An Open-Source AI Router for Governance, Control and Observability
(news.ycombinator.com)
731.
Operation Costs in CPU Clock Cycles (2016)
(news.ycombinator.com)
732.
MCP overlooks hard-won lessons from distributed systems
(news.ycombinator.com)
733.
MCP's Disregard for 40 Years of RPC Best Practices
(news.ycombinator.com)
734.
An LLM does not need to understand MCP
(news.ycombinator.com)
735.
Create space-saving clones on macOS with Python
(news.ycombinator.com)
736.
These protocols will help AI agents navigate our messy lives
(technologyreview.com)
737.
7 Red Flags When Choosing Cheap PC Components
(techspot.com)
738.
7 Red Flags When Choosing Cheap PC Components
(techspot.com)
739.
This Old SGI: notes and memoirs on the Silicon Graphics 4D series (1996)
(news.ycombinator.com)
740.
RIP Corporation for Public Broadcasting: 1967–2026
(arstechnica.com)
741.
Corporation for Public Broadcasting ceasing operations
(news.ycombinator.com)
742.
AI-powered Cursor IDE vulnerable to prompt-injection attacks
(bleepingcomputer.com)
743.
Show HN: Mcp-use – Connect any LLM to any MCP
(news.ycombinator.com)
744.
QUIC for the kernel
(news.ycombinator.com)
745.
QUIC for the Kernel
(news.ycombinator.com)
746.
GCP CloudQuarry: Searching for Secrets in Public GCP Images
(news.ycombinator.com)
747.
748.
749.
Zalman's jet engine-inspired CPU cooler is now available
(techspot.com)
750.