Y
Hacker News
new
|
ask
|
show
|
jobs
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
771 points by
Poudlardo
2 days ago |
188 comments
Nvidia's Always-On Chip Detects Faces in Less Than a Millisecond
16 points by
01-_-
5 hours ago |
1 comments
Toward automated verification of unreviewed AI-generated code
91 points by
peterlavigne
2 days ago |
84 comments
Ryugu asteroid samples contain all DNA and RNA building blocks
300 points by
bookofjoe
a day ago |
163 comments
Beyond has dropped “meat” from its name and expanded its high-protein drink line
216 points by
rmason
2 days ago |
569 comments
Launch an autonomous AI agent with sandboxed execution in 2 lines of code
51 points by
wiseprobe
a day ago |
17 comments
Java 26 is here
260 points by
mfiguiere
a day ago |
285 comments
Robotocore · a Digital Twin of AWS
44 points by
pkaeding
21 hours ago |
8 comments
Show HN: Horizon – GPU-accelerated infinite-canvas terminal in Rust
75 points by
petersunde
a day ago |
31 comments
Every layer of review makes you 10x slower
557 points by
greyface-
2 days ago |
310 comments
Show HN: Claude Code skills that build complete Godot games
325 points by
htdt
2 days ago |
197 comments
Igbo-Ora, the scientific enigma of the 'twin capital of the world'
3 points by
bookofjoe
3 hours ago |
0 comments
Aggregated File System (AGFS), a modern tribute to the spirit of Plan 9
17 points by
ngaut
4 days ago |
10 comments
WFP projects food insecurity could reach record levels
8 points by
saikatsg
5 hours ago |
1 comments
Meta Horizon Worlds on Meta Quest is being discontinued
235 points by
par
a day ago |
257 comments
Meta and TikTok let harmful content rise to drove engagement, say whistleblowers
321 points by
1vuio0pswjnm7
a day ago |
192 comments
Illinois Introducing Operating System Account Age Bill
284 points by
terminalbraid
a day ago |
428 comments
Meta is shutting down VR social platform Horizon Worlds
11 points by
gscott
7 hours ago |
0 comments
Bill C-22, the Lawful Access Act: Dangerous backdoor surveillance risks remain
1001 points by
opengrass
3 days ago |
331 comments
Lazycut: A simple terminal video trimmer using FFmpeg
221 points by
masterpos
2 days ago |
65 comments
Reverse-engineering Viktor and making it open source
180 points by
zggf
2 days ago |
81 comments
Meta’s renewed commitment to jemalloc
511 points by
hahahacorn
2 days ago |
239 comments
The “small web” is bigger than you might think
543 points by
speckx
2 days ago |
227 comments
UC Irvine researchers bring down AI powered drones with painted umbrellas
21 points by
jcalvinowens
21 hours ago |
7 comments
Give Django your time and money, not your tokens
432 points by
dcreager
2 days ago |
168 comments
Corruption erodes social trust more in democracies than in autocracies
736 points by
PaulHoule
2 days ago |
386 comments
The American Healthcare Conundrum
517 points by
rexroad
2 days ago |
631 comments
Duranium: A More Reliable PostmarketOS
19 points by
nikodunk
a day ago |
4 comments
GPT‑5.4 Mini and Nano
242 points by
meetpateltech
a day ago |
144 comments
DarkSword: iOS Exploit Chain Adopted by Multiple Threat Actors
11 points by
skilled
8 hours ago |
1 comments
More
Please enable JavaScript to continue using this application.