Outer Web | Explore

Explore >> Select a destination

You are here		dafoster.net Unsound type systems are still useful \| DaFoster
\|	\|	ruudvanasseldonk.com A type system for RCL: Introduction	2.6 parsecs away Travel
\|	\|	I am adding a type system to RCL, my configuration language. In part 1, I explain what I want from the type system.	2.6 parsecs away Travel
\|	\|	frenchy64.github.io Are unsound type systems wrong?	0.3 parsecs away Travel
\|	\|	[AI summary] This essay explores the debate around type system soundness, comparing the intentional unsoundness of TypeScript with the soundness of Typed Racket and Typed Clojure, and discusses the trade-offs between usability and robustness in programming languages.	0.3 parsecs away Travel
\|	\|	www.layer9.org Layer 9: A Report on NSDI'13: Composing Software Defined Networks	9.8 parsecs away Travel
\|	\|	Group blog for the computer networking and systems research community.	9.8 parsecs away Travel
\|	\|	www.theregister.com Bring complexity under control enterprise-grade Kubernetes ? The Register	27.1 parsecs away Travel
\|		Sponsored Feature: No, it'll probably never be a doddle - but you don't have to take the hard way when deploying Kubernetes, says Nutanix	27.1 parsecs away Travel