Outer Web | Explore

/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.

You are here		cnr.sh Minimum viable infrastructure \| Chris Riccomini
\|	\|	explaining.software making things better Buttondown	3.9 parsecs away Travel
\|	\|	Confronted with this dissonance, this ugliness, we inevitably gesture towards a better future.	3.9 parsecs away Travel
\|	\|	arunrocks.com Ray Tracer in Python (Part 6) - Show Notes of "Firing All Cores" · Arunrocks	3.1 parsecs away Travel
\|	\|	A blog by Arun Ravindran, author and speaker, about Python, Django and other curious things.	3.1 parsecs away Travel
\|	\|	boxbase.org Static typing increases the need to refactor	3.8 parsecs away Travel
\|	\|	I came up with an idea when studying type theory. I am a vehement proponent of dynamic typing but there are several ideas that require me to explore into type theory so I am studying it.	3.8 parsecs away Travel
\|	\|	lexi-lambda.github.io Types as axioms, or: playing god with static types	26.2 parsecs away Travel
\|		[AI summary] An article exploring a philosophical shift in programming from viewing types as restrictive constraints to designing data structures via axioms to ensure correctness by construction.	26.2 parsecs away Travel