Submissions by rck

Predictions Scorecard, 2023 January 01

A taste of pavex, an upcoming Rust web framework

Human-Oriented Automatic Theorem Proving

Accelerating ZK-SNARKs – MSM and NTT Algorithms on FPGAs with Hardcaml

Practical Pigment Mixing for Digital Painting

FreedomBox: Run your digital services from your home

Bandit Algorithms Book

RIP Anki: Yet Another Home Robotics Company Powers Down

Extreme Finitism – Banish Infinity for Good

‘I am thoroughly ashamed’: British lord resigns after arriving late to work

Boston Dynamics’ latest robot dog is slightly less terrifying

Tech Giants Are Paying Huge Salaries for Scarce A.I. Talent

HoloLens is still for developers, developers, developers

Mapped: The Top 263 Companies Racing Toward Autonomous Cars

Don’t Look Now, but Even Buses Are Going Autonomous

Real or Fake? AI Is Making It Very Hard to Know

Google filing seeks energy alternatives to Warren Buffett’s Nevada utility

Patrick Winston Explains Deep Learning

Google Makes Big Land Grab in Reno, Very Close to Tesla's Gigafactory