Terence Tao's NSF grants suspended (bsky.app)

74 points by xqcgrek2 41m ago 24 comments

Every satellite orbiting earth and who owns them (2023) (dewesoft.com)

158 points by jonbaer 6h ago 71 comments

How to Secure a Linux Server (github.com)

38 points by redbell 1h ago 31 comments

Slow (michaelnotebook.com)

813 points by calvinfo 17h ago 194 comments

How Hyper Built a 1m-Accurate Indoor GPS (andrewhart.me)

18 points by AndrewHart 2d ago 14 comments

Releasing weights for FLUX.1 Krea (krea.ai)

318 points by vmatsiiako 22h ago 92 comments

The anti-abundance critique on housing is wrong (derekthompson.org)

387 points by rbanffy 14h ago 561 comments

PHP-ORT: Machine learning inference for the web (krakjoe.github.io)

58 points by Bogdanp 2d ago 13 comments

Living with an Apple Lisa [video] (youtube.com)

27 points by zdw 3d ago 0 comments

QUIC for the kernel (lwn.net)

291 points by Bogdanp 20h ago 197 comments

Ubiquiti launches UniFi OS Server for self-hosting (lazyadmin.nl)

332 points by speckx 20h ago 264 comments

MacBook Pro Insomnia (manuel.bernhardt.io)

439 points by speckx 22h ago 203 comments

“No tax on tips” is an industry plant (newyorker.com)

147 points by littlexsparkee 14h ago 308 comments

Gemini Embedding: Powering RAG and context engineering (developers.googleblog.com)

244 points by simonpure 19h ago 82 comments

Show HN: I made a website that makes you cry (cryonceaweek.com)

236 points by johnnymaroney 4d ago 176 comments

Many countries that said no to ChatControl in 2024 are now undecided (digitalcourage.social)

420 points by nickslaughter02 1d ago 305 comments

You might not need tmux (bower.sh)

84 points by elashri 3h ago 82 comments

Pride Versioning 0.3.0 (pridever.org)

35 points by laacz 2h ago 9 comments

Programmers aren’t so humble anymore, maybe because nobody codes in Perl (wired.com)

114 points by Timothee 2d ago 133 comments

Rao Reading Algorithm (2024) (raohacker.com)

14 points by surprisetalk 2d ago 6 comments

Show HN: Rewindtty – Record and replay terminal sessions as structured JSON (github.com)

4 points by debba 3d ago 4 comments

Show HN: Mcp-use – Connect any LLM to any MCP (github.com)

130 points by pzullo 19h ago 61 comments

Raspberry Pi 5 Gets a MicroSD Express Hat (cnx-software.com)

76 points by geerlingguy 4d ago 54 comments

Show HN: AgentMail – Email infra for AI agents (chat.agentmail.to)

95 points by Haakam21 22h ago 59 comments

Face it: you're a crazy person (experimental-history.com)

622 points by surprisetalk 3d ago 332 comments

Show HN: KubeForge – A GUI for Kubernetes YAMLs (github.com)

51 points by rakeda 9h ago 16 comments

Scientists and engineers craft radio telescope bound for the moon (bnl.gov)

32 points by gnabgib 3d ago 3 comments

Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code

58 points by jjjutla 19h ago 29 comments

The Math Is Haunted (overreacted.io)

389 points by danabramov 1d ago 181 comments

Carbon Language: An experimental successor to C++ (docs.carbon-lang.dev)

132 points by samuell 21h ago 140 comments

150 years of Hans Christian Andersen (newstatesman.com)

130 points by wholeness 1d ago 51 comments

Kaizen (YC X25) is hiring engineers to build browser agents that work (kaizenautomation.com)

1 points by michaelssilver 19h ago 0 comments

How was the Universal Pictures 1936 opening logo created? (movies.stackexchange.com)

505 points by azeemba 1d ago 67 comments

AI is a floor raiser, not a ceiling raiser (elroy.bot)

328 points by jjfoooo4 19h ago 186 comments

Zig Profiling on Apple Silicon (blog.bugsiki.dev)

109 points by signa11 3d ago 25 comments

LLM leaderboard – Comparing models from OpenAI, Google, DeepSeek and others (artificialanalysis.ai)

55 points by bookofjoe 9h ago 38 comments

OpenAI's ChatGPT Agent casually clicks through "I am not a robot" verification (arstechnica.com)

232 points by joak 3d ago 266 comments

Replacing cron jobs with a centralized task scheduler (mayhul.com)

80 points by tlf 3d ago 54 comments

Telephone colophon: Or, how I overengineered my call audio (2020) (noahliebman.net)

26 points by mafro 3d ago 7 comments

Denver rent is back to 2022 prices after 20k new units hit the market (denverite.com)

276 points by matthest 15h ago 316 comments

We revamped our docs for AI-driven development (docs.freestyle.sh)

83 points by benswerd 5d ago 28 comments

What is gVisor? (blog.yelinaung.com)

112 points by yla92 22h ago 52 comments

Dark patterns (nsw.gov.au)

105 points by ColinWright 23h ago 47 comments

Mountain of Ink (mountainofink.com)

93 points by neilfrndes 3d ago 64 comments

Show HN: Sourcebot – Self-hosted Perplexity for your codebase (github.com)

89 points by bshzzle 1d ago 21 comments

Fast (catherinejue.com)

1515 points by gaplong 1d ago 424 comments

Secure boot certificate rollover is real but probably won't hurt you (mjg59.dreamwidth.org)

134 points by zdw 18h ago 88 comments

Problem solving using Markov chains (2007) [pdf] (math.uchicago.edu)

285 points by Alifatisk 1d ago 96 comments

Following Up on the Python JIT (lwn.net)

87 points by Bogdanp 3d ago 47 comments

Windows Directory Structure Synchronizer (github.com)

13 points by fernvenue 3d ago 3 comments

Ford Takes $800M Tariff Hit, Posts First Loss Since 2023

7 petethomas 1 7/30/2025, 11:05:51 PM wsj.com ↗

Comments (1)

mitchbob · 1d ago

https://archive.ph/13kHH