Show HN: OneCLI – Vault for AI Agents in Rust
The secret vault for AI agents.Store once. Inject anywhere. Agents never see the keys. Website · Docs What is OneCLI? OneCLI is an open-source gateway that sits between your AI agents and the services they call. Instead of baking API keys into every agent, you store credentials once in OneCLI and the gateway injects them […]
Reversing memory loss via gut-brain communication
“Exteroception is basically how we perceive the outside,” Thaiss said. “We have a lot of detailed knowledge about how this works. But we know much less about how the brain senses what is going on inside the body. We don’t know how many internal senses there are, or even all of what they are sensing. […]
What CI looks like at a 100-person team (PostHog)
Last week, PostHog’s CI ran 575,894 jobs, processed 1.18 billion log lines, and executed 33 million tests. At that volume, even a 99.98% pass rate generates meaningful noise. We’re building Mendral, an AI agent that diagnoses CI failures, quarantines flaky tests, and opens PRs with fixes. Here’s what we’ve learned running it on one of […]
The Met Releases High-Def 3D Scans of 140 Famous Art Objects
We can go through most of our lives holding out hope of one day seeing in reality such works as van Gogh’s Sunflowers, Monet’s Haystacks, a clay tablet containing actual cuneiform writing with our own eyes, or the ancient Egyptian Temple of Dendur. We can actually come face to face — or rather, face to surface — with all […]
Lf-lean: The frontier of verified software engineering
20252026030m1h1h 30m2h2h 30m3h3h 30m4h4h 30m5hEarly time horizon on verified software engineeringTime horizon on verified software engineeringTime horizon on unverified software engineeringClosing the Gap Between Verified and Unverified Software EngineeringRelease dateTask duration (human equivalent)o13.7 Sonneto3Grok 4GPT-5GPT-5.1 Codex MaxOpus 4.5AlphaVerusFVAPPSVerinalf-leanVerified software engineering,code automatically proven correctUnverified software engineering,bottlenecked on human review Figure 1: Closing the Gap Between Verified […]
Colon cancer now leading cause of cancer deaths under 50 in US
Colorectal cancer is now the leading cause of cancer death in the US for people under 50, according to a new analysis from the American Cancer Society, prompting both experts and those in that age group with the disease to warn others to take certain symptoms seriously. Becca Lynch, who works in cyber security in […]
Asia rolls out 4-day weeks, WFH to solve fuel crisis caused by Iran war
Closed schools. Work-from-home demands. Price caps. Asia’s governments are scrambling to manage a fuel shortage caused by high oil prices and a closed Strait of Hormuz. Asia is particularly dependent on oil exports from the Middle East; Japan and South Korea respectively source 90% and 70% of their oil from the region. The energy crunch […]
ATMs didn’t kill bank Teller jobs, but the iPhone did
A few months ago, J. D. Vance, sitting vice president of the United States, gave an interview to Ross Douthat of the New York Times. During that interview, Vance and Douthat had an interesting exchange: Douthat: How much do you worry about the potential downsides of AI? Not even on the apocalyptic scale, but on […]
Hive (YC S14) is hiring scrappy product managers and product/data engineers
You need to enable JavaScript to run this app.
Kotlin creator’s new language: a formal way to talk to LLMs instead of English
Case Study Code LOC[1] Spec LOC[1] Shrink Factor Tests Passed WebVTT subtitles support for yt-dlp (video downloader) 255 38 6.7x before: 1241/1242 after: 1278/1279 (37 tests added) Italian SSN generator for Faker (python library for generating mock data) 165[2] 21 7.9x before: 2216 after: 2229 (13 tests added) Encoding auto-detection and normalization for beautifulsoup4 (Python […]