THE HACKER NEWS

johnbender
8 hours ago
LLMs are making formal software verification feasible at a much larger scale
Claude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years....
17 HOURS AGO
FARROKHI
Quad9 to exit France
A DAY AGO
ALPHAX314
WorldTUI: I trained a 360M model to pretend to be a terminal
3 DAYS AGO
AKKARTIK
Color Names
20 HOURS AGO
ENTRYLEVELJOBSC
Xbox wants you to pay 24 to 40 cents per hour to stream games you bought
9 HOURS AGO
AMICHAIL
Rule 30: one black cell
13 HOURS AGO
MAXILEVI
Hedra is a 3D open world game I wrote from scratch while in highschool
10 HOURS AGO
CHARLESW
Railpass
7 HOURS AGO
ANIMALHOT
Show HN: Making a smart TV dumb and then smart
4 DAYS AGO
IBOBEV
Dungeon generation in the Gnomish mines of NetHack
3 DAYS AGO
WFFURR
Startup taps underwater volcano as energy source in “proof point” test
15 HOURS AGO
SUHDONGHWI
A farewell to Arc browser
4 DAYS AGO
ALEXMOLAS
Speeding up code review with `small-change`
3 DAYS AGO
WFFURR
Startup taps underwater volcano as energy source in “proof point” test
4 DAYS AGO
GUMBY
What Is Gridifcation
15 HOURS AGO
SUHDONGHWI
A farewell to Arc browser
18 HOURS AGO
OIDAR
Woman charged with computer fraud due to scam CashApp account being in her name
sohkamyung
8 hours ago
Local Wikipedia: Wikipedia, but only for things a half hour walk from you
Wikipedia, but only for things a half hour walk from you.
image
martincsweiss
18 hours ago
The alien space of science: Coherent but cognitively unavailable directions
Scientific discovery is constrained not only by what is true, but by what is cognitively available to researchers. Many directions are coherent in light of the literature yet unlikely to be ...
rakannimer
15 hours ago
Every AI model has the same "controversial" take on humans
We asked 12 AI models for their most controversial opinion of humans, three times each. 29 of 35 answers were the same one: we care more about belonging than about the truth....
dsmurrell
17 hours ago
Show HN: OnKey – I'm a bad singer, so I built an app to show where I'm off-key
Learn to sing the songs you love. A free, open-source singing trainer for Mac that listens to the music you play. - dsmurrell/onkey...
andrewstuart
11 hours ago
The HTML-in-Canvas API origin trial
了解 Chrome 中的 HTML-in-Canvas 源试用，以及它如何帮助您将 DOM 引入到 Canvas 驱动的应用中。...
niemandhier
14 hours ago
OpenShell – A safe, private runtime for fleets of autonomous AI agents
OpenShell is the safe, private runtime for autonomous AI agents. - NVIDIA/OpenShell...
aghuang
16 hours ago
Run full iOS 16.5 firmware on Android Devices
Contribute to oosexgang/hackios-xnu-kernel development by creating an account on GitHub....
gmays
10 hours ago
How does Fable 5.1 hide messages in images?
TL;DR Frontier LLMs are now capable of generating artistic images using SVG. We ask – if these LLMs had to hide a message in an image – how would the…...
https://www.lesswrong.com/posts/WHEQps5PK8LrrcTAb/how-does-fable-5-1-hide-messages-in-images
giancarlostoro
7 hours ago
Jank – The native Clojure dialect with seamless C++ interop
jank is the native Clojure dialect with seamless C++ interop....
ibobev
a day ago
A lost Schrödinger manuscript reveals a twist in quantum physics
For more than 80 years, a manuscript penned by one of the founders of quantum physics has been gathering dust in an Austrian library....
surprisetalk
3 days ago
Why my Asus laptop kept rebooting after sleep and how to fix it
Three years ago, I bought an Asus laptop, specifically the Zenbook Pro 17. It's a powerful machine and works just fine for my needs, but it had one problem that made me want to either return...
plaur782
a day ago
Postgres recovery_prefetch can cause outages
Another story of something I saw in the field which surprised me. Turns out recovery_prefetch can cause outages. Something which has been happening quietly in the background all the time, bu...
bo0tzz
18 hours ago
eMudhra to exit global SSL/TLS certificate business
eMudhra Limited (BSE: 543533 | NSE: EMUDHRA), a global digital trust company, today announced that its Board has decided to voluntarily withdraw from the global SSL/TLS certificate business....
surprisetalk
3 days ago
How to Design Flowers
A plant biologist in England is using genetic engineering, breeding, and pathogens to design and create flowers that exist nowhere else on Earth....
tmseidman
7 hours ago
Mapping the Northern Sky
For centuries, astronomers used the stars to tell stories, make predictions, and even find their way. All of which depended on having an accurate map, mental or otherwise, of the heavens abo...
molind
a day ago
Faster than earcut: triangulating 3.7M map polygons in 489 ms
We published the triangulator of our map engine as earstrip, an ISC-licensed C++ and WebAssembly library. How it came to be: the ear clipper rebuilt one idea at a time and timed on 3.7 milli...