Online REPL for lambda calculus

The difference between Turing equivalent and Turing complete

Cheap transistors, expensive wires

Summing a list of floating point numbers when the obvious approach isn't accurate enough

Turing-machines and λ-calculus are equivalent only w.r.t. the functions they can define. Maybe not complexity.

Speak up. Spend freely. Tell Congress to create a de minimis tax exemption for Bitcoin that allows us to spend our money on gas, groceries, and everyday costs with no strings attached. Act today.

Introduction to Automatic Differentiation

The CAP theorem is not a theorem.

Obscuring P2P nodes with Dandelion

Dining philosophers problem

'The hardest problem in computer science is not being an opinionated jerk about everything.' -- @ntakayama

Your crypto can make real impact. Support nonprofits ready to receive crypto this giving season. Give easily, securely, and get your tax receipt right away. Donate Now

The development practices behind the Curiosity Mars mission: 'Mars Code' by Gerard Holzmann

Combinatory logic

Weakly typed languages work better in practice than in theory. "You intend your function to take two integers, but what if someone passes it an armadillo and a kazoo?" "Have you ever seen someone pass an armadillo and a kazoo to a function expecting two integers?"

Proofs and Types

Logic symbols:

Reasoned Programming https://t.co/XpQ3QHL0jN // 311 page pdf

Computing Legendre and Jacobi symbols

Source:

It is is is costing you more than money. You are not broken, just stuck. You can get unstuck. If you’re ready, I’m here.

The C code below compiles and prints "hello, world".

Algorithmic information theory: