Submissions from justinpombrio.net

		Typst as a Language (justinpombrio.net)
		4 points by weinzierl 24 days ago \| past
		Imagining a language without booleans (justinpombrio.net)
		77 points by todsacerdoti 55 days ago \| past \| 73 comments
		JJ Cheat Sheet (justinpombrio.net)
		186 points by justinpombrio 9 months ago \| past \| 116 comments
		Typst as a Programming Language (justinpombrio.net)
		6 points by fanf2 9 months ago \| past
		Penrose Mazes (2020) (justinpombrio.net)
		104 points by aebtebeten 10 months ago \| past \| 13 comments
		Typst as a Language (justinpombrio.net)
		5 points by PaulHoule 10 months ago \| past \| 1 comment
		Typst as a Language (justinpombrio.net)
		17 points by p4ul 11 months ago \| past
		Typst as a Language (justinpombrio.net)
		1 point by todsacerdoti 11 months ago \| past
		Using algebra to refactor data types (justinpombrio.net)
		3 points by fanf2 on Nov 9, 2024 \| past
		A Twist on Wadler's Printer (justinpombrio.net)
		65 points by chubot on Feb 26, 2024 \| past \| 7 comments
		Algebraic Types in Rust Explained (justinpombrio.net)
		2 points by debdut on April 30, 2023 \| past
		A capability-safe language would have minimized the Log4j vulnerability (justinpombrio.net)
		99 points by justinpombrio on Dec 26, 2021 \| past \| 152 comments
		Algebra and Data Types (justinpombrio.net)
		3 points by todsacerdoti on March 12, 2021 \| past
		Tree Editors by Justin Pombrio (justinpombrio.net)
		1 point by based2 on Dec 19, 2018 \| past \| 1 comment
		Invariants across languages (justinpombrio.net)
		2 points by makmanalp on Oct 18, 2013 \| past