news

prev

Page 2661

next

A whirlwind tour of systemd-nspawn containers (2025)

55 pointsposted 4 days ago
by ibobev

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

462 pointsposted 5 days ago
by johnbender

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

665 pointsposted 5 days ago
by oidar

eMudhra to exit global SSL/TLS certificate business

1157 pointsposted 5 days ago
by bo0tzz

Progressive disclosure in agents to make them 2.3x faster

21 pointsposted 3 days ago
by suchintan

SS United States to be sunk as largest artificial reef

5 pointsposted a day ago
by geox

Pentagon orders bases to plan for 90 days without the grid

10 pointsposted 10 hours ago
by russfink

Show HN: Steal My Bitcoin

616 pointsposted 3 days ago
by cloudlandsdev

Microsoft offers buyouts to around 60k employees to contain costs

7 pointsposted 20 hours ago
by ibn_khaldun

Anthropic files S-1 with the SEC for proposed initial public offering

25 pointsposted a day ago
by meetpateltech

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

126 pointsposted 4 days ago
by armcat

I will no longer be uploading to the Debian NEW queue

6 pointsposted 14 hours ago
by phoronixrly

A farewell to Arc browser

286 pointsposted 5 days ago
by suhdonghwi

Dream-1

180 pointsposted 3 days ago
by GaggiX

The Small Web is Huge [video]

3 pointsposted 15 hours ago
by Curiositry

The HTML-in-Canvas API origin trial

123 pointsposted 5 days ago
by andrewstuart

Upwelling – Combining real-time collaboration with version control for writers

5 pointsposted 2 days ago
by andsoitis

Monoidal computer I: Basic computability by string diagrams (2012)

16 pointsposted 5 days ago
by measurablefunc

Securing our frontier model training environment

125 pointsposted 4 days ago
by pretext

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

195 pointsposted 4 days ago
by f311a

We have traits at home

56 pointsposted 5 days ago
by Ygg2

No signs of AI payoff outside the tech sector

641 pointsposted 3 days ago
by the-mitr

Police Pulling People over Because AI Deems Their Driving Patterns "Suspicious"

10 pointsposted 16 hours ago
by voxadam

How we made our MMDB files a 33% smaller

8 pointsposted 2 days ago
by mmaia

ICE plan to buy robot dogs spurs protest from Boston Dynamics employees

7 pointsposted 7 hours ago
by dataflow

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

186 pointsposted 4 days ago
by cowlevel

Who killed the EV cert? A browser whodunit for Halloween

30 pointsposted 4 days ago
by roddylindsay

Ask HN: Is it not possible to enroll for Apple Developer anymore?

31 pointsposted 2 days ago
by olalonde

Parsing EDIFACT in Python with syntax trees

25 pointsposted 5 days ago
by alexprengere

MPs moving to restrict gambling ads in Canada

265 pointsposted 5 days ago
by Teever