Turing Complete News Today

[By prior agreement, this post will be cross-posted on Microsoft's Q# blog, even though it has nothing to do with the Q# programming language.  It does, however, contain many examples that might be fun to implement in Q#!] Why should Nature have been quantum-mechanical?  It's totally unclear what would count as an answer to such…

Bitcoin developer Robin Linus of ZeroSync has unveiled “BitVM,” which proposes to bring Ethereum-like contracts to life on Bitcoin. Its architecture is based on fraud proofs and its implementation doesn’t require a hard fork.

A Bitcoin developer has proposed a new way to bring more expressive off-chain smart contracts to Bitcoin (BTC) without needing a soft fork. Announced in an…

Listen now (73 min) | Ep. 18: How tiny is taking on Nvidia, Google, and PyTorch with a tiny team, building in public with AMD, hot takes on ggml, Mojo, and GPT-4, and why AI Girlfriend is next. Now on YouTube!

Find out how to buy Ethereum classic. Latest advice and news on Ethereum classic.

These three Cornell students created a sandbox for interacting with Conway's Game of Life to explore some of life's deepest questions—and to have fun, of course.

I love text layout, and have been working with it in one form or other for over 35 years. Yet, knowledge about it is quite arcane. I don’t believe there is a single place where it’s all properly written down. I have some explanation for that: while basic text layout is very important for UI, games, and other contexts, a lot of the “professional” needs around text layout are embedded in much more complicated systems such as Microsoft Word or a modern Web browser.

On SUBLEQ, the most basic of languages, and DawnOS, the obsessive OS built on it