Kimi K3.1 scores 55 on Artificial Analysis, placed on the Pareto line(artificialanalysis.ai)theanonymousone591h1
Local Wikipedia: Wikipedia, but only for things a half hour walk from you(edjefferson.com)sohkamyung105921h206
I turned my TV into a Game Boy Color with a Pokemon town as my home screen(twitter.com)scrambled302h8
Show HN: Impossible Machines: declaratively program the physical world(www.impossiblemachines.xyz)bhaprayan3620h7
Ask HN: If the models are so good, why doesn't OpenAI just start 100 companies?(HN)ex-aws-dude50323h554
Show HN: OnKey – I'm a bad singer, so I built an app to show where I'm off-key(github.com)dsmurrell1821d78
Show HN: Searching for optimal strategies in a puzzle game with chance (Drop7)(drop7.dev)primitivesuave93h0
The alien space of science: Coherent but cognitively unavailable directions(arxiv.org)martincsweiss1861d73
LLMs are making formal software verification feasible at a much larger scale(www.anthropic.com)johnbender43321h274
Florida officer found dead man, impersonated him for years, renovated his home(www.nbcnews.com)Michelangelo116~46m4
Pentagon grants DHS permission to test heat ray weapon for use at border(www.cnn.com)bushwart1115h114
Remove pgrust: the entry is cheating (per-query kernels and result caching)(github.com)f311a17512h124
OpenShell – A safe, private runtime for fleets of autonomous AI agents(github.com)niemandhier4861d210
Show HN: We had AI write a wiki from 45k Enron emails, every fact cited(www.thisandthat.chat)jreynar508h50
Show HN: Uberblok – an interactive museum of ZFS internals(uberblok.storagebits.workers.dev)storagebits1172d29