/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

 tm.durusau.net
Types and Functions « Another Word For It
| | sophiabits.com
Intentionally breaking types to guide scary refactors | Sophia Willows
20.4 parsecs away

Travel
| |
| | blog.drewolson.org
Parsing Untrusted Input with Elixir | software is fun
23.7 parsecs away

Travel
| | I've spent a lot of time in the past year learning PureScript and it has drastically changed the way I think about programming in general. The biggest change in my thinking is described by the excellent blog post Parse, don't validate. The most important passage in the post, I think, is this: Consider: what is a parser? Really, a parser is just a function that consumes less-structured input and produces more-structured output.
| | decomposition.al
Two papers at HATRA - decomposition al
7.3 parsecs away

Travel
| | Today my students Gan Shen and Patrick Redmond and I are (virtually) attending the HATRA workshop co-located with SPLASH. HATRA is a relatively new workshop, focusing on human factors in the design of type systems and program reasoning assistants. It's my first time at HATRA, and I'm enjoying it so far!
| | scottaaronson.blog
Shtetl-Optimized » Blog Archive » Five Worlds of AI (a joint post with Boaz Barak)
25.5 parsecs away

Travel
| Artificial intelligence has made incredible progress in the last decade, but in one crucial aspect, it still lags behind the theoretical computer science of the 1990s: namely, there is no essay describing five potential worlds that we could live in and giving each one of them whimsical names. In other words, no one has done...