https://tinyurl.com/rossmatrix
FOLLOWUP video on CBC 'bias' and the bent pin: https://youtu.be/N03U7SPkAiE

🔵 We fix Macbooks & offer free estimates. https://rossmanngroup.com
🔵 Send us your Macbook for repair! http://bit.ly/sendmacbook
🔵 We'll send you a…

At MIT, Dina Katabi and her team are working on a bold new way to monitor patients' vital signs in a hospital (or even at home), without wearables or bulky, beeping devices. Bonus: it can see through walls. In a mind-blowing talk and demo, Katabi previews…

Urmila Mahadev spent eight years in graduate school solving one of the most basic questions in quantum computation: How do you know whether a quantum computer has done anything quantum at all?

What follows is a scrap of trivia . . . my collection of  RPG plots , in abstract form. I built this by examining the premises of hundreds o...

Demonstrating creation of a type safe printf function using Idris, a dependently typed programming language.

The result is here:

https://gist.github.com/puffnfresh/11202637

programming language

A bare-bones calculus-of-constructions. Contribute to Gabriel439/Haskell-Morte-Library development by creating an account on GitHub.