felipelalli's favorites

1.		The Cray-1 Computer System (1977) [pdf] (computerhistory.org)
		157 points by LordGrey 5 days ago \| 105 comments
2.		Text-based web browsers (cssence.com)
		285 points by pabs3 2 days ago \| 112 comments
3.		TimeCapsuleLLM: LLM trained only on data from 1800-1875 (github.com/haykgrigo3)
		734 points by admp 2 days ago \| 307 comments
4.		A 30B Qwen model walks into a Raspberry Pi and runs in real time (byteshape.com)
		362 points by dataminer 8 days ago \| 135 comments
5.		Databases in 2025: A Year in Review (cmu.edu)
		717 points by viveknathani_ 10 days ago \| 192 comments
6.		Floor796 (floor796.com)
		1066 points by krtkush 18 days ago \| 119 comments
7.		Gpg.fail (gpg.fail)
		450 points by todsacerdoti 18 days ago \| 357 comments
8.		Mal Lisp for TempleOS (github.com/bagnalla)
		120 points by bagnalla on Dec 3, 2017 \| 36 comments
9.		TempleOS: FlightSim and FirstPersonShooter [video] (youtube.com)
		176 points by yunong on June 7, 2015 \| 54 comments
10.		Terry Davis has died (templeos.org)
		634 points by leibwiht on Sept 4, 2018 \| 198 comments
11.		Zeal OS is a modernized fork of the Temple Operating System (github.com/zeal-operating-system)
		219 points by nix23 on Nov 13, 2022 \| 68 comments
12.		Noclip.website – A digital museum of video game levels (noclip.website)
		485 points by ivmoreau 27 days ago \| 57 comments
13.		Liskell – Haskell Semantics with Lisp Syntax [pdf] (endorphin.org)
		73 points by todsacerdoti 30 days ago \| 25 comments
14.		Modern Walkmans (walkman.land)
		166 points by classichasclass 37 days ago \| 141 comments
15.		Interactive λ-Reduction (deltanets.org)
		138 points by jy14898 51 days ago \| 26 comments
16.		Functional Data Structures and Algorithms: a Proof Assistant Approach (fdsa-book.net)
		117 points by SchwKatze 49 days ago \| 29 comments
17.		Lambda Calculus – Animated Beta Reduction of Lambda Diagrams (cruzgodar.com)
		150 points by perryprog 52 days ago \| 10 comments
18.		Calculus for Mathematicians, Computer Scientists, and Physicists [pdf] (holycross.edu)
		363 points by o4c 52 days ago \| 78 comments
19.		$1900 Bug Bounty to Fix the Lenovo Legion Pro 7 16IAX10H's Speakers on Linux (github.com/nadimkobeissi)
		295 points by rany_ 60 days ago \| 135 comments
20.		WorldGen – Text to Immersive 3D Worlds (meta.com)
		253 points by smusamashah 53 days ago \| 81 comments
21.		Designing a Language (2017) (lmu.edu)
		184 points by veqq 61 days ago \| 110 comments
22.		URLs are state containers (alfy.blog)
		512 points by thm 73 days ago \| 213 comments
23.		Neural audio codecs: how to get audio into LLMs (kyutai.org)
		428 points by karimf 85 days ago \| 119 comments
24.		Picturing Mathematics (mathenchant.wordpress.com)
		109 points by jamespropp 88 days ago \| 4 comments
25.		I built physical album cards with NFC tags to teach my son music discovery (fulghum.io)
		592 points by jordanf 3 months ago \| 210 comments
26.		An illustrated introduction to linear algebra (ducktyped.org)
		443 points by egonschiele 3 months ago \| 88 comments
27.		Diff Algorithms (znkr.io)
		289 points by znkr 3 months ago \| 62 comments
28.		From Rust to reality: The hidden journey of fetch_max (questdb.com)
		259 points by bluestreak 3 months ago \| 59 comments
29.		LLM Visualization (bbycroft.net)
		640 points by gmays 4 months ago \| 46 comments
30.		“Dynamic programming” is not referring to “computer programming” (vidarholen.net)
		422 points by r4um 6 months ago \| 211 comments
		More