Hacker News

news newest show ask jobs

Poudlardo

Leanstral: Open-source agent for trustworthy coding and formal proof engineering mistral.ai

771 points 188 comments 2 days ago

01-_-

Nvidia's Always-On Chip Detects Faces in Less Than a Millisecond spectrum.ieee.org

16 points 1 comments 5 hours ago

peterlavigne

Toward automated verification of unreviewed AI-generated code peterlavigne.com

91 points 84 comments 2 days ago

bookofjoe

Ryugu asteroid samples contain all DNA and RNA building blocks phys.org

300 points 163 comments a day ago

rmason

Beyond has dropped “meat” from its name and expanded its high-protein drink line plantbasednews.org

216 points 569 comments 2 days ago

wiseprobe

Launch an autonomous AI agent with sandboxed execution in 2 lines of code amaiya.github.io

51 points 17 comments a day ago

mfiguiere

Java 26 is here hanno.codes

260 points 285 comments a day ago

pkaeding

Robotocore · a Digital Twin of AWS github.com

44 points 8 comments 21 hours ago

petersunde

Show HN: Horizon – GPU-accelerated infinite-canvas terminal in Rust github.com

75 points 31 comments a day ago

greyface-

Every layer of review makes you 10x slower apenwarr.ca

557 points 310 comments 2 days ago

htdt

Show HN: Claude Code skills that build complete Godot games github.com

325 points 197 comments 2 days ago

bookofjoe

Igbo-Ora, the scientific enigma of the 'twin capital of the world' english.elpais.com

3 points 0 comments 3 hours ago

ngaut

Aggregated File System (AGFS), a modern tribute to the spirit of Plan 9 github.com

17 points 10 comments 4 days ago

saikatsg

WFP projects food insecurity could reach record levels wfp.org

8 points 1 comments 5 hours ago

par

Meta Horizon Worlds on Meta Quest is being discontinued communityforums.atmeta.com

235 points 257 comments a day ago

1vuio0pswjnm7

Meta and TikTok let harmful content rise to drove engagement, say whistleblowers bbc.com

321 points 192 comments a day ago

terminalbraid

Illinois Introducing Operating System Account Age Bill ilga.gov

284 points 428 comments a day ago

gscott

Meta is shutting down VR social platform Horizon Worlds cnbc.com

11 points 0 comments 7 hours ago

opengrass

Bill C-22, the Lawful Access Act: Dangerous backdoor surveillance risks remain michaelgeist.ca

1,001 points 331 comments 3 days ago

masterpos

Lazycut: A simple terminal video trimmer using FFmpeg github.com

221 points 65 comments 2 days ago

zggf

Reverse-engineering Viktor and making it open source matijacniacki.com

180 points 81 comments 2 days ago

hahahacorn

Meta’s renewed commitment to jemalloc engineering.fb.com

511 points 239 comments 2 days ago

speckx

The “small web” is bigger than you might think kevinboone.me

543 points 227 comments 2 days ago

jcalvinowens

UC Irvine researchers bring down AI powered drones with painted umbrellas arxiv.org

21 points 7 comments 21 hours ago

dcreager

Give Django your time and money, not your tokens better-simple.com

432 points 168 comments 2 days ago

PaulHoule

Corruption erodes social trust more in democracies than in autocracies frontiersin.org

736 points 386 comments 2 days ago

rexroad

The American Healthcare Conundrum github.com

517 points 631 comments 2 days ago

nikodunk

Duranium: A More Reliable PostmarketOS postmarketos.org

19 points 4 comments a day ago

meetpateltech

GPT‑5.4 Mini and Nano openai.com

242 points 144 comments a day ago

skilled

DarkSword: iOS Exploit Chain Adopted by Multiple Threat Actors cloud.google.com

11 points 1 comments 8 hours ago

Previous Page 4 Next

hn-front (c) 2024 voximity