Articles by vismit2000
1

0x020 – FinOps (Unzip.dev) (unzip.dev)

1

Sent from my iPad – Steve Jobs (2010) (stevejobsarchive.com)

1

Language Transfer – Free audio language courses utilizing the "Thinking Method" (languagetransfer.org)

2

Z3 Internals (Draft) (z3prover.github.io)

2

2025 Word of the Year: Slop (simonwillison.net)

51

MIT Missing Semester 2026 (csail.mit.edu)

1

Just – a handy way to save and run project-specific commands (github.com/casey)

3

Modern SID chip substitutes [video] (youtube.com)

1

Measuring Impact of Early-2025 AI on Experienced Open-Source Dev Productivity (arxiv.org)

2

The Normalization of Deviance in AI (embracethered.com)

1

Explaining weird stuff via Python's compilation pipeline – UMich guest lecture [video] (youtube.com)

3

How Do People Catch Baseballs? (2021) (wired.com)

2

Making Software: Blending modes (twitter.com/danhollick)

1

Martin Hairer: Do Mathematicians Need Computers? [video] (youtube.com)

1

Tricki – a repository of mathematical know-how (2020) (tricki.org)

1

Mathematical "Urban Legends" (2011) (mathoverflow.net)

2

Give me AI slop over human sludge any day (world.hey.com)

1

The Traveling Salesperson Problem (Modernized) (github.com/norvig)

2

Web Performance Advent Calendar 2025 – 17th edition (perfplanet.com)

10

Advent of Code 2025: The AI Edition – By Peter Norvig (github.com/norvig)

1

The economics of Pantone and its colours (finshots.in)

3

LatentMAS – agent collaboration from token space into the model's latent space (arxiv.org)

1

Game of Life in reverse with SAT solvers – Thinking in 3721 dimensions (2024) [video] (youtube.com)

110

Advent of Compiler Optimisations 2025 (xania.org)

1

ChatGPT's Third Birthday (simonwillison.net)

2

EWD 1094 – The undeserved status of the pigeon-hole principle (1991) (utexas.edu)

280

Advent of Code 2025 (adventofcode.com)

1

Dennis Sullivan: Simplicity Is the Point (2014) [video] (youtube.com)

1

Boeing, Going, Gone: The Forgotten Air India Plane (indiatimes.com)

1

The Thinking Game – Full Documentary (Google DeepMind) (youtu.be)

1

Stanford CS230 – Autumn 2025 – Lecture 7: Agents, Prompts, and RAG [video] (youtube.com)

3

DeepSeek-AI/DeepSeek-Math-V2 (huggingface.co)

2

Advent of Code 2025 is nigh – Dec 1-12 (adventofcode.com)

3

The Rust Programming Language – What Is Ownership? (rust-lang.org)

2

Computer Science and Game Theory: A Conversation – Timothy Roughgarden [video] (youtube.com)

1

What Is a Shader? (makingsoftware.com)

1

How Google autocomplete works in Search (2018) (blog.google)

2

Google Antigravity (simonwillison.net)

3

How Do CPUs Work? The Engineering That Runs the Digital World [video] (youtube.com)

1

Using Assisted-by commit footers instead of banning AI tools (xeiaso.net)

1

Everybody Codes – Quest 8, 2025 – String art problem (everybody.codes)

5

Jsonrepair: Repair Invalid JSON Documents (github.com/josdejong)

2

I Failed, Failed, and Succeeded at Learning How to Code (2011) (theatlantic.com)

1

Interview with VP of Dying' Company [Corporate Edition] [video] (youtube.com)

1

Integer Set Library (ISL) – A Primer (jeremykun.com)

1

Everybody Codes 2025 – Puzzles Like Advent of Code (everybody.codes)

31

The write last, read first rule (tigerbeetle.com)

1

Beyond Standard LLMs (sebastianraschka.com)

116

[flagged] Btop: A better modern alternative of htop with a gamified interface (github.com/aristocratos)

