A misalignment of AI in mathematics (mathandai.org)

696 points by meredydd 9 hours ago| 727 comments

1

I spent $220 on Google app ads and 60% of the installs were robots (dayzlegame.com)

345 points by nickabe 9 hours ago| 181 comments

2

A Design Space Exploration of Async/Await (cel.cs.brown.edu)

170 points by wcrichton 3 days ago| 37 comments

3

OpenAI agents carried out an undisclosed attack on RubyGems (rubyhack.ai)

402 points by chao- 4 hours ago| 231 comments

4

AI researchers debate how close we are to recursive self-improvement (dwarkesh.com)

56 points by artninja1988 5 hours ago| 39 comments

5

GrapheneOS' rewritten Messages app is released (github.com)

213 points by microtonal 8 hours ago| 133 comments

6

Project Blinkenlights (blinkenlights.de)

56 points by doener 5 hours ago| 23 comments

7

Litelm: LiteLLM Without the Bloat (github.com)

103 points by kennethwolters 9 hours ago| 38 comments

8

Show HN: ResolveHQ – A Helpdesk Built on Cloudflare Workers, D1, R2 and Queues (github.com)

34 points by mirza_rizvi 5 hours ago| 12 comments

9

Hepburn Romanization: How to Read Japanese in the Latin Alphabet (fink-translate.com)

24 points by miuraboy 2 days ago| 26 comments

10

Λ Snap – An inviting programming language for kids and adults for CS study (snap.berkeley.edu)

119 points by dr_kiszonka 9 hours ago| 62 comments

11

Mind-altering drugs played key role in rise of Andean civilization (science.org)

112 points by geneticdrifts 10 hours ago| 80 comments

12

AlphaGenome maps 9B DNA variants (spectrum.ieee.org)

73 points by ltononro 3 days ago| 6 comments

13

Starlink Signal Leakage Threatens Radio Astronomy's Most Critical Frequencies (gadgetreview.com)

48 points by upofadown 2 hours ago| 20 comments

14

I've operated petabyte-scale ClickHouse clusters for 5 years (tinybird.co)

181 points by adastral 4 days ago| 70 comments

15

The EPA is planning to scrap public review rules for data center pollution (capitalbnews.org)

374 points by doener 9 hours ago| 261 comments

16

Rune is now open source (rune.build)

151 points by ernestrc 11 hours ago| 55 comments

17

The oldest known Snakes and Ladders board is probably a forgery (en.quantumgame.love)

5 points by AlexLeela 2 days ago| 1 comment

18

Logo Programming Language (el.media.mit.edu)

244 points by azhenley 3 days ago| 103 comments

19

QueryBrew: System-Agnostic SQL-to-SQL Query Optimization [pdf] (vldb.org)

21 points by matt_d 5 hours ago| 8 comments

20

How we rebuilt complex permissions without migrating to Zanzibar (infisical.com)

29 points by FinnLobsien 2 days ago| 8 comments

21

Show HN: Bodily Oddities (vester.si)

173 points by vesterde a day ago| 141 comments

22

Claude is only available to people over 18 years (support.claude.com)

588 points by Muhammad523 16 hours ago| 609 comments

23

Zep AI (YC W24) Is Hiring a Head of Forward Deployed Engineering (getzep.com)

10 hours ago

24

Testing Race Conditions (projectzero.google)

19 points by alpaylan 2 days ago| 0 comments

25

Show HN: Graphify C# – Compiler-accurate Find Usages for coding agents (github.com)

9 points by zachsaw 3 hours ago| 7 comments

26

How Poor People Buy Cars (abio.substack.com)

55 points by barry-cotter an hour ago| 40 comments

27

CIA Releases President's Daily Briefs in Commemoration of 9/11 (cia.gov)

120 points by stmw 8 hours ago| 57 comments

28

RTK reports token savings, but our cost benchmarks disagree (quesma.com)

148 points by michalwarda 16 hours ago| 76 comments

29

Show HN: Godot and Rust based multiplexer (terminal panes and more) (github.com)

83 points by 1nv1n 11 hours ago| 42 comments

30
More...