Explore >> Select a destination

You are here

 tech.preferred.jp
Exhaustive Union Matching in Python - Preferred Networks Research & Development
| | www.baturin.org
Introduction to OCaml, part 4: higher order functions, parametric polymorphism and algebraic data types Daniil Baturin
11.4 parsecs away

Travel
| |
| | kobzol.github.io
Writing Python like it's Rust | Kobzol's blog
12.9 parsecs away

Travel
| | You can check out a YouTube recording of a talk based on this blog post.
| | dehora.net
On Rust - Bill de hÓra
15.1 parsecs away

Travel
| | Back in 2013, I started a series of posts on programming languages I found interesting. One of the languages I wanted to write about at that time was Rust. As often happens, life got in the way, and it's only now that I'm coming round to a long overdue post. This is one of a series of posts on programming languages and you can read more about thathere.
| | thehousecarpenter.wordpress.com
Notes on proving the completeness theorem for propositional logic | The House Carpenter
61.3 parsecs away

Travel
| NB: I've opted to just get straight to the point with this post rather than attempting to introduce the subject first, so it may be of little interest to readers who aren't already interested in proving the completeness theorem for propositional logic. A PDF version of this document is available here. The key thing I...