Tony Hoare has died (blog.computationalcomplexity.org)

1086 points by speckx 6 hours ago| 152 comments

1

Agents that run while I sleep (claudecodecamp.com)

79 points by aray07 an hour ago| 56 comments

2

Yann LeCun raises $1B to build AI that understands the physical world (wired.com)

155 points by helloplanets 12 hours ago| 266 comments

3

RISC-V Is Sloooow (marcin.juszkiewicz.com.pl)

15 points by todsacerdoti 15 minutes ago| 3 comments

4

Launch HN: RunAnywhere (YC W26) – Faster AI Inference on Apple Silicon (github.com)

141 points by sanchitmonga22 3 hours ago| 56 comments

5

Widevine retiring its Cloud License Service (CLS) (castlabs.com)

30 points by dabinat an hour ago| 20 comments

6

HyperCard discovery: Neuromancer, Count Zero, Mona Lisa Overdrive (2022) (macintoshgarden.org)

31 points by naves an hour ago| 5 comments

7

Debian decides not to decide on AI-generated contributions (lwn.net)

214 points by jwilk 6 hours ago| 170 comments

8

Billion-Parameter Theories (worldgov.org)

67 points by seanlinehan 3 hours ago| 37 comments

9

FFmpeg-over-IP – Connect to remote FFmpeg servers (github.com)

38 points by steelbrain 2 hours ago| 16 comments

10

Levels of Agentic Engineering (bassimeledath.com)

47 points by bombastic311 12 hours ago| 26 comments

11

After outages, Amazon to make senior engineers sign off on AI-assisted changes (arstechnica.com)

14 points by ndr42 7 hours ago| 201 comments

12

Intel Demos Chip to Compute with Encrypted Data (spectrum.ieee.org)

184 points by sohkamyung 7 hours ago| 67 comments

13

Open Weights isn't Open Training (workshoplabs.ai)

46 points by addiefoote8 21 hours ago| 15 comments

14

Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy (gitlab.redox-os.org)

326 points by pjmlp 12 hours ago| 334 comments

15

Rebasing in Magit (entropicthoughts.com)

152 points by ibobev 7 hours ago| 106 comments

16

Defeat as Method (cabinetmagazine.org)

27 points by akbarnama 3 hours ago| 2 comments

17

I put my whole life into a single database (howisfelix.today)

372 points by lukakopajtic 10 hours ago| 181 comments

18

Show HN: How I Topped the HuggingFace Open LLM Leaderboard on Two Gaming GPUs (dnhkng.github.io)

196 points by dnhkng 7 hours ago| 71 comments

19

Meta acquires Moltbook (axios.com)

292 points by mmayberry 6 hours ago| 196 comments

20

Because Algospeak (tbray.org)

13 points by zdw 3 days ago| 1 comment

21

Launch HN: Didit (YC W26) – Stripe for Identity Verification

40 points by rosasalberto 5 hours ago| 44 comments

22

I built a programming language using Claude Code (ankursethi.com)

76 points by GeneralMaximus 4 hours ago| 104 comments

23

Surpassing vLLM with a Generated Inference Stack (infinity.inc)

21 points by lukebechtel 5 hours ago| 6 comments

24

I used pulsar detection techniques to turn a phone into a watch timegrapher (chronolog.watch)

47 points by tylerjaywood 3 days ago| 12 comments

25

RFC 454545 – Human Em Dash Standard (gist.github.com)

102 points by jdauriemma 6 hours ago| 93 comments

26

Converting Binary Floating-Point Numbers to Shortest Decimal Strings (onlinelibrary.wiley.com)

8 points by matt_d 4 days ago| 0 comments

27

The Gervais Principle, or the Office According to “The Office” (2009) (ribbonfarm.com)

260 points by janandonly 3 days ago| 114 comments

28

The Enterprise Context Layer (andychen32.substack.com)

30 points by zachperkel 5 hours ago| 5 comments

29

Online age-verification tools for child safety are surveilling adults (cnbc.com)

418 points by bilsbie 8 hours ago| 260 comments

30
More...