rolandog's favorites | Hacker News

1.		λProlog: Logic programming in higher-order logic (polytechnique.fr)
		83 points by ux266478 3 days ago \| 17 comments
2.		Diode – Build, program, and simulate hardware (withdiode.com)
		281 points by rossant 3 days ago \| 61 comments
3.		Typed Assembly Language (2000) (cornell.edu)
		48 points by luu 3 days ago \| 24 comments
4.		Unsung heroes: Flickr's URLs scheme (aresluna.org)
		175 points by onli 3 days ago \| 66 comments
5.		Making Wolfram tech available as a foundation tool for LLM systems (stephenwolfram.com)
		241 points by surprisetalk 17 hours ago \| 136 comments
6.		Show HN: Steerling-8B, a language model that can explain any token it generates (guidelabs.ai)
		253 points by adebayoj 14 hours ago \| 75 comments
7.		Firefox 148 Launches with AI Kill Switch Feature and More Enhancements (serverhost.com)
		381 points by shaunpud 9 hours ago \| 321 comments
8.		Blood test boosts Alzheimer's diagnosis accuracy to 94.5%, clinical study shows (medicalxpress.com)
		358 points by wglb 12 hours ago \| 144 comments
9.		I Ported Coreboot to the ThinkPad X270 (dork.dev)
		249 points by todsacerdoti 15 hours ago \| 52 comments
10.		NPM install is stealing your passwords – I built a tool to catch it (westbayberry.com)
		29 points by ComCat 11 hours ago \| 16 comments
11.		Iowa farmers are leading the fight for repair (ifixit.com)
		158 points by gnabgib 14 hours ago \| 39 comments
12.		Show HN: enveil – hide your .env secrets from prAIng eyes (github.com/greatscott)
		151 points by parkaboy 10 hours ago \| 89 comments
13.		The Age Verification Trap: Verifying age undermines everyone's data protection (ieee.org)
		1574 points by oldnetguy 1 day ago \| 1197 comments
14.		Scent, in Silico (asimov.press)
		30 points by surprisetalk 4 days ago \| 1 comment
15.		A simple web we own (rsdoiel.github.io)
		286 points by speckx 23 hours ago \| 207 comments
16.		ASML unveils EUV light source advance that could yield 50% more chips by 2030 (reuters.com)
		352 points by pieterr 22 hours ago \| 102 comments
17.		‘Viking’ was a job, not a matter of heredity: ancient DNA study (2020) (science.org)
		166 points by bookofjoe 3 days ago \| 176 comments
18.		I discovered a hidden tragedy tied to Russia's most famous painting (theguardian.com)
		20 points by n1b0m 4 days ago \| 1 comment
19.		Nearly half of 50-cal ammo seized by Mexico came from US Army plant (icij.org)
		15 points by Avshalom 18 hours ago \| 1 comment
20.		A NASA Engineer Discovered a World of Semi Truck Aerodynamics by Accident (thedrive.com)
		60 points by PaulHoule 6 days ago \| 57 comments
21.		SETI@home: Data Acquisition and Front-End Processing (2025) (iop.org)
		88 points by tosh 1 day ago \| 23 comments
22.		femtolisp: A lightweight, robust, scheme-like Lisp implementation (github.com/jeffbezanson)
		138 points by tosh 1 day ago \| 16 comments
23.		Magical Mushroom – Europe's first industrial-scale mycelium packaging producer (magicalmushroom.com)
		388 points by microflash 1 day ago \| 124 comments
24.		[dupe] Hetzner (European hosting provider) to increase prices by up to 38% (reddit.com)
		452 points by doener 1 day ago \| 3 comments
25.		Six Math Essentials (terrytao.wordpress.com)
		309 points by digital55 1 day ago \| 63 comments
26.		Elsevier shuts down its finance journal citation cartel (chrisbrunet.com)
		548 points by qsi 1 day ago \| 100 comments
27.		0 A.D. Release 28: Boiorix (play0ad.com)
		342 points by jonbaer 4 days ago \| 116 comments
28.		Sub-$200 Lidar could reshuffle auto sensor economics (ieee.org)
		409 points by mhb 4 days ago \| 551 comments
29.		Rhythms the Compendium: Life aboard an aircraft carrier (2021) (thelexicans.wordpress.com)
		29 points by cwillu 2 days ago \| 2 comments
30.		How close are we to a vision for 2010? (shkspr.mobi)
		69 points by ColinWright 1 day ago \| 38 comments
		More