Hacker News

1.		Marko – A declarative, HTML‑based language that makes building web apps fun (markojs.com)
		110 points by ulrischa 3 hours ago \| hide \| 43 comments
2.		Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
		250 points by pseudolus 7 hours ago \| hide \| 139 comments
3.		WriterdeckOS (writerdeckos.com)
		54 points by surprisetalk 3 hours ago \| hide \| 31 comments
4.		Avería: The Average Font (2011) (iotic.com)
		42 points by JoshTriplett 2 hours ago \| hide \| 11 comments
5.		Cloudflare scrubs Aisuru botnet from top domains list (krebsonsecurity.com)
		91 points by jtbayly 5 hours ago \| hide \| 24 comments
6.		Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
		14 points by SchwKatze 2 hours ago \| hide \| discuss
7.		An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf] (computerhistory.org)
		65 points by swatson741 7 hours ago \| hide \| 8 comments
8.		My first fifteen compilers (2019) (sigplan.org)
		18 points by azhenley 3 hours ago \| hide \| 1 comment
9.		Humans have remote touch 'seventh sense' like sandpipers (techxplore.com)
		16 points by wjSgoWPm5bWAhXB 57 minutes ago \| hide \| 5 comments
10.		Near mid-air collision at LAX between American Airlines and ITA [video] (youtube.com)
		74 points by goblin89 2 hours ago \| hide \| 38 comments
11.		Syntax and Semantics of Programming Languages (uiowa.edu)
		44 points by nill0 6 hours ago \| hide \| 2 comments
12.		Valdi – A cross-platform UI framework that delivers native performance (github.com/snapchat)
		445 points by yehiaabdelm 21 hours ago \| hide \| 176 comments
13.		Why is Zig so cool? (nilostolte.github.io)
		468 points by vitalnodo 22 hours ago \| hide \| 408 comments
14.		The modern homes hidden inside ancient ruins (ft.com)
		44 points by Stratoscope 5 hours ago \| hide \| 3 comments
15.		52 Year old data tape could contain Unix history (theregister.com)
		124 points by rbanffy 5 hours ago \| hide \| 35 comments
16.		Making Democracy Work: Fixing and Simplifying Egalitarian Paxos (arxiv.org)
		140 points by otrack 14 hours ago \| hide \| 41 comments
17.		Btop: A better modern alternative of htop with a gamified interface (github.com/aristocratos)
		182 points by vismit2000 7 hours ago \| hide \| 107 comments
18.		Computational Complexity of Air Travel Planning (2003) [pdf] (ai.mit.edu)
		54 points by arnon 11 hours ago \| hide \| 4 comments
19.		Myna: Monospace typeface designed for symbol-heavy programming languages (github.com/sayyadirfanali)
		359 points by birdculture 1 day ago \| hide \| 166 comments
20.		Cekura (YC F24) Is Hiring
		9 hours ago \| hide
21.		How did I get here? (how-did-i-get-here.net)
		307 points by zachlatta 1 day ago \| hide \| 56 comments
22.		Immutable Software Deploys Using ZFS Jails on FreeBSD (conradresearch.com)
		157 points by vermaden 21 hours ago \| hide \| 42 comments
23.		Why I love OCaml (2023) (mccd.space)
		378 points by art-w 1 day ago \| hide \| 267 comments
24.		My friends and I accidentally faked the Ryzen 7 9700X3D leaks (reddit.com)
		258 points by djrockstar1 10 hours ago \| hide \| 62 comments
25.		Reverse engineering a neural network's clever solution to binary addition (2023) (cprimozic.net)
		69 points by Ameo 13 hours ago \| hide \| 14 comments
26.		Friendly attributes pattern in Ruby (brunosutic.com)
		89 points by brunosutic 15 hours ago \| hide \| 65 comments
27.		Mullvad: Shutting down our search proxy Leta (mullvad.net)
		189 points by holysoles 21 hours ago \| hide \| 125 comments
28.		Ticker: Don't die of heart disease (myticker.com)
		280 points by colelyman 6 hours ago \| hide \| 261 comments
29.		Facebook enables gender discrimination in job ads, European human rights rules (cnn.com)
		61 points by Bender 2 hours ago \| hide \| 68 comments
30.		Cerebras Code now supports GLM 4.6 at 1000 tokens/sec (cerebras.ai)
		164 points by nathabonfim59 21 hours ago \| hide \| 108 comments
		More