tosh's submissions | Hacker News

1.		Why Computer Scientists Don't Learn Math (2017) (lamport.azurewebsites.net)
		2 points by tosh 1 hour ago \| past \| discuss
2.		Using Clerk for Advent of Code (2023) (juxt.pro)
		1 point by tosh 1 hour ago \| past \| discuss
3.		Coalton (coalton-lang.github.io)
		2 points by tosh 2 hours ago \| past \| discuss
4.		LPython: High performance typed Python compiler (lpython.org)
		1 point by tosh 2 hours ago \| past \| discuss
5.		Clozure CL (clozure.com)
		2 points by tosh 2 hours ago \| past \| discuss
6.		Lisp in Space (2022) (corecursive.com)
		3 points by tosh 2 hours ago \| past \| discuss
7.		Macintosh Common Lisp (wikipedia.org)
		2 points by tosh 3 hours ago \| past \| discuss
8.		Formal Analysis of the Remote Agent Before and After Flight (2000) [pdf] (nasa.gov)
		3 points by tosh 3 hours ago \| past \| discuss
9.		Arc at 3 Weeks (2001) (paulgraham.com)
		1 point by tosh 3 hours ago \| past \| discuss
10.		The Frame-Dependent Mind (softmax.com)
		1 point by tosh 4 hours ago \| past \| discuss
11.		DS4, a specialized inference engine for DeepSeek v4 Flash (twitter.com/antirez)
		17 points by tosh 4 hours ago \| past \| 3 comments
12.		Lisping at JPL Revisited (2023) (rongarret.info)
		2 points by tosh 4 hours ago \| past \| discuss
13.		Wankel Engine (wikipedia.org)
		2 points by tosh 5 hours ago \| past \| discuss
14.		Lisplets (sourceforge.net)
		1 point by tosh 5 hours ago \| past \| discuss
15.		Lisp in Web-Based Applications (2001) (turbifycdn.com)
		2 points by tosh 6 hours ago \| past \| discuss
16.		A PHP license change is imminent (lwn.net)
		3 points by tosh 9 hours ago \| past \| discuss
17.		Red Button, Blue Button (softmax.com)
		1 point by tosh 14 hours ago \| past \| discuss
18.		How Claris is building for what comes next (claris.com)
		1 point by tosh 15 hours ago \| past \| discuss
19.		Samsung Hits $1T Valuation Amid Apple Chip Diversification Talks (macrumors.com)
		2 points by tosh 15 hours ago \| past \| discuss
20.		Ratfor (wikipedia.org)
		1 point by tosh 1 day ago \| past \| discuss
21.		Anthropic: Partnership with SpaceX will increase our compute (twitter.com/claudeai)
		4 points by tosh 1 day ago \| past \| discuss
22.		Amp, Rebuilt (ampcode.com)
		11 points by tosh 1 day ago \| past \| discuss
23.		K (archive.org)
		4 points by tosh 1 day ago \| past \| discuss
24.		Mainframers: Any APL programmers here? (2025) (facebook.com)
		1 point by tosh 1 day ago \| past \| discuss
25.		Deep Learning with Python (deeplearningwithpython.io)
		2 points by tosh 1 day ago \| past \| 1 comment
26.		The Story of Mel (1983) (catb.org)
		3 points by tosh 1 day ago \| past \| discuss
27.		J for C Programmers (jsoftware.com)
		2 points by tosh 2 days ago \| past \| discuss
28.		Juno (jsoftware.github.io)
		3 points by tosh 2 days ago \| past \| discuss
29.		Nassi–Shneiderman Diagram (wikipedia.org)
		9 points by tosh 2 days ago \| past \| 1 comment
30.		Mstat (wisc.edu)
		1 point by tosh 2 days ago \| past \| discuss
		More