Posts

Mobility App

Industrial-Strength Computer Science (ISCS)

The Power of CLOOMC, Capability-Limited/Object-Oriented/Machine-Code Alonzo Church's Lambda Calculus   ....encapsulates      Alan Turing's Binary Computer    one function at a time creates Industrial Strength Computer Science (ISCS) This is the scientific framework of the Church-Turing Thesis.  This robust approach combines the scientific ideas of Alonzo Church and Alan Turing to democratise fail-safe, corruption-free software. Hardware guardrails detect malware, ransomware, and program bugs in advance, regardless of a programmer’s skill level. ISCS unites four reinforcing technologies: symbolic mathematics, Lambda Calculus, capability-limited addressing, and object-oriented programming.  The guardrails are built into the hardware as type-limited checks of every memory access. It creates a high-level programming language executed directly by machine code, the computational surface of computer science. Object-oriented abstrac...

Unsolved after decades

Humain AI

Naman Sood Languages JavaScript/TypeScript, Go, Rust, C++, C, Python, Scala, HTML/CSS, Shell, Haskell Technologies Git, Docker, Kubernetes, AWS EC2/S3, gRPC/Protobuf, React, SQL, MongoDB lambda Rust An interpreter for lambda calculus, with support for multiple reduction strategies. Wrote blog post about development process. tick-tock-lock C, C++ A two-factor authentication app for Nintendo 3DS, supporting time and counter based protocols, using standard otpauth QR codes. mail@nsood.in · www.nsood.in · linkedin.com/in/namansood · github.com/tendstofortytwo

AI has grown beyond human knowledge, says Google's DeepMind unit | ZDNET

AI has grown beyond human knowledge, says Google's DeepMind unit | ZDNET

My latest Interview

See the exciting information I found for Robert Hamer Hodges.

Fwd: IngressNightmare Flaws Expose Many Kubernetes Clusters to Remote Hacking Critical remote code execution vulnerabilities found by Wiz researchers in...

My latest Interview

Cyber Requiem: The Lambda Fracture

On the Impossibility of Supersized Machines

Paper treaties crumble to dust against the rising tide of self-learning armaments.

The What, Why, and How of Industrial Strength Computer Science

Who is in charge - Humanity or AI?

Interview Summary: The Fate of AI Society by Kenneth J. Hamer -Hodges

AI and its future implications

What is the Lambda Calculus

The Fate of AI Society: Civilizing Superhuman Cyberspace

Winning World War III: Industrial Strength Computer Science