Artificial Computation(cultureandcommunication.org)

10 points by vrnvu 11 months ago | 0 comments

Bitcoin and quantum computing(nehanarula.org)

144 points by nehan 6 months ago | 98 comments

The other Markov's inequality(ethanepperly.com)

46 points by tzury 8 months ago | 4 comments

Borgo Programming Language(borgo-lang.github.io)

334 points by MrBuddyCasino 1 year ago | 159 comments

Interactive intro and playground for Borgo, a new statically typed programming language with Rust-like features that compiles to Go.

Jira Is Turing-Complete(seriot.ch)

283 points by vinhnx 5 months ago | 132 comments

The Cairo Programming Language(cairo-book.github.io)

64 points by noch 3 years ago | 23 comments