news

prev

Page 559

next

Software Foundations Series

8 pointsposted a day ago
by iamanatom

Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code

114 pointsposted 3 days ago
by permute

A Texture Lookup Approach to Bézier Curve Evaluation on the GPU (JCGT)

38 pointsposted 2 days ago
by ibobev

Zig's Incremental Compilation Internals

273 pointsposted 3 days ago
by garyhtou

Does Speaking to Agents Like Cavemen Save 65% of Tokens? We Test

44 pointsposted 3 days ago
by Sandman

"the very foundation of modern academia has been blown to bits"

47 pointsposted 12 hours ago
by telotortium

How real are real numbers? (2004)

96 pointsposted 4 days ago
by surprisetalk

Solving Fermat: Andrew Wiles

84 pointsposted 4 days ago
by 1970-01-01

ALP: Adaptive lossless floating-point compression

34 pointsposted 6 days ago
by fanf2

'My life's screwed': Korean investors stress out after AI bubble bursts

56 pointsposted a day ago
by scrlk

New HIV vaccine shows unprecedented success in preclinical study

656 pointsposted 3 days ago
by codebyaditya

Self-contained highly-portable Python distributions

164 pointsposted 4 days ago
by jcbhmr

OpenDerm – Open-source robotic 3D skin imaging

18 pointsposted 2 days ago
by avyfain

Show HN: RunNburn – Run a 295B Moe from a 98GB GGUF on a 64GB RAM Desktop

11 pointsposted 2 days ago
by coderredlab

The motion-sickness cure hidden in iPhone settings

55 pointsposted 2 days ago
by saikatsg

Microsoft's $450B Jump Is Biggest in Stock Market History

18 pointsposted 18 hours ago
by signatoremo

Ask HN: Can Apple Ever Be Disrputed?

4 pointsposted 11 hours ago
by Taikhoom2010

Show HN: XQL, a query language for screening market data

4 pointsposted a day ago
by guzzul

Show HN: Dreeve, a self-hosted dashboard for your sports and fitness data

16 pointsposted 2 days ago
by frogfuhrer

Handling environment variables in Emacs on OS X and Linux

6 pointsposted 21 hours ago
by speckx

The iPhone Upgrade Program is being replaced by Apple Upgrade

206 pointsposted 3 days ago
by lkurtz

How your software will fail at scale [video]

6 pointsposted 11 hours ago
by azhenley

AI Agent Authentication and Authorization (IETF Internet-Draft)

4 pointsposted 21 hours ago
by jhgaylor

Can AI agents conduct open-ended AI research?

5 pointsposted 21 hours ago
by randomwalker

PGSimCity - How PostgreSQL Works

926 pointsposted 5 days ago
by jonbaer

Exploiting Volvo/Eicher's fleet platform to gain control over all users/vehicles

163 pointsposted 4 days ago
by EatonZ

The only road in London where you have to drive on the right

38 pointsposted 2 days ago
by theanonymousone

VLC for Unity now supported on Linux

168 pointsposted 4 days ago
by martz

Anthropic says Claude hacked three companies during tests

17 pointsposted 14 hours ago
by nerder92

Sam Altman is now talking to the White House about decelerating AI

44 pointsposted a day ago
by abhishekdev