Hacker News

1.		Why Book Corners won't sync contributions back to OpenStreetMap (andreagrandi.it)
		37 points by pizzaiolo 1 hour ago \| hide \| 13 comments
2.		CP/M-386 – CP/M for 386 protected mode, derived from CP/M‑68K (github.com/johnsonjh)
		17 points by TMWNN 1 hour ago \| hide \| 4 comments
3.		Karpathy’s Pelican (twitter.com/karpathy)
		440 points by delichon 10 hours ago \| hide \| 340 comments
4.		Autoregressive Language Model on the 6502 Processor (mattbeton.com)
		57 points by nmstoker 4 hours ago \| hide \| 6 comments
5.		Show HN: Isopolis – isometric pixel map of SF (isopolis.city)
		18 points by nuwandavek 1 hour ago \| hide \| 3 comments
6.		Show HN: Kakehashi – Experimental userspace to run macOS binaries on Linux ARM (github.com/wie-project)
		183 points by vlad_kalinkin 9 hours ago \| hide \| 38 comments
7.		Note-Taking and Personal Knowledge Management (unattributed.cc)
		131 points by surprisetalk 7 hours ago \| hide \| 38 comments
8.		Developers are attached to tools because tools encode trust (stackoverflow.blog)
		150 points by HieronymusBosch 9 hours ago \| hide \| 77 comments
9.		Read the Novels and Forget Everything Else (hedgehogreview.com)
		55 points by samclemens 5 hours ago \| hide \| 25 comments
10.		RFC 9851: TLS 1.2 is in Feature Freeze (rfc-editor.org)
		8 points by Jimmc414 34 minutes ago \| hide \| 1 comment
11.		The Computational Theory of Mind (2015) (stanford.edu)
		32 points by cyanregiment 3 hours ago \| hide \| 10 comments
12.		Show HN: ssh ssh.place (ssh.place)
		12 points by jeninh 1 hour ago \| hide \| 4 comments
13.		Show HN: Mu – Tools for Agents (github.com/micro)
		31 points by asim 3 hours ago \| hide \| 8 comments
14.		Show HN: Make your Framework 12 sound like a creaky door (github.com/arcaege)
		50 points by arcaege 5 hours ago \| hide \| 5 comments
15.		Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark (github.com/graham33)
		97 points by graham33 8 hours ago \| hide \| 29 comments
16.		TinyNES Review – A Super Niche NES Console (lon.tv)
		33 points by throwoutway 5 hours ago \| hide \| 4 comments
17.		F*: A general-purpose proof-oriented programming language (fstar-lang.org)
		155 points by ducktective 13 hours ago \| hide \| 67 comments
18.		Californians' data deletion requests, DROP, become enforceable Aug. 1 (nbcsandiego.com)
		86 points by MilnerRoute 3 hours ago \| hide \| 30 comments
19.		Playing with Georgia (mighil.com)
		9 points by surprisetalk 2 hours ago \| hide \| 4 comments
20.		Twenty Years of RISC OS Open (riscosopen.org)
		152 points by AlexeyBrin 13 hours ago \| hide \| 29 comments
21.		A tool for finding the causes of unstable Python tests (github.com/mgaitan)
		12 points by pomponchik 3 hours ago \| hide \| discuss
22.		A Playable History of Sudoku (doku.su)
		6 points by bouiboui 2 hours ago \| hide \| discuss
23.		My personal AI benchmark: "Generate an SVG of a frog with a Habsburg jaw." (vaguespac.es)
		104 points by thebigship 6 hours ago \| hide \| 47 comments
24.		Sharing an X11 Server Across Hosts with FamilyWild (dobrowolski.dev)
		34 points by shirozuki 5 hours ago \| hide \| 10 comments
25.		When transit passes were designed by hand (2022) (letterformarchive.org)
		100 points by nate 11 hours ago \| hide \| 28 comments
26.		'Crush this lady': how eBay harassment campaign led to $56M payout (ft.com)
		185 points by JumpCrisscross 6 hours ago \| hide \| 84 comments
27.		Folding Paper Globes (foldingglobes.com)
		147 points by dango2506 14 hours ago \| hide \| 30 comments
28.		Fasttracker II clone in C using SDL 2 (16-bits.org)
		116 points by andsoitis 13 hours ago \| hide \| 45 comments
29.		Great Question (YC W21) Is Hiring Senior Demand Gen Manager (ycombinator.com)
		13 hours ago \| hide
30.		Rooting, firmware analysis and persistent credentials of TP-Link TL-841N (juni-mp4.com)
		78 points by mindracer 9 hours ago \| hide \| 14 comments
		More