Hacker News
Latest
Einstein's relativity rules chemical bonds in heavy elements, new research shows
2026-07-10 @ 22:30:44Points: 22Comments: 9
Moss (YC F25) Is Hiring
2026-07-10 @ 21:11:18Points: 1
Prismata: Confining cross-site prompt injection in web agents
2026-07-10 @ 21:03:38Points: 9Comments: 0
Apple sues OpenAI, accuses ex-employees of stealing trade secrets
2026-07-10 @ 20:47:09Points: 193Comments: 103
GhostLock, a stack-UAF that has existed in ALL Linux distributions for 15 years
2026-07-10 @ 20:43:02Points: 18Comments: 3
An update on residential proxies and the scraper situation
2026-07-10 @ 19:38:34Points: 66Comments: 49
How the terrorist group Boko Haram uses frontier AI
2026-07-10 @ 18:49:26Points: 151Comments: 129
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
2026-07-10 @ 18:29:19Points: 279Comments: 239
New York City to to ban deceptive subscription practices
2026-07-10 @ 18:26:24Points: 339Comments: 184
War Atlas: An interactive cartography of every named war in human history
2026-07-10 @ 17:52:48Points: 101Comments: 43
SpaceX wants to launch 100k more Starlink satellites for 100x the bandwidth
2026-07-10 @ 17:51:07Points: 31Comments: 96
The tech of 'Terminator 2' – an oral history (2017)
2026-07-10 @ 16:48:41Points: 141Comments: 54
Snails' teeth beats spider silk as nature's strongest material (2015)
2026-07-10 @ 16:37:52Points: 144Comments: 117
QuadRF can spot drones and see WiFi through my wall
2026-07-10 @ 15:59:53Points: 394Comments: 157
A love letter to flashcards
2026-07-10 @ 15:30:44Points: 118Comments: 73
Computation as a universal and fundamental concept
2026-07-10 @ 15:23:42Points: 71Comments: 62
Successful Companies Go Blind
2026-07-10 @ 13:31:08Points: 182Comments: 63
After 7 years in production, Scarf has reluctantly moved away from Haskell
2026-07-10 @ 13:30:41Points: 55Comments: 73
Punk, or why I don't stream anymore
2026-07-10 @ 13:30:19Points: 131Comments: 172
Late Bronze Age Collapse
2026-07-10 @ 11:59:55Points: 303Comments: 213
Good Tools Are Invisible
2026-07-10 @ 10:32:41Points: 330Comments: 149
In Emacs, everything looks like a service
2026-07-10 @ 08:21:10Points: 226Comments: 97
Show HN: Wyrm – Solve algebra by touch, built on an open-source soundness engine
2026-07-09 @ 11:16:18Points: 43Comments: 5
Over the years I often thought that there should be a calculator for Algebra that works this way... something where you can drag terms around and cancel & distribute with gestures, but most importantly enter your own problems. It should also do more kinds of problems than DragonBox allowed. So I finally decided to build it.
https://dicroce.github.io/wyrm/home.html
Here's a video showing it: https://www.youtube.com/watch?v=_STbS4zvIlU. If you'd rather just play with it: there's a limited in-browser demo (real engine, a few example equations, no download) on the landing page — https://dicroce.github.io/wyrm/home.html.
The app can be found on iOS (https://apps.apple.com/us/app/wyrm-math/id6782342042) and as of this week on Google Play (https://play.google.com/store/apps/details?id=com.dicroce.wy...).
I also decided to open source the underlying math engine so others could build on it: https://github.com/dicroce/wyrm_math. My goal for the engine btw is to build it all the way up to Calculus.
Monetization is deliberately boring: the engine is free (MIT), and the polished gesture app is $4.99 once. No subscriptions, ads, accounts, or analytics.
I'd love feedback on the engine design — especially from anyone who's worked on CAS or proof-assistant-adjacent problems. And if you played DragonBox as a kid and wished it went further: this is for you!
Show HN: Frugon – Find which LLM calls a cheaper model could handle (local, MIT)
2026-07-07 @ 12:20:54Points: 48Comments: 10
I realised I had to do something about it else I'd have to double my spend. So I decided to start tracking my cost per task type. This revealed that a lot of my spend went to searches/scans or simple things like scouting tasks.
I then decided to turn this into a simple CLI tool that can be used to read your OpenAI-style logs locally, and analyze the cost and compare this spend to other models, then show you how much you could potentially save by switching those calls to a cheaper model.
When you run analyze you get an offline estimate priced against LiteLLM and gated by LMArena tiers. The general savings bands come from the research published by RouteLLM; but you can confirm this yourself using 2 commands --measure (shows the prompt-response output side by side) and --judge (a model chosen to do the comparisons). These send a sample of the prompts from the logs to the candidate models - either the default choice or set by you. This call goes directly to the model provider (never through me) as any normal LLM call would, and the response is shown and judged to either be better or worse or a tie.
It's deliberately small, because I tend to over complicate/think things sometimes: analyze + capture + a few commands, doing three jobs. Cost, quality visibility, routing recommendation.
Nothing is hosted. capture is an optional local proxy on your own machine, and there's no endpoint in the path of your data. You can confirm this by checking the source.
I included a demo so you can check out the output. It has a synthetic 56k call log (a month's worth) showing how costs can drop from $549.46 to $343.91 a month. A 37.4% saving.
Try it:
uvx frugon analyze --demo
or uv tool install frugon
Then point it at your own logs. All feedback is welcome, especially any on the routing/quality logic, or anything else, good or bad.