Claude Sonnet 4 now supports 1M tokens of context (anthropic.com)

771 points by adocomplete 6h ago 417 comments

Ashet Home Computer (ashet.computer)

152 points by todsacerdoti 3h ago 31 comments

Journaling using Nix, Vim and coreutils (tangled.sh)

43 points by icy 8h ago 11 comments

Show HN: Building a web search engine from scratch with 3B neural embeddings (blog.wilsonl.in)

258 points by wilsonzlin 6h ago 44 comments

The Missing Protocol: Let Me Know (deanebarker.net)

41 points by deanebarker 2h ago 22 comments

Show HN: Omnara – Run Claude Code from anywhere (github.com)

175 points by kmansm27 6h ago 74 comments

Multimodal WFH setup: flight SIM, EE lab, and music studio in 60sqft/5.5M² (sdo.group)

156 points by brunohaid 3d ago 72 comments

Training language models to be warm and empathetic makes them less reliable (arxiv.org)

175 points by Cynddl 9h ago 175 comments

Blender is Native on Windows 11 on Arm (thurrott.com)

81 points by thunderbong 3d ago 22 comments

WHY2025: How to become your own ISP [video] (media.ccc.de)

68 points by exiguus 6h ago 5 comments

A gentle introduction to anchor positioning (webkit.org)

9 points by feross 37m ago 1 comments

Launch HN: Design Arena (YC S25) – Head-to-head AI benchmark for aesthetics

50 points by grace77 6h ago 23 comments

Galileo’s telescopes: Seeing is believing (2010) (historytoday.com)

6 points by hhs 2d ago 1 comments

Debian GNU/Hurd 2025 released (lists.debian.org)

158 points by jrepinc 2d ago 67 comments

Dumb to managed switch conversion (2010) (spritesmods.com)

24 points by userbinator 3d ago 5 comments

Why are there so many rationalist cults? (asteriskmag.com)

332 points by glenstein 7h ago 484 comments

How to safely escape JSON inside HTML SCRIPT elements (sirre.al)

57 points by dmsnell 4d ago 36 comments

Weave (YC W25) is hiring a founding AI engineer (ycombinator.com)

1 points by adchurch 5h ago 0 comments

The Equality Delete Problem in Apache Iceberg (blog.dataengineerthings.org)

33 points by dkgs 4h ago 12 comments

LLMs aren't world models (yosefk.com)

184 points by ingve 2d ago 89 comments

RISC-V single-board computer for less than 40 euros (heise.de)

115 points by doener 4d ago 63 comments

Modos Paper Monitor – Open-hardware e-paper monitor and dev kit (crowdsupply.com)

308 points by RossBencina 4d ago 73 comments

Go 1.25 Release Notes (go.dev)

32 points by bitbasher 1h ago 3 comments

Crypto founder Do Kwon pleads guilty to US fraud charges (ft.com)

21 points by TechTechTech 1h ago 6 comments

Australian court finds Apple, Google guilty of being anticompetitive (ghacks.net)

298 points by warrenm 9h ago 110 comments

Nexus: An Open-Source AI Router for Governance, Control and Observability (nexusrouter.com)

69 points by mitchwainer 8h ago 17 comments

Evaluating LLMs Playing Text Adventures (entropicthoughts.com)

83 points by todsacerdoti 7h ago 54 comments

Writing is power transfer technology (danco.substack.com)

27 points by jger15 6h ago 7 comments

H-1B Visa Changes Approved by White House (newsweek.com)

90 points by ivewonyoung 4h ago 128 comments

Monero appears to be in the midst of a successful 51% attack (twitter.com)

431 points by treyd 10h ago 196 comments

Claude vs. Gemini: Testing on 1M Tokens of Context (every.to)

117 points by dshipper 5h ago 32 comments

A Suicide Cult's Surviving Members Still Maintain Its 90s Website (vice.com)

14 points by jameslk 1h ago 3 comments

Show HN: I accidentally built a startup idea validation tool (validationly.com)

9 points by kptbarbarossa 2h ago 15 comments

Exile Economics: If Globalisation Fails (lrb.co.uk)

60 points by mitchbob 3h ago 49 comments

Enlisting in the Fight Against Link Rot (jszym.com)

156 points by jszymborski 8h ago 98 comments

Starbucks in Korea asks customers to stop bringing in printers/desktop computers (fortune.com)

177 points by zdw 1d ago 195 comments

Wikipedia loses challenge against Online Safety Act (bbc.com)

1039 points by phlummox 1d ago 809 comments

StarDict sends X11 clipboard to remote servers (lwn.net)

448 points by pabs3 18h ago 293 comments

I tried every todo app and ended up with a .txt file (al3rez.com)

1274 points by al3rez 1d ago 741 comments

Artificial biosensor can better measure the body's main stress hormone (medicalxpress.com)

68 points by PaulHoule 4d ago 28 comments

Qodo CLI agent scores 71.2% on SWE-bench Verified (qodo.ai)

129 points by bobismyuncle 11h ago 46 comments

AI Is Forcing the Return of the In-Person Job Interview (msn.com)

3 points by jnord 34m ago 1 comments

The Ancient Art and Intimate Craft of Artificial Eyes (thereader.mitpress.mit.edu)

28 points by gmays 3d ago 0 comments

A Spellchecker Used to Be a Major Feat of Software Engineering (prog21.dadgum.com)

128 points by Bogdanp 3d ago 116 comments

Can modern LLMs count the number of b's in "blueberry"? (minimaxir.com)

28 points by minimaxir 6h ago 74 comments

New 3D Laser Scanner Developed for Harvesting Robots (uni-wuerzburg.de)

11 points by PaulHoule 7h ago 4 comments

GLM-4.5: Agentic, Reasoning, and Coding (ARC) Foundation Models [pdf] (arxiv.org)

387 points by SerCe 21h ago 76 comments

Show HN: I built an offline, open‑source desktop Pixel Art Editor in Python (github.com)

200 points by danterolle 1d ago 61 comments

GitHub was having issues (githubstatus.com)

331 points by rock_artist 8h ago 204 comments

All known 49-year-old Apple-1 computers (apple1registry.com)

147 points by elvis70 4d ago 32 comments

PProlog: A Prolog for Plan 9

15 triska 3 8/12/2025, 5:55:26 PM prolog.pmikkelsen.com ↗

Comments (3)

simne · 54m ago

Unfortunately, link to wambook.pdf expired, but archive.org have snapshot from 2020.

simne · 48m ago

It's sad of course, but looks like now project is orphan.

skruger · 1h ago

The author also wrote an APL for Plan9: https://apl.pmikkelsen.com/