hackernews client

news

Page 938

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

462 pointsposted 4 days ago

by johnbender

311 comments

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

33 pointsposted a day ago

by input_sh

1 comments

Dream-1

180 pointsposted 2 days ago

by GaggiX

77 comments

F45 (Fedora 45) Final Is No-Go

31 pointsposted a day ago

by gnabgib

4 comments

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

665 pointsposted 5 days ago

by oidar

728 comments

macOS Extensions Pack for the Apple Network Server v1.0

3 pointsposted a day ago

by zdw

0 comments

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

322 pointsposted a day ago

by consumer451

177 comments

eMudhra to exit global SSL/TLS certificate business

1157 pointsposted 5 days ago

by bo0tzz

742 comments

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

126 pointsposted 3 days ago

by armcat

34 comments

Psilocybin Replaces Lost Synapses in Depressed Brains

19 pointsposted a day ago

by bookofjoe

0 comments

The Chalk and the Airplane

27 pointsposted 5 days ago

by paulorlando

12 comments

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

25 pointsposted a day ago

by dgellow

2 comments

Anthropic rushing IPO before AI bubble bursts

15 pointsposted 13 hours ago

by nothrowaways

2 comments

Cognitive Mercantilism: AI panic resembles fears of early capitalism

78 pointsposted a day ago

by ianand

105 comments

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

6 pointsposted 16 hours ago

by thunderbong

0 comments

No signs of AI payoff outside the tech sector

638 pointsposted 2 days ago

by the-mitr

668 comments

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

8 pointsposted 13 hours ago

by bookofjoe

1 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

Securing our frontier model training environment

124 pointsposted 3 days ago

by pretext

121 comments

Walter Koenig, star of Star Trek, dies aged 90

10 pointsposted 7 hours ago

by austinallegro

0 comments

Parsing EDIFACT in Python with syntax trees

25 pointsposted 4 days ago

by alexprengere

17 comments

Ink droplets in motion snag top prize in Nikon Small World contest

6 pointsposted a day ago

by _Microft

0 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

Evolving Threat: http2shell is an RCE in Node, Python, and more

186 pointsposted 3 days ago

by cowlevel

95 comments

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

314 pointsposted 5 days ago

by craigcitro

312 comments