Coffeematic PC – A coffee maker computer that pumps hot coffee to the CPU (dougmacdowell.com)

13 points by dougdude3339 36m ago 1 comments

Does the Bitter Lesson Have Limits? (dbreunig.com)

53 points by dbreunig 2h ago 23 comments

Cerebras Code (cerebras.ai)

9 points by d3vr 24m ago 0 comments

Show HN: Draw a fish and watch it swim with the others (drawafish.com)

696 points by hallak 3d ago 193 comments

Researchers map where solar energy delivers the biggest climate payoff (rutgers.edu)

32 points by rbanffy 2h ago 6 comments

Twentyseven 1.0 (blog.poisson.chat)

6 points by 082349872349872 19m ago 0 comments

I couldn't submit a PR, so I got hired and fixed it myself (skeptrune.com)

149 points by skeptrune 5h ago 69 comments

Deep Agents (blog.langchain.com)

70 points by saikatsg 3h ago 24 comments

Gemini 2.5 Deep Think (blog.google)

365 points by meetpateltech 11h ago 186 comments

Self-Signed JWTs (selfref.com)

48 points by danscan 4h ago 19 comments

Ask HN: Who is hiring? (August 2025)

120 points by whoishiring 7h ago 171 comments

Google shifts goo.gl policy: Inactive links deactivated, active links preserved (blog.google)

155 points by shuuji3 4h ago 117 comments

JSON is not a YAML subset (2022) (john-millikin.com)

13 points by AndrewDucker 1h ago 1 comments

The criminal enterprise run by monkeys (wsj.com)

8 points by mathattack 2d ago 4 comments

Anthropic Revokes OpenAI's Access to Claude (wired.com)

21 points by minimaxir 38m ago 5 comments

Supporting the BEAM community with free CI/CD security audits (erlang-solutions.com)

73 points by todsacerdoti 6h ago 13 comments

Coverage Cat (YC S22) Is Hiring a Senior, Staff, or Principal Engineer (coveragecat.com)

1 points by botacode 5h ago 0 comments

Build an AI telephony agent for inbound and outbound calls (github.com)

33 points by sagarkava 2d ago 13 comments

Ergonomic keyboarding with the Svalboard: a half-year retrospective (twey.io)

57 points by Twey 5h ago 20 comments

Make Your Own Backup System – Part 2: Forging the FreeBSD Backup Stronghold (it-notes.dragas.net)

73 points by todsacerdoti 3d ago 1 comments

Hyrum's Law (hyrumslaw.com)

81 points by andsoitis 7h ago 46 comments

At 17, Hannah Cairo solved a major math mystery (quantamagazine.org)

172 points by baruchel 5h ago 91 comments

Launch HN: Societies.io (YC W25) – AI simulations of your target audience

61 points by p-sharpe 10h ago 39 comments

A DH106 1A Comet has been restored at the de Havilland Aircraft Museum (cnn.com)

32 points by rmason 3d ago 11 comments

Show HN: TraceRoot – Open-source agentic debugging for distributed services (github.com)

19 points by xinweihe 5h ago 2 comments

Ask HN: Who wants to be hired? (August 2025)

58 points by whoishiring 7h ago 146 comments

When Flatpak's Sandbox Cracks (linuxjournal.com)

14 points by dxs 2h ago 9 comments

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

144 points by tlf 4d ago 75 comments

Corporation for Public Broadcasting ceasing operations (cpb.org)

477 points by coloneltcb 5h ago 455 comments

Replacing tmux in my dev workflow (bower.sh)

213 points by elashri 13h ago 254 comments

Fast (2019) (patrickcollison.com)

72 points by samuel246 7h ago 19 comments

Pseudo, a Common Lisp macro for pseudocode expressions (funcall.blogspot.com)

59 points by reikonomusha 3d ago 4 comments

Our Farewell from Google Play (secuso.aifb.kit.edu)

208 points by shakna 13h ago 74 comments

Bad UX (google.com)

84 points by liquid99 3h ago 38 comments

Show HN: An interactive dashboard to explore NYC rentals data (leaseswap.nyc)

64 points by giulioco 2d ago 46 comments

DeepSeek won the best paper award at ACL 2025 (arxiv.org)

9 points by CalmStorm 2h ago 1 comments

OpenAI raises $8.3B at $300B valuation (nytimes.com)

171 points by mfiguiere 8h ago 195 comments

U.S. fires statistics chief after soft jobs report (politico.com)

15 points by JumpCrisscross 26m ago 1 comments

How Hyper built a 1M-accurate indoor GPS (andrewhart.me)

82 points by AndrewHart 3d ago 58 comments

Dynamic programming bursting balloons (sylhare.github.io)

7 points by ingve 2d ago 4 comments

The AI age is the "age of no consent" (productpicnic.beehiiv.com)

19 points by BallsInIt 4h ago 2 comments

Yes in My Bamako Yard (asteriskmag.com)

55 points by surprisetalk 4d ago 13 comments

Atlassian terminates 150 staff (cyberdaily.au)

183 points by speckx 3h ago 132 comments

Show HN: Pontoon – Open-source customer data syncs (github.com)

32 points by alexdriedger 7h ago 8 comments

Qwen3 Coder 480B is Live on Cerebras (cerebras.ai)

17 points by retreatguru 4h ago 6 comments

Design patterns you should unlearn in Python (lihil.cc)

75 points by zeitlupe 5h ago 78 comments

The untold impact of cancellation (pretty.direct)

293 points by cbeach 10h ago 341 comments

I Created a Pop Star Using AI, and She's Dropping an Album in 2065 (lumavemusic.com)

7 points by leorapini 3h ago 6 comments

Tested: Microsoft Recall can still capture credit cards and passwords (theregister.com)

41 points by rntn 2h ago 8 comments

Commissioner of labor statistics fired after weaker-than-expected jobs figures (cnbc.com)

36 points by belter 3h ago 9 comments

How to Write Inductive Invariants

2 todsacerdoti 0 8/1/2025, 2:51:39 PM quint-lang.org ↗

Comments (0)

No comments yet