Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code
To my knowledge, this is the first formally verified implementation of a 3D constructive solid geometry (CSG) operation: mesh intersection, implemented in Lean 4 and verified against a concise specification that pins down the surface of the resulting mesh exactly and...
What AI developers could learn from Charles Bukowski?
Article URL: https://galjot.si/what-ai-developers-could-learn-from-charles-bukowski Comments URL: https://news.ycombinator.com/item?id=49083132 Points: 4 # Comments: 1
AI revenues are growing fast, but not fast enough
Article URL: https://www.economist.com/finance-and-economics/2026/07/28/ai-revenues-are-growing-fast-but-not-fast-enough Comments URL: https://news.ycombinator.com/item?id=49082706 Points: 15 # Comments: 3
Only one ‘Magnificent 7’ stock is having a truly magnificent year. The reason may surprise you
On Monday, shares of Apple Inc. (Nasdaq: AAPL) rose 1.17% and the tech giant became the world’s most valuable publicly traded company, with a market cap of $4.95 trillion. It took the title from Nvidia, which saw its shares (Nasdaq: NVDA) fall 4.99%, ending the day...
Recursive Superintelligence signs $410 compute deal with Amazon
Recursive’s $400 million outlay represents the bulk of the company’s fundraising to date.
Recursive Superintelligence signs $400 compute deal with Amazon
Recursive Superintelligence signs $400 compute deal with Amazon Go to Source Recursive’s $400 million outlay represents the bulk of the company’s fundraising to date.
Show HN: Ctrlb-decompose: Strip the noise from logs before sending to LLMs
Article URL: https://github.com/ctrlb-hq/ctrlb-decompose Comments URL: https://news.ycombinator.com/item?id=49083336 Points: 14 # Comments: 0
New HIV vaccine shows unprecedented success in preclinical study
Article URL: https://www.lji.org/news-events/news/post/new-hiv-vaccine-shows-unprecedented-success-in-preclinical-study/ Comments URL: https://news.ycombinator.com/item?id=49083314 Points: 5 # Comments: 0
I’m 38 and I Can’t Support Myself Anymore
Article URL: https://itsmevox.substack.com/p/im-38-and-i-cant-support-myself-anymore Comments URL: https://news.ycombinator.com/item?id=49082857 Points: 81 # Comments: 40
Mondragon Corporation – a federation of co-operatives
Article URL: https://en.wikipedia.org/wiki/Mondragon_Corporation Comments URL: https://news.ycombinator.com/item?id=49082695 Points: 13 # Comments: 0
Kimi Linear: An Expressive, Efficient Attention Architecture
Article URL: https://arxiv.org/abs/2510.26692 Comments URL: https://news.ycombinator.com/item?id=49082022 Points: 12 # Comments: 1
Fast Remediation Is the New Trust Model (JFrog and OpenAI Zero-Day Findings)
Article URL: https://jfrog.com/blog/jfrog-and-openai-collaboration-on-zero-day-security-findings/ Comments URL: https://news.ycombinator.com/item?id=49082550 Points: 11 # Comments: 2
Usenet Archive Toolkit – process Usenet messages into a searchable archive
Article URL: https://github.com/wolfpld/usenetarchive Comments URL: https://news.ycombinator.com/item?id=49081862 Points: 6 # Comments: 0
Show HN: Open-source Cloudflare deployed agent native task management and wiki
There are many task tracking solutions out there but this one is mine. It's open source and free to host on your own Cloudflare project.https://github.com/TAJD/projektorI had issues with paying for some of the solutions out there, and then the local solutions like...
DMARC Has Been Public Since 2012. 68.4% of Domains Still Don’t Enforce It
Article URL: https://ciphercue.com/blog/dmarc-enforcement-gap-rua-fragmentation-2026 Comments URL: https://news.ycombinator.com/item?id=49081783 Points: 9 # Comments: 3
Show HN: I put a $2.43 necklace on 3 outfits. VLMs priced it at $19 to $104
Article URL: https://github.com/BraveAnn011/ai-halo-valuation-bias Comments URL: https://news.ycombinator.com/item?id=49083244 Points: 10 # Comments: 3
OT Security Startup Frenos Raises $1.52 Million
The company will use the fresh investment to grow its customer success and AI R&D teams. The post OT Security Startup Frenos Raises $1.52 Million appeared first on SecurityWeek.
Snowflake launches Cortex AI Gateway to control AI agents and prevent runaway enterprise costs
Snowflake announced Cortex AI Gateway on Tuesday, a centralized control layer designed to govern how AI agents — including those built by competitors like Anthropic's Claude Code and Cursor — access enterprise data, tools, and models. Alongside the gateway, the...
Granola launches an Apple Watch app
Granola debutes an Apple Watch app for in-person notetaking
These bills could make it easier to tell when influencers and AI are shilling for politicians
Political advertising disclosures in the U.S. used to be fairly simple. Since 2002, campaigns recorded commercials for television and radio that have been required to include information about who paid for them along with language that they “approve this message.”...
You’ve been using your power bank wrong, and airline rules make that obvious
Many of the things you're not allowed to do on an aircraft are things you shouldn't be doing at all.
Apple Upgrade is a subscription program for the company’s devices
Apple's new program gives you lease options for iPhone, iPad, Apple Watch and Mac.
Nimbus Manticore Deploys NightLedger and Turns Victim Systems Into Covert Relays
The Iranian state-backed hacking group tracked as Nimbus Manticore (aka GalaxyGato, Mirage Kitten, Smoke Sandstorm, Subtle Snail, and UNC1549) has been attributed to a fresh set of attacks targeting entities across the Middle East, Africa, and South Asia. The...
How much RAM does your phone really need in 2026?
Manufacturers keep putting more and more memory into new phones, and we're the ones paying for it.
AIO Launcher is one of the coolest minimal Android launchers I’ve used – and it’s free
A minimal Android launcher can simplify your phone interactions, but simple doesn't have to mean boring.
My 5 favorite Windows Insider features in 2026 so far
Microsoft's Windows 11 insider builds let you preview and try upcoming new features and settings. Here are my five favorites this year so far and how you can check them out.
Chip stocks down: Micron, Sandisk, Intel shares get hammered as AI uncertainty infects global markets
Chip stocks down: Micron, Sandisk, Intel shares get hammered as AI uncertainty infects global markets Go to Source Shares in major U.S. chip and memory companies, including Micron, Sandisk, and Intel, are sinking this morning in...
AI Costs Continue to Rise Despite Falling Token Prices
Falling token prices haven't lowered enterprise AI bills. As organizations expand agentic AI and process more data, hidden operational costs are becoming a much larger part of the equation. The post AI Costs Continue to Rise Despite Falling Token Prices appeared first...
Hyperscale, hypersensitive: US teacher cuffed off for applauding datacenter critics
A Kansas physics teacher discovered that in at least one corner of America's AI buildout, applause can apparently earn you a trip to jail. According to local news reports, Lux Claridge, a 37-year-old physics teacher from Emporia, Kansas, was arrested after applauding...
Too many AI agents can get in each other’s way
Anthropic and OpenAI have both proposed the deployment of agent armies as a way to maximize the notional benefits of artificial intelligence systems. But the optimal agent workforce isn't necessarily the largest. Researchers affiliated with the NTT Research's Physics...