N
Hacker Next
new
past
show
ask
show
jobs
submit
login
481
▲
Terence Tao: Formalizing a proof in Lean using Claude Code [video]
(
youtube.com
)
54 points by
helloplanets
3 days ago
|
1 comment
482
▲
Jai in 2026: The State of Jonathan Blow's Programming Language
(
mrphilgames.com
)
4 points by
roflcopter69
2 days ago
|
0 comments
483
▲
Rendezvous with Rama
(
blog.engora.com
)
104 points by
Vermin2000
3 days ago
|
120 comments
484
▲
VPNs surge in Australia as mandatory age verification for adult content begins
(
techradar.com
)
13 points by
reassess_blind
1 days ago
|
1 comment
485
▲
Show HN: OpenMeters – A fast and free audio metering/visualization suite
(
github.com
)
16 points by
httpsworldview
3 days ago
|
0 comments
486
▲
Alma Detects Abundant Alcohol in Interstellar Comet 3I/Atlas
(
almaobservatory.org
)
6 points by
geox
22 hours ago
|
2 comments
487
▲
Show HN: Run 500B+ Parameter LLMs Locally on a Mac Mini
(
github.com
)
17 points by
fatihturker
3 days ago
|
11 comments
488
▲
The DMCA Was Built to Stop DVD Piracy. Google Wants to Use It Against Scrapers
(
substack.thewebscraping.club
)
16 points by
PigiVinci83
4 days ago
|
5 comments
489
▲
Is legal the same as legitimate: AI reimplementation and the erosion of copyleft
(
writings.hongminhee.org
)
565 points by
dahlia
3 days ago
|
585 comments
490
▲
Anthropic vs. Trump Administration: What Happens When Firms Push Back
(
joycevance.substack.com
)
17 points by
taskset
22 hours ago
|
5 comments
491
▲
Fork Off: Surveillance States Need to Fork Linux Themselves
(
blog.devrupt.io
)
57 points by
ddtaylor
5 days ago
|
5 comments
492
▲
China Deploys 30k-Ton Liaowang-1 "Floating Supercomputer" to Gulf of Oman
(
defencesecurityasia.com
)
42 points by
swed420
2 days ago
|
19 comments
493
▲
Entomologists use a particle accelerator to image ants at scale
(
spectrum.ieee.org
)
145 points by
gmays
6 days ago
|
28 comments
494
▲
Mathematics is undergoing the biggest change in its history
(
newscientist.com
)
15 points by
jonbaer
1 days ago
|
8 comments
495
▲
Oil hits $100 a barrel despite deal to release record amount of reserves
(
bbc.com
)
58 points by
tartoran
8 hours ago
|
71 comments
496
▲
Microsoft patents system for AI helpers to finish games for you
(
dexerto.com
)
5 points by
JeanKage
1 days ago
|
2 comments
497
▲
MPs give ministers powers to restrict Internet
(
openrightsgroup.org
)
8 points by
Jigsy
1 days ago
|
1 comment
498
▲
House Committee Passes Child "Safety" Bills That Push National Age Verification
(
reclaimthenet.org
)
75 points by
iamnothere
4 days ago
|
11 comments
499
▲
Atlassian lays off 1,600 workers ahead of AI push
(
theguardian.com
)
6 points by
voxadam
11 hours ago
|
1 comment
500
▲
Family of child injured in Canada school shooting sues OpenAI
(
bbc.com
)
12 points by
fidotron
2 days ago
|
2 comments
Rendered at 11:08:25 GMT+0000 (Coordinated Universal Time) with Vercel.