Submissions from soap.coffee

		I Cannot SSH into My Server Anymore (and That's Fine) (soap.coffee)
		2 points by birdculture 5 days ago \| past \| discuss
		I Cannot SSH into My Server Anymore (and That's Fine) (soap.coffee)
		116 points by TheWiggles 9 days ago \| past \| 98 comments
		Spatial Shell: a window layout assistant for i3 and sway (soap.coffee)
		3 points by fanf2 on Sept 17, 2024 \| past
		Spatial Shell 6th Release Might Be the Charm (soap.coffee)
		2 points by todsacerdoti on Jan 1, 2024 \| past
		Extensible Records in OCaml Using Dmap (soap.coffee)
		1 point by ghuntley on June 20, 2023 \| past
		The Chaotic Debut of My Typical Software Project (soap.coffee)
		1 point by lthms on May 30, 2023 \| past \| 1 comment
		Call for Testers: Spatial Shell (soap.coffee)
		3 points by todsacerdoti on April 27, 2023 \| past
		How I Use Stacked Git at $Work (soap.coffee)
		12 points by todsacerdoti on Jan 16, 2022 \| past \| 3 comments
		Proving Algebraic Datatypes Are “Algebraic” (soap.coffee)
		4 points by sendilkumarn on July 12, 2020 \| past
		Implementing and Certifying a Web Server in Coq (soap.coffee)
		3 points by lelf on Feb 6, 2020 \| past