Hacker News

1.		Wireguard FPGA (github.com/chili-chips-ba)
		508 points by hasheddan 15 hours ago \| hide \| 125 comments
2.		Putting a Dumb Weather Station on the Internet (colincogle.name)
		26 points by todsacerdoti 3 hours ago \| hide \| 6 comments
3.		Tauri binding for Python through Pyo3 (github.com/pytauri)
		91 points by 0x1997 7 hours ago \| hide \| 9 comments
4.		Ask HN: What are you working on? (October 2025)
		216 points by david927 12 hours ago \| hide \| 580 comments
5.		MicroPythonOS – An Android-like OS for microcontrollers (micropythonos.com)
		90 points by alefnula 8 hours ago \| hide \| 25 comments
6.		Show HN: Baby's first international landline (wip.tf)
		127 points by nbr23 10 hours ago \| hide \| 28 comments
7.		Emacs agent-shell (powered by ACP) (xenodium.com)
		168 points by Karrot_Kream 12 hours ago \| hide \| 21 comments
8.		Three ways formally verified code can go wrong in practice (buttondown.com/hillelwayne)
		128 points by todsacerdoti 13 hours ago \| hide \| 75 comments
9.		HTTP3 Explained (haxx.se)
		24 points by weinzierl 1 hour ago \| hide \| 5 comments
10.		Bird photographer of the year gives a lesson in planning and patience (thisiscolossal.com)
		127 points by surprisetalk 13 hours ago \| hide \| 17 comments
11.		Database Linting and Analysis for PostgreSQL (pglinter.readthedocs.io)
		86 points by fljdin 11 hours ago \| hide \| 17 comments
12.		A years-long Turkish alphabet bug in the Kotlin compiler (sam-cooper.medium.com)
		109 points by Bogdanp 13 hours ago \| hide \| 110 comments
13.		3D-Printed Automatic Weather Station (ucar.edu)
		65 points by hyperbovine 12 hours ago \| hide \| 15 comments
14.		Keyboard Holders, Generation 1 (cceckman.com)
		38 points by hannahilea 9 hours ago \| hide \| discuss
15.		Free software hasn't won (dorotac.eu)
		233 points by LorenDB 11 hours ago \| hide \| 286 comments
16.		MAML – A new configuration language (maml.dev)
		79 points by birdculture 11 hours ago \| hide \| 111 comments
17.		For centuries massive meals amazed visitors to Korea (2019) (atlasobscura.com)
		102 points by carabiner 7 hours ago \| hide \| 47 comments
18.		An initial investigation into WDDM on ReactOS (reactos.org)
		53 points by LorenDB 11 hours ago \| hide \| 4 comments
19.		Novelty Automation (novelty-automation.com)
		41 points by gregsadetsky 9 hours ago \| hide \| 9 comments
20.		The Tiny Teams Playbook (latent.space)
		107 points by tilt 14 hours ago \| hide \| 31 comments
21.		Completing a BASIC language interpreter in 2025 (nanochess.org)
		83 points by nanochess 13 hours ago \| hide \| 12 comments
22.		Show HN: I built a simple ambient sound app with no ads or subscriptions (ambisounds.app)
		194 points by alpaca121 15 hours ago \| hide \| 76 comments
23.		A better SQL validator and comparison with existing SQL validators (sqlai.ai)
		5 points by l5870uoo9y 3 hours ago \| hide \| 1 comment
24.		John Searle has died (nytimes.com)
		102 points by sgustard 8 hours ago \| hide \| 82 comments
25.		Show HN: Aidlab – Health Data for Devs
		22 points by guzik 6 hours ago \| hide \| 6 comments
26.		Countering Trusting Trust Through Diverse Double-Compiling (DDC) (dwheeler.com)
		25 points by ibobev 6 hours ago \| hide \| 3 comments
27.		A whirlwind introduction to dataflow graphs (2018) (fgiesen.wordpress.com)
		32 points by shoo 13 hours ago \| hide \| discuss
28.		Constraint satisfaction to optimize item selection for bundles in Minecraft (robw.fyi)
		34 points by someguy101010 13 hours ago \| hide \| 11 comments
29.		Edge AI for Beginners (github.com/microsoft)
		154 points by bakigul 12 hours ago \| hide \| 54 comments
30.		Loko Scheme: bare metal optimizing Scheme compiler (scheme.fail)
		162 points by dTal 23 hours ago \| hide \| 15 comments
		More