Stories by rito

Forge: A Tool to Teach Formal Methods

Great ideas in theoretical computer science

Ask HN: How to find time to learn after full-time job?

Ask HN: Best tech talks you have heard in 2023?

Accelerometers as an Instrument [video]

OCaml Platform Roadmap (2024-2026)

Linear Algebra Done Right (4th Ed.) [pdf]

Linear Algebra Done Right – 4th Edition

The Matrix Arcade

Computational Tools in Climate Science

Computational Discovery on Jupyter

WebGL implementation of real-time renderer for 3D Gaussian Splatting

Understanding Deep Learning

Building Transformers from Neurons and Astrocytes

The Five-Dollar Model: Generating Game Maps and Sprites from Sentence Embeddings

Deep Learning Systems

Efficacy of infant simulator programmes to prevent teenage pregnancy

Six Works of Computer Science-Fiction (2015)

1
2