A misalignment of AI in mathematics (mathandai.org)
694 points by meredydd 9 hours ago | 723 comments
I spent $220 on Google app ads and 60% of the installs were robots (dayzlegame.com)
341 points by nickabe 9 hours ago | 180 comments
A Design Space Exploration of Async/Await (cel.cs.brown.edu)
167 points by wcrichton 3 days ago | 37 comments
OpenAI agents carried out an undisclosed attack on RubyGems (rubyhack.ai)
397 points by chao- 4 hours ago | 230 comments
AI researchers debate how close we are to recursive self-improvement (dwarkesh.com)
52 points by artninja1988 5 hours ago | 35 comments
GrapheneOS' rewritten Messages app is released (github.com)
211 points by microtonal 8 hours ago | 133 comments
Project Blinkenlights (blinkenlights.de)
56 points by doener 5 hours ago | 23 comments
Litelm: LiteLLM Without the Bloat (github.com)
102 points by kennethwolters 9 hours ago | 38 comments
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
Λ 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
Mind-altering drugs played key role in rise of Andean civilization (science.org)
112 points by geneticdrifts 10 hours ago | 80 comments
How Poor People Buy Cars (abio.substack.com)
47 points by barry-cotter an hour ago | 38 comments
Hepburn Romanization: How to Read Japanese in the Latin Alphabet (fink-translate.com)
23 points by miuraboy 2 days ago | 26 comments
AlphaGenome maps 9B DNA variants (spectrum.ieee.org)
72 points by ltononro 3 days ago | 6 comments
I've operated petabyte-scale ClickHouse clusters for 5 years (tinybird.co)
181 points by adastral 4 days ago | 68 comments
The EPA is planning to scrap public review rules for data center pollution (capitalbnews.org)
374 points by doener 9 hours ago | 258 comments
Starlink Signal Leakage Threatens Radio Astronomy's Most Critical Frequencies (gadgetreview.com)
45 points by upofadown 2 hours ago | 20 comments
Rune is now open source (rune.build)
150 points by ernestrc 11 hours ago | 55 comments
The oldest known Snakes and Ladders board is probably a forgery (en.quantumgame.love)
5 points by AlexLeela 2 days ago | 1 comments
Logo Programming Language (el.media.mit.edu)
244 points by azhenley 3 days ago | 103 comments
QueryBrew: System-Agnostic SQL-to-SQL Query Optimization [pdf] (vldb.org)
21 points by matt_d 5 hours ago | 8 comments
How we rebuilt complex permissions without migrating to Zanzibar (infisical.com)
29 points by FinnLobsien 2 days ago | 8 comments
Show HN: Bodily Oddities (vester.si)
173 points by vesterde a day ago | 141 comments
Zep AI (YC W24) Is Hiring a Head of Forward Deployed Engineering (getzep.com)
null points by null 10 hours ago | 0 comments
Claude is only available to people over 18 years (support.claude.com)
588 points by Muhammad523 16 hours ago | 609 comments
Testing Race Conditions (projectzero.google)
19 points by alpaylan 2 days ago | 0 comments
Show HN: Graphify C# – Compiler-accurate Find Usages for coding agents (github.com)
9 points by zachsaw 3 hours ago | 7 comments
CIA Releases President's Daily Briefs in Commemoration of 9/11 (cia.gov)
120 points by stmw 8 hours ago | 57 comments
RTK reports token savings, but our cost benchmarks disagree (quesma.com)
148 points by michalwarda 16 hours ago | 76 comments
Show HN: Godot and Rust based multiplexer (terminal panes and more) (github.com)
83 points by 1nv1n 11 hours ago | 42 comments