more anonzzzies's favorites

31.		Show HN: PgDog – Scale Postgres without changing the app (github.com/pgdogdev)
		326 points by levkk 54 days ago \| 63 comments
32.		Lean 4: How the theorem prover works and why it's the new competitive edge in AI (venturebeat.com)
		145 points by tesserato 61 days ago \| 64 comments
33.		SwiftForth IDE for Windows, Linux, macOS (forth.com)
		40 points by tosh 61 days ago \| 16 comments
34.		I tried building my startup entirely on European infrastructure (coinerella.com)
		751 points by willy__ 58 days ago \| 376 comments
35.		How to choose between Hindley-Milner and bidirectional typing (thunderseethe.dev)
		153 points by thunderseethe 62 days ago \| 49 comments
36.		Show HN: Breadboard – A modern HyperCard for building web apps on the canvas (breadboards.io)
		93 points by simquat 61 days ago \| 16 comments
37.		Databases should contain their own Metadata – Use SQL Everywhere (floedb.ai)
		46 points by matheusalmeida 66 days ago \| 33 comments
38.		Show HN: I spent 3 years reverse-engineering a 40 yo stock market sim from 1986 (wallstreetraider.com)
		721 points by benstopics 68 days ago \| 240 comments
39.		MinIO repository is no longer maintained (github.com/minio)
		500 points by psvmcc 65 days ago \| 387 comments
40.		Launch HN: Omnara (YC S25) – Run Claude Code and Codex from anywhere
		147 points by kmansm27 65 days ago \| 161 comments
41.		Frontier AI agents violate ethical constraints 30–50% of time, pressured by KPIs (arxiv.org)
		544 points by tiny-automates 68 days ago \| 366 comments
42.		Show HN: I created a Mars colony RPG based on Kim Stanley Robinson’s Mars books (underhillgame.com)
		307 points by ariaalam 69 days ago \| 112 comments
43.		FORTH? Really!? (rescrv.net)
		83 points by rescrv 72 days ago \| 25 comments
44.		AliSQL: Alibaba's open-source MySQL with vector and DuckDB engines (github.com/alibaba)
		306 points by baotiao 74 days ago \| 49 comments
45.		IsoCoaster – Theme Park Builder (iso-coaster.com)
		110 points by duck 78 days ago \| 27 comments
46.		Radicle: The Sovereign Forge (radicle.xyz)
		286 points by ibobev 86 days ago \| 144 comments
47.		European Alternatives (european-alternatives.eu)
		810 points by s_dev 86 days ago \| 512 comments
48.		Show HN: BrowserOS – "Claude Cowork" in the browser (github.com/browseros-ai)
		88 points by felarof 86 days ago \| 35 comments
49.		Flux 2 Klein pure C inference (github.com/antirez)
		453 points by antirez 3 months ago \| 141 comments
50.		High-Level Is the Goal (bvisness.me)
		276 points by tobr 3 months ago \| 152 comments
51.		Remails: A European Mail Transfer Agent (tweedegolf.nl)
		53 points by Flundstrom2 3 months ago \| 4 comments
52.		Hosting a website on a disposable vape (bogdanthegeek.github.io)
		1415 points by BogdanTheGeek 7 months ago \| 472 comments
53.		Open sourcing Dicer: Databricks's auto-sharder (databricks.com)
		85 points by vivek-jain 3 months ago \| 11 comments
54.		[flagged] Datadog, thank you for blocking us (deductive.ai)
		77 points by binarylogic 3 months ago \| 30 comments
55.		Show HN: I made a memory game to teach you to play piano by ear (specr.net)
		565 points by vunderba 3 months ago \| 171 comments
56.		Show HN: Scroll Wikipedia like TikTok (sdan.io)
		330 points by sdan 3 months ago \| 88 comments
57.		JavaScript Demos in 140 Characters (dwitter.net)
		340 points by themanmaran 3 months ago \| 59 comments
58.		Selective Applicative Functors (veritates.love)
		31 points by ibobev 3 months ago \| 11 comments
59.		Anna's Archive loses .org domain after surprise suspension (torrentfreak.com)
		674 points by CTOSian 3 months ago \| 358 comments
60.		Anti-aging injection regrows knee cartilage and prevents arthritis (scitechdaily.com)
		400 points by nis0s 3 months ago \| 178 comments
		More