hackernews client

news

Page 939

LLMs are making formal software verification feasible at a much larger scale

462 pointsposted 4 days ago

by johnbender

311 comments

Why My Dad Didn't Have a Cell Phone

4 pointsposted 12 hours ago

by Brajeshwar

2 comments

Walter Koenig, the Russian Crewman Chekov on 'Star Trek,' Dies at 90

15 pointsposted 9 hours ago

by gumby

4 comments

Dream-1

180 pointsposted 2 days ago

by GaggiX

77 comments

Woman charged with computer fraud due to scam CashApp account being in her name

665 pointsposted 5 days ago

by oidar

728 comments

Show HN: Visualization of Top News Stories

4 pointsposted a day ago

by topaztee

3 comments

Flock [YC S17] Fever: A Review of Government Surveillance by Benn Jordan [video]

33 pointsposted a day ago

by input_sh

1 comments

eMudhra to exit global SSL/TLS certificate business

1157 pointsposted 5 days ago

by bo0tzz

742 comments

F45 (Fedora 45) Final Is No-Go

31 pointsposted a day ago

by gnabgib

4 comments

Gemma-4-26B-A4B with 39-69% less thinking at same accuracy

126 pointsposted 4 days ago

by armcat

34 comments

macOS Extensions Pack for the Apple Network Server v1.0

3 pointsposted a day ago

by zdw

0 comments

The Chalk and the Airplane

27 pointsposted 5 days ago

by paulorlando

12 comments

Serbia's Vucic concedes election defeat in historic win for student movement

322 pointsposted a day ago

by consumer451

178 comments

Psilocybin Replaces Lost Synapses in Depressed Brains

19 pointsposted a day ago

by bookofjoe

0 comments

No signs of AI payoff outside the tech sector

638 pointsposted 2 days ago

by the-mitr

668 comments

Noyb win: German DPA finds microtargeting by major political parties illegal

25 pointsposted a day ago

by dgellow

2 comments

A Stackless Floodfill Automaton

3 pointsposted a day ago

by andsoitis

0 comments

Focused Company Operating Principles

24 pointsposted a day ago

by mooreds

15 comments

Crosscut – Drawing Dynamic Models

8 pointsposted a day ago

by andsoitis

0 comments

The HTML-in-Canvas API origin trial

123 pointsposted 4 days ago

by andrewstuart

63 comments

A farewell to Arc browser

286 pointsposted 4 days ago

by suhdonghwi

255 comments

Handwriting but not typewriting leads to widespread brain connectivity (2024)

6 pointsposted 16 hours ago

by thunderbong

0 comments

Securing our frontier model training environment

124 pointsposted 3 days ago

by pretext

121 comments

Anthropic rushing IPO before AI bubble bursts

15 pointsposted 13 hours ago

by nothrowaways

2 comments

Anthropic files for listing on US stock market: valuation of more than $1.5T

8 pointsposted 13 hours ago

by bookofjoe

1 comments

Parsing EDIFACT in Python with syntax trees

25 pointsposted 5 days ago

by alexprengere

17 comments

Cognitive Mercantilism: AI panic resembles fears of early capitalism

78 pointsposted a day ago

by ianand

107 comments

Remove pgrust: the entry is cheating (per-query kernels and result caching)

195 pointsposted 4 days ago

by f311a

162 comments

We have traits at home

56 pointsposted 4 days ago

by Ygg2

19 comments

The recently proposed o(n log n) integer multiplication algorithm [pdf]

314 pointsposted 5 days ago

by craigcitro

312 comments