HN Top Links - Popular Stories from Hacker News

1771.

Palantir partnership is at heart of Anthropic, Pentagon rift (semafor.com)

54 points by everybodyknows 3 weeks ago | 2 comments

1772.

Terence Tao: Formalizing a proof in Lean using Claude Code [video] (youtube.com)

54 points by helloplanets 3 days ago | 1 comments

1773.

The inner workings of TCP zero-copy (blog.tohojo.dk)

54 points by mfrw 1 week ago | 0 comments

1774.

I'm Not Consulting an LLM (lr0.org)

53 points by birdculture 4 days ago | 72 comments

1775.

Gemini Said They Could Only Be Together If He Killed Himself. Soon, He Was Dead (wsj.com)

53 points by psim1 1 week ago | 61 comments

1776.

Postgres Is Your Friend. ORM Is Not (hypha.pub)

53 points by MYEUHD 2 weeks ago | 49 comments

1777.

What I Learned After Building 3 TV Apps Coming from Mobile (dinkomarinac.dev)

53 points by dinko7 2 weeks ago | 47 comments

1778.

Devirtualization and Static Polymorphism (david.alvarezrosa.com)

53 points by dalvrosa 2 weeks ago | 40 comments

1779.

I audited the privacy of popular free dev tools, the results are terrifying (toolbox-kit.com)

53 points by WaitWaitWha 1 week ago | 29 comments

1780.

How many options fit into a boolean? (herecomesthemoon.net)

53 points by luu 5 days ago | 28 comments

1781.

Rethinking Syntax: Binding by Adjacency (github.com)

53 points by owlstuffing 4 days ago | 23 comments

1782.

Ten years of deploying to production (brandonvin.github.io)

53 points by mooreds 1 week ago | 22 comments

1783.

Points on a ring: An interactive walkthrough of a popular math problem (growingswe.com)

53 points by evakhoury 1 week ago | 20 comments

1784.

Math Notepad (mathnotepad.com)

53 points by the-mitr 1 week ago | 17 comments

1785.

DHS pausing TSA PreCheck, Global Entry programs amid funding lapse (nbcnews.com)

53 points by LopRabbit 2 weeks ago | 14 comments

1786.

Daemon (2006) (en.wikipedia.org)

53 points by solomonb 1 week ago | 13 comments

1787.

Anthropic has strong case against Pentagon blacklisting, legal experts say (reuters.com)

53 points by tartoran 1 day ago | 11 comments

1788.

Regulator contacts Meta over workers watching intimate AI glasses videos (bbc.com)

53 points by csomar 1 week ago | 11 comments

1789.

The history of knocking on wood (resobscura.substack.com)

53 points by benbreen 2 weeks ago | 9 comments

1790.

Show HN: Andrej Karpathy's microgpt.py to C99 microgpt.c – 4,600x faster (github.com)

53 points by Ajay__soni 3 weeks ago | 7 comments

1791.

Sending Jabber/XMPP Messages via HTTP (gultsch.de)

53 points by inputmice 2 days ago | 7 comments

1792.

Colored Petri Nets, LLMs, and distributed applications (blog.sao.dev)

53 points by stuartaxelowen 3 weeks ago | 6 comments

1793.

Inventing the Lisa user interface – Interactions (dl.acm.org)

53 points by rbanffy 2 weeks ago | 2 comments

1794.

First MacBook Neo Benchmarks Are In (macrumors.com)

52 points by tosh 6 days ago | 73 comments

1795.

I'm going to build my own OpenClaw, with blackjack and bun (github.com)

52 points by rcarmo 1 day ago | 68 comments

1796.

I ditched OpenClaw and built a more secure AI agent (Blink and Mac Mini) (coder.com)

52 points by ericpaulsen 3 weeks ago | 58 comments

1797.

Nvidia backs AI data center startup Nscale as it hits $14.6B valuation (cnbc.com)

52 points by voxadam 3 days ago | 54 comments

1798.

Ethiopia gets $350M World Bank financing for its digital ID project (2024) (mariblock.com)