A misalignment of AI in mathematics

572 points • 665 comments • 8 hours ago • mathandai.org

I spent $220 on Google app ads and 60% of the installs were robots

242 points • 137 comments • 7 hours ago • dayzlegame.com

OpenAI agents carried out an undisclosed attack on RubyGems

133 points • 63 comments • 2 hours ago • rubyhack.ai

A Design Space Exploration of Async/Await

107 points • 22 comments • 2 days ago • cel.cs.brown.edu

GrapheneOS' rewritten Messages app is released

179 points • 112 comments • 7 hours ago • github.com

Project Blinkenlights

32 points • 13 comments • 3 hours ago • blinkenlights.de

AI researchers debate how close we are to recursive self-improvement

4 points • 0 comments • 4 hours ago • dwarkesh.com

Show HN: ResolveHQ – A Helpdesk Built on Cloudflare Workers, D1, R2 and Queues

21 points • 9 comments • 4 hours ago • github.com

Litelm: LiteLLM Without the Bloat

89 points • 37 comments • 8 hours ago • github.com

Mind-altering drugs played key role in rise of Andean civilization

88 points • 69 comments • 8 hours ago • science.org

Λ Snap – An inviting programming language for kids and adults for CS study

103 points • 54 comments • 8 hours ago • snap.berkeley.edu

AlphaGenome maps 9B DNA variants

64 points • 6 comments • 3 days ago • spectrum.ieee.org

Rune is now open source

132 points • 56 comments • 10 hours ago • rune.build

Hepburn Romanization: How to Read Japanese in the Latin Alphabet

14 points • 3 comments • 2 days ago • fink-translate.com

The EPA is planning to scrap public review rules for data center pollution

318 points • 226 comments • 8 hours ago • capitalbnews.org

I've operated petabyte-scale ClickHouse clusters for 5 years

171 points • 66 comments • 4 days ago • tinybird.co

Show HN: Graphify C# – Compiler-accurate Find Usages for coding agents

7 points • 3 comments • 1 hour ago • github.com

QueryBrew: System-Agnostic SQL-to-SQL Query Optimization [pdf]

12 points • 2 comments • 3 hours ago • vldb.org

Starlink Signal Leakage Threatens Radio Astronomy's Most Critical Frequencies

22 points • 1 comment • 1 hour ago • gadgetreview.com

Logo Programming Language

236 points • 101 comments • 3 days ago • el.media.mit.edu