Hacker News

1.		Grok 4 Fast now has 2M context window (x.ai)
		21 points by hereme888 49 minutes ago \| hide \| 9 comments
2.		Tabloid: The Clickbait Headline Programming Language (tabloid.vercel.app)
		62 points by sadeshmukh 2 hours ago \| hide \| 11 comments
3.		Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
		165 points by vitalnodo 5 hours ago \| hide \| 36 comments
4.		Marko – A declarative, HTML‑based language (markojs.com)
		239 points by ulrischa 10 hours ago \| hide \| 115 comments
5.		Boring Company fined nearly $500K after it dumped drilling fluids into manholes (yahoo.com)
		63 points by eloisius 1 hour ago \| hide \| 12 comments
6.		Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
		163 points by defrost 9 hours ago \| hide \| 102 comments
7.		Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
		322 points by pseudolus 14 hours ago \| hide \| 163 comments
8.		Syntax and Semantics of Programming Languages (1995) (uiowa.edu)
		12 points by nill0 1 hour ago \| hide \| 12 comments
9.		Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs (downtowndougbrown.com)
		54 points by todsacerdoti 6 hours ago \| hide \| discuss
10.		Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
		116 points by SchwKatze 9 hours ago \| hide \| 8 comments
11.		Open-source communications by bouncing signals off the Moon (open.space)
		87 points by fortran77 8 hours ago \| hide \| 20 comments
12.		WriterdeckOS (writerdeckos.com)
		147 points by surprisetalk 10 hours ago \| hide \| 83 comments
13.		Avería: The Average Font (2011) (iotic.com)
		140 points by JoshTriplett 9 hours ago \| hide \| 29 comments
14.		How to build your own VPN, or: the history of WARP (cloudflare.com)
		16 points by yla92 4 hours ago \| hide \| 1 comment
15.		How Airbus Took Off (worksinprogress.co)
		10 points by JumpCrisscross 3 hours ago \| hide \| 1 comment
16.		IP blocking the UK is not enough to comply with the Online Safety Act (prestonbyrne.com)
		217 points by pinkahd 6 hours ago \| hide \| 260 comments
17.		Show HN: Geofenced chat communities anyone can create (vicinity.social)
		6 points by clarencehoward 1 hour ago \| hide \| 1 comment
18.		Cloudflare scrubs Aisuru botnet from top domains list (krebsonsecurity.com)
		123 points by jtbayly 12 hours ago \| hide \| 27 comments
19.		Judge denies request to exempt Flock footage from Public Records Act (goskagit.com)
		72 points by p_ing 4 hours ago \| hide \| 22 comments
20.		He Chunhui's Tiny386 Turns an ESP32-S3 into a Fully-Functional 386-Powered PC (hackster.io)
		55 points by HardwareLust 3 hours ago \| hide \| 7 comments
21.		My first fifteen compilers (2019) (sigplan.org)
		50 points by azhenley 10 hours ago \| hide \| 3 comments
22.		Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework (github.com/ido-levi)
		7 points by idolevi 2 hours ago \| hide \| discuss
23.		Valdi – A cross-platform UI framework that delivers native performance (github.com/snapchat)
		472 points by yehiaabdelm 1 day ago \| hide \| 198 comments
24.		Why is Zig so cool? (nilostolte.github.io)
		498 points by vitalnodo 1 day ago \| hide \| 440 comments
25.		An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf] (computerhistory.org)
		85 points by swatson741 14 hours ago \| hide \| 10 comments
26.		Ticker: Don't die of heart disease (myticker.com)
		436 points by colelyman 14 hours ago \| hide \| 372 comments
27.		Opencloud – An alternative to Nextcloud written in Go (github.com/opencloud-eu)
		62 points by todsacerdoti 12 hours ago \| hide \| 9 comments
28.		Humanity's Endgame (noemamag.com)
		21 points by marojejian 5 hours ago \| hide \| 14 comments
29.		GPT-5-Codex-Mini – A more compact and cost-efficient version of GPT-5-Codex (github.com/openai)
		40 points by wahnfrieden 5 hours ago \| hide \| 24 comments
30.		How did I get here? (how-did-i-get-here.net)
		360 points by zachlatta 1 day ago \| hide \| 61 comments
		More