Static hosting for frontend developers who care where their sites live. Git push, custom domain, done — on European infrastructure owned by Europeans, all the way down....
5 HOURS AGO
AARAUJO002
Fermat's Last Theorem in Lean 4
3 DAYS AGO
TRIPDOUT
Decompiler Explorer
4 DAYS AGO
RZNICOLET
The Wormhole Hall of Shame
3 DAYS AGO
BLUESTEIN
Fomu An FPGA board that fits inside your USB port
15 HOURS AGO
GIOSCARAB
Show HN: TERMy – A fast terminal assistant that does not use LLMs
4 DAYS AGO
PALASHAWAS
Elevator of the Year: Modernization of the Metropolis Trust Building
3 HOURS AGO
GUMBY
Without new landers or rovers, it's helicopters or bust for NASA's Mars program
A DAY AGO
BENBREEN
Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express'
4 HOURS AGO
EVAKHOURY
Searching for the Best Silicone USB Cable
12 HOURS AGO
DEEPLOGIN
Google AI Mode shows same products 21.6% more expensive than traditional search
jlebar
5 hours ago
Formalizing Fermat's Last Theorem
Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.
iopapa
4 hours ago
Can AI design circuit boards yet?
A look at what current models can build, where they fail, and how EEBench tests the electronics in simulation....
I’m sure that some pictures are worth a thousand words, but others trigger a whole lot of puzzlement. Such was the case with the cover of a book I recently bought entitled Calculating with T...
Topfi
2 hours ago
GPT-6 Astra on OpenRouter
GPT-6 Astra is OpenAI's flagship model for demanding end-to-end work. $10 per million input tokens, $50 per million output tokens. 1,050,000 token context window, maximum output of 128,000 t...
mywacaday
5 hours ago
Shutting down our public encrypted DNS
Mullvad has operated public encrypted DNS (DoH) servers since 2022. They are unnecessary when using Mullvad VPN — traffic is already encrypted and Mullvad VPN's internal DNS handles all quer...
mooreds
4 hours ago
An open DNS recursive service for free security and high privacy
A public and free DNS service for a better security and privacy...
moultano
12 hours ago
Discovery of a new OpenAI agent message board
A swarm of autonomous AI agents, self-identifying as OpenAI agents, used a small German volunteer wiki to save answers, coordinate live, and share sandbox bypasses. OpenAI noticed and said n...
https://collusion.wiki/
artpar
11 hours ago
IBM Bob
AI SDLC (Software Development Lifecycle) partner....
bigcat12345678
an hour ago
Gimlet's Series B
Today, we are announcing our $300M Series B raise, led by Andreessen Horowitz and joined by Sapphire Ventures, Menlo Ventures, 645 Ventures, Arm, Eclipse, Emergence, Factory, Hudson River Tr...
qainsights
8 hours ago
Project HydraFusion: Frontier quality via multi-model orchestration
In controlled offline evaluations, HydraFusion’s selective coding workflows matched or exceeded the evaluated Opus 5 baseline while reducing estimated cost....
alexchantavy
12 hours ago
SubImage (YC W25) Is Hiring a Founding Engineer in SF
SubImage maps infrastructure the way an attacker does so security teams at scale-ups and enterprises can find and fix problems. We’re built on Cartography, the open source tool our founders ...
josephcsible
an hour ago
Christmas Village shoppers no longer will be allowed to enter booths
The change is being made to ensure compliance with the Americans with Disabilities Act, the event's organizer says. But vendors say it will cut into their profits....
evakhoury
3 days ago
Getting Started with AT Protocol
A set of critical links for anyone interested in getting started with AT Protocol and exploring the landscape...
theanonymousone
11 hours ago
Ok, but does it scale?
This is probably the question I get asked most about Spacetime. It’s a simple enough question, and it certainly seems like it should have a simple answer. Scaling is a complex topic, and the...
dendark
2 hours ago
Almost half of ICANN-accredited registrars under the control of a single busines
Almost half of all ICANN-accredited registrars are now under the control of a single business, after DropCatch.com owner TurnCommerce bought 300 more accreditations. Numbered shell LLCs name...