2015
view article2014
view article2014
view article2014
view article2007
view article2006
view article2000
view article1998
view article1998
view article1997
view article1996
view article1981
view article1976
view article1975
view article1973
view article1968
view article1962
view article1954
view article1953
view article1945
view article1944
view article1938
view article1936
view article1932
view article1919
view article1918
view article1899
view article1867
view article1794
view article1791
view article1771
view article1717
view article1453
view article1429
view article1402
view article1203
view article561
view article180
view articlePhilosophy - Sciences - Geekery - Art - Life - Coaching - Fun < Simplify Everything
A weekly tour of real desk setups from designers, founders, and builders. Every Saturday.
Noticing responses to problems; there’s a whole set. The consultant’s reaction to each of these as they arise.
We turned zkao (our AI auditor) on OpenVM, a state-of-the-art zkVM, and it found a critical soundness bug: the pairing check accepted a prover-supplied witness without proper subfield checking, which lets a malicious prover forge any pairing equality. It is fixed in OpenVM 1.6.0 and tracked as CVE-2026-46669. This is the second post in our series on bugs our agents found across open source cryptography.
Announcing the release of VulnHunter, an open-source AI code security tool with an agentic reasoning workflow developed by Capital One.
About us Manufact is Vercel for MCP. We are building the MCP cloud platform to get any product ready for Claude Connectors marketplace, ChatGPT App Store and any AI agent that supports MCP. Manufact Cloud usage is more than doubling every month. We're the team behind mcp-use SDK (next.js for MCP), the open-source framework for building MCP Apps with 10k Github stars and 8M+ downloads across python and typescript. Used by 20% of US 500 like NASA, SAP, NVIDIA and more than 5,000 companies. We raised $6.3M seed in 4 days before YC demo day. Our lead investor is PeakXV (best dev-tools VC out there), and we have the best angels, including the founders of Supabase. Our focus: capture a significant share of global AI tool calls that flow thro
A love letter to the rocket that everyone is too chicken to build
Lately I’ve been asking myself: what might artificial intelligence be good for besides answering questions and writing code?
Researchers have found an Earth-like, rocky planet orbiting within the habitable zone of a distant star with an atmosphere.
Located in Illinois, he first designed the residence at age 22 and lived in it for 20 years
On World Emoji Day, go behind the scenes of Noto 3D to learn how we redesigned thousands of emoji for modern communication.
How the brain rapidly switches attention between competing speech streams in complex listening environments is not fully understood. This study shows that neural tracking of a new speaker emerges before disengagement, with transient dual encoding and reduced alpha power supporting flexible auditory attention.