LaTTe is a Lisp proof assistant based on the calculus of constructions. It is written in Clojure by Frédéric Peschanski and exposes a powerful DSL for expressing fundamental terms of mathematical reasoning: definitions, axioms, theorems, and proofs. In this…

The unlikely success of a socialist print magazine

Researchers programmed a machine-learning algorithm to diagnose early-stage Alzheimer’s disease from a very common type of brain scan.

IEEE Computer Society Digital Library

I was in need of a new laptop, so I bought a cheap ChromeBook – mostly because Amazon could deliver it the same day. Sadly, the trackpad was broken. Before I sent it back, I thought I’d…

A law that took effect on Tuesday makes California the first state to bar the sale of dogs, cats and rabbits that do not come from shelters or rescue organizations.

Learn JavaScript is the easiest, most interactive way to learn & practice modern JavaScript online. Read short lessons, solve challenges & answer flashcards.

Ludwig Wittgentein | Philosophy Essay | The legacy of a thinker who saw philosophy ‘not just as a vocation, but as a way of life he had to lead’

Simple, elegant, Pythonic functional programming.

The long read: Once derided, the successors to muzak have grown more sophisticated – and influential – than any of us realise.

New open-source system provides fast, accurate neural decoding and real-time readouts of where rats think they are.

"I made a mistake, and the next day I received an email message: did you call 911?" André Kuipers explained.

We've long suspected that Fuchsia would be able to run Android apps. Now, we have full confirmation that Fuchsia will directly support the Android Runtime.

Thread for Junior Developers/Engineers: Bad news - the ability to be a master/elite coder is only the first step in your career 😞 You'll soon find that coding is the easy part. Some of the hard parts - if you want to progress as a software engineer/developer…

As I took the stand, I thought about how much press freedom had been lost and how drastically national security reporting had changed in the post-9/11 era.

The Ethereum Wiki. Contribute to ethereum/wiki development by creating an account on GitHub.

Yes, in a dose of Brexit inspired madness, BA’s sister airline Iberia has made a surprising revelation: it is not actually a subsidiary of a major international aviation group.  It is, in fac…

Satoshi Nakamoto mined the genesis block ten years ago today