Stories by rramadass

On Formal Methods Thinking in Computer Science Education

Safe Object-Oriented Software: The Verified Design-by-Contract Paradigm [pdf]

Programming Really Is Simple Mathematics

Booting Erlang in 16 MB (Grisp Nano)

Yann LeCun "Mathematical Obstacles on the Way to Human-Level AI"

Who needs friends? Personality as a predictor of Social Surrogate use

The Mind Has No Firewall

Artificial Intelligence: Foundations of Computational Agents

Robot Insects (mindboggling video from Veritasium)

Signature moves: Are we losing the ability to write by hand?

The computer scientist who hunts for costly bugs in crypto code

Introduction to Higher Mathematics

Computer Architecture – Michael Flynn (2007)

The British Empire Was Much Worse Than You Realize

Networking, SDN, TCP, 5G, Edge Cloud "A Systems Approach" Books

The Remarkable Utility of Dataflow Computing (2020)

Mind-Bending Soviet Era Oil Rig City on the Caspian Sea

Hathaani: A Robotic Violinist for Carnatic Music

What Game Theory Reveals About Life, the Universe, and Everything [video]

1
2