linguae's favorites | Hacker News

1.		A Proper x86 Assembler in Haskell Using the Escardó-Oliva Functional (vmchale.com)
		90 points by Smaug123 10 days ago \| 19 comments
2.		Haskell: A Great Procedural Language (entropicthoughts.com)
		279 points by kqr 11 days ago \| 202 comments
3.		Formal Methods: Just Good Engineering Practice? (2024) (brooker.co.za)
		211 points by aiono 20 days ago \| 133 comments
4.		In Search of Types (2014) [pdf] (humprog.org)
		16 points by fanf2 28 days ago \| 3 comments
5.		Latinus Scientificus: The History and Culture of Scientific Latin (2019) (villanova.edu)
		3 points by rntn 30 days ago \| 1 comment
6.		Static search trees: faster than binary search (curiouscoding.nl)
		656 points by atombender 29 days ago \| 232 comments
7.		Kid Pix: The Early Years (red-green-blue.com)
		12 points by mysterydip 41 days ago \| 3 comments
8.		Ask HN: How do you find part time work?
		315 points by leros 46 days ago \| 146 comments
9.		The Dawn of Formalized Mathematics (2021) (andrej.com)
		5 points by fanf2 46 days ago
10.		Unix Review Magazine Interviews Larry Tesler (computeradsfromthepast.substack.com)
		45 points by rbanffy 59 days ago \| 13 comments
11.		Llama.cpp guide – Running LLMs locally on any hardware, from scratch (steelph0enix.github.io)
		368 points by zarekr 62 days ago \| 87 comments
12.		The Influence of Bell Labs (construction-physics.com)
		231 points by mooreds 62 days ago \| 134 comments
13.		Apple Rhapsody Report (1997) (uvm.edu)
		42 points by Lammy 65 days ago \| 20 comments
14.		Music as Language (2019) [pdf] (omelkonian.github.io)
		70 points by sargstuff 73 days ago \| 17 comments
15.		On Tyranny – Lessons from the Twentieth Century (archive.org)
		14 points by gooseus 84 days ago
16.		The Multics Maclisp Compiler: The Basic Hackery – A Tutorial (1977) (multicians.org)
		41 points by susam 3 months ago \| 4 comments
17.		Essentials of Standard ML Modules [pdf] (uchicago.edu)
		3 points by b-man 3 months ago
18.		Don Norman: 'Apple has fallen prey to the most disastrous part of design ' (elpais.com)
		16 points by everybodyknows 3 months ago \| 22 comments
19.		Compiling Lisp to Bytecode and Running It (healeycodes.com)
		4 points by healeycodes 3 months ago
20.		Refurb weekend: the Symbolics MacIvory Lisp machine I have hated (oldvcr.blogspot.com)
		182 points by rcarmo 3 months ago \| 99 comments
21.		First Report on the Pre-Scheme Restoration (prescheme.org)
		47 points by paroneayea 3 months ago \| 7 comments
22.		Total Denotational Semantics (fixpt.de)
		1 point by matt_d 4 months ago
23.		Ask HN: Guide for Implementing Common Lisp
		82 points by HexDecOctBin 12 months ago \| 44 comments
24.		Profiling Programming Language Learning (arxiv.org)
		1 point by azhenley 5 months ago
25.		Hacking with PDF (2022) (0xcybery.github.io)
		122 points by lnyan 5 months ago \| 12 comments
26.		So you want to study mathematics (susanrigetti.com)
		5 points by fanf2 6 months ago
27.		Deriving Dependently-Typed OOP from First Principles (arxiv.org)
		172 points by matt_d 7 months ago \| 18 comments
28.		The Pre-Scheme Restoration (prescheme.org)
		201 points by nickmain 7 months ago \| 59 comments
29.		Producer: A tool for translating Smalltalk-80 to Objective-C (1987) (acm.org)
		2 points by todsacerdoti 7 months ago \| 2 comments
30.		Spur – RISC IV: The Lisp Multiprocessor Workstation (thechipletter.substack.com)
		135 points by oumua_don17 7 months ago \| 91 comments
		More