HN Top Links - Popular Stories from Hacker News

31.

Bend – a language that blocks AI mistakes via proof and runs on GPUs (bend-lang.com)

603 points by nicolas-siplis 2 days ago | 308 comments

32.

Two parallel neural ectoderm progenitors contribute to the developing brain (med.stanford.edu)

596 points by emigre 16 hours ago | 228 comments

33.

Mistral X Mozilla: Private, Multilingual AI Browsing (mistral.ai)

584 points by vertigoruntime 3 days ago | 204 comments

34.

Hackers Got Inside a Flock Camera (wired.com)

582 points by driverdan 3 days ago | 270 comments

35.

Astra for Law (openai.com)

577 points by vertigoruntime 2 days ago | 677 comments

36.

Bonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprint (prismml.com)

575 points by JonSchneider 2 days ago | 195 comments

37.

JetKVM Mini (jetkvm.com)

571 points by taubek 6 days ago | 235 comments

38.

Xiaomi Mimo 2.6 live post-training dashboard (mimo.xiaomi.com)

550 points by krackers 3 days ago | 155 comments

39.

Apple Reference Image: A New Approach for Verified Photography (security.apple.com)

527 points by imwally 3 days ago | 352 comments

40.

Suspected sabotage causes major Netherlands rail disruption (bbc.com)

526 points by choult 4 days ago | 494 comments

41.

AWS says it can't restore some data from mideast facilities struck by Iran (wsj.com)

525 points by berkeleyjunk 4 days ago | 449 comments

42.

Wax motor (en.wikipedia.org)

514 points by mhb 3 days ago | 106 comments

43.

OpenAI bots knew about the RubyGems caching vulnerability (tenderlovemaking.com)

510 points by gregnavis 5 days ago | 423 comments

44.

US Military had close call after using AI for hallucinated intelligence report (cnn.com)

495 points by realsarm 1 day ago | 373 comments

45.

Pion, an agent designed to run any company autonomously (andonlabs.com)

494 points by lukaspetersson 5 days ago | 615 comments

46.

Why I'm still bearish on LLMs after Navier-Stokes (dank.systems)

489 points by jaykru 4 days ago | 646 comments

47.

Gemini 3.8 Live and 3.8 Live Extended Thinking (blog.google)

487 points by leumon 4 days ago | 327 comments

48.

A heap overflow and SSO misconfiguration to compromise OpenAI internal repos (hacktron.ai)

483 points by Handy-Man 1 day ago | 205 comments

49.

US confirms for first time it has deployed space weapons (bbc.com)

481 points by harporoeder 4 days ago | 370 comments

50.

Data collected by cars and sold to third parties (theverge.com)

481 points by bookofjoe 6 days ago | 260 comments

51.

Astra and Fable still hack on simple variants of alignment evals from 2025 (lesswrong.com)

479 points by Levitating 6 days ago | 235 comments

52.

Let's make quality the norm again (forbrukerradet.no)

458 points by ingve 4 days ago | 499 comments

53.

I'm being cyberattacked by Tesla, Inc (dreamstation.systems)

458 points by robinpie 6 days ago | 119 comments

54.

Saving another 100TB of RAM (blog.cloudflare.com)

458 points by f311a 1 day ago | 108 comments

55.

Show HN: I made a flight simulator, except you're just a passenger (inflightsimulator.com)

441 points by rkotcher 5 days ago | 205 comments

56.

Building a Linux GPU Driver for the M4 Mac Mini in One Month (codyho.dev)

417 points by ADevWithAnIdea 4 days ago | 289 comments

57.

Garry Tan wants US open-weight AI labs to 'distill' frontier models, too (techcrunch.com)

416 points by TheJCDenton 6 days ago | 239 comments

58.

Apple's Dimensional Drawings (developer.apple.com)

416 points by herbertl 5 days ago | 133 comments

59.

How GLM built its own inference infrastructure (z.ai)

404 points by whiteros_e 2 days ago | 282 comments

60.

Registration without a phone number on Signal will use zero-knowledge proofs (community.signalusers.org)

393 points by Cider9986 6 days ago | 214 comments