2

Visualizing Intersecting Sets (upset.app)

1

Goldman Sachs Announces Managing Director Class of 2025 (goldmansachs.com)

1

Marden's Theorem (wikipedia.org)

1

Fuzzy Graphing (gods.art)

1

GS Quant – Python toolkit for quantitative finance (github.com/goldmansachs)

1

The Secret World of Data Structures and Algorithms (pncnmnp.github.io)

2

Reservoir Research – Water flow simulation (2017) (adventofcode.com)

2

Mathematics solves problems by pen and paper. CS helps us to go far beyond that (acm.org)

2

Deep Thinking – Garry Kasparov – Talks at Google (2017) [video] (youtube.com)

3

Crossing the Threshold: Mathematics Meets GPT-5 (twitter.com/wtgowers)

1

Handbook of Satisfiability (2021) (iospress.com)

1

From hours to seconds: AI tools to detect animal calls (seangoedecke.com)

1

Special Lecture: F-22 Flight Controls (2021) [video] (youtube.com)

3

Modern Software Development Summarized (factoryfactoryfactory.net)

2

Mojito island (FIRE) is a mirage (2009) (signalvnoise.com)

4

Understanding Neural Networks, Visually (visualrambling.space)

1

Chollet on Understanding a Subject (twitter.com/fchollet)

57

Carlo Rovelli’s radical perspective on reality (quantamagazine.org)

3

Rabbit Hole Learning (seated.ro)

2

Making Software: Why do we need dithering? (twitter.com/danhollick)

1

GitHub Copilot Customizations (github.com/github)

1

Visualizing Concurrency in Go (2016) (divan.dev)

1

Making Software – Illustrated by Dan Hollick (makingsoftware.com)

1

Google: The AI Company (Fall 2025) (acquired.fm)

151

Advent of Code 2025: Number of puzzles reduce from 25 to 12 for the first time (adventofcode.com)

1

The Nand Game (nandgame.com)

1

Visual Features Across Modalities: SVG and ASCII Art Cross-Modal Understanding (transformer-circuits.pub)

2

MIT 6.851: Advanced Data Structures (Spring'21) (csail.mit.edu)

48

The Missing Semester of Your CS Education (2020) (csail.mit.edu)

1

To Mock a Mockingbird (raymondsmullyan.com)

1

The Innovations in DeepSeek OCR (Reddit LocalLLaMA) (reddit.com)

1

Split the States Riddle (github.com/norvig)

10

Linux disk I/O diagram (2024) (zenodo.org)

1

Claude Code for web–a new asynchronous coding agent from Anthropic (simonwillison.net)

3

"Choices" by Joel Spolsky (2000) (joelonsoftware.com)

1

How to Build an Origami Computer (quantamagazine.org)

2

Prefer Search Based Tools (2023) (abhijeetbodas2001.github.io)

2

Anamorphosis (wikipedia.org)

2

Claude Sonnet 4.5 is probably the best coding model in world (at least for now) (simonwillison.net)

3

What's New in Python 3.14 (python.org)

1

Dimensions – A Walk Through Mathematics (dimensions-math.org)

1

Euclidea – Geometric Constructions Game with Straightedge and Compass (euclidea.xyz)

1

Thinking in Higher Dimensions – Beautiful Visualizations by Jos Leys (2011) (youtube.com)

1

The Greatest Paper Airplanes – KittyHawk Software (1995) (archive.org)

1

Expected number of loops connecting 100 ropes (math.stackexchange.com)

1

Recreating the Apollo AI adoption rate chart with GPT-5, Python and Pyodide (simonwillison.net)

2

Claude's new Code Interpreter review (simonwillison.net)

1

Exploration and Epiphany – Incomplete open cubes (youtube.com)

6

GPT-5 Pro is suited for solving hard problems (twitter.com/karpathy)

1

Why Ancient Ruins Are Underground [video] (youtube.com)

2

The fight over fairness that revolutionized math [video] (youtube.com)