The Curious Engineer

All blogs / Math

Longest Path Search

guille.site

MathScienceAI / MLElectronics

’17’18’19’20’21’22’23’24’25’26
Posts
39 from 12 Sep 2017 to 28 Oct 2026
Posting
monthly (9 in the last year)
Kind
personal blog

2026 9

  1. Brokenness in iOS 27.x and "bug blindness"
  2. Cooling in space
  3. Meditations on "non-public" AI
  4. The Chinese remainder theorem and the Fourier transform
  5. Fun with polynomials and linear algebra; or, slight abstract nonsense
  6. Breaking signals, breaking systems
  7. On 3D printing a 3D printer
  8. Why open source matters
  9. The (likely?) cheapest home-made Michelson interferometer

2025 11

  1. Throwing darts in latent space
  2. Hamilton–Jacobi–Bellman is just linear duality
  3. The (sometimes rocky) road to a paper
  4. Acorn and the future of (AI?) theorem proving
  5. A lovely counting inequality
  6. Linear algebra over field extensions
  7. A global Picard iteration
  8. There are exponentially many vectors with small inner product
  9. Proving theorems using Julia's types (or, a mini-Lean in Julia)
  10. The minimal amount necessary, but no less
  11. Have we been building blockchains wrong?

2024 3

  1. A simple proof of Shapley–Folkman
  2. Another short proof of OCO and miscellanea
  3. Online gradient descent has low regret: a one-ish-liner

2023 2

  1. An update and who knows
  2. A non-counting lower bound for the expected distance of a simple random walk

2021 1

  1. A note on "Optimal Design of Controlled Environment Agricultural Systems (...)"

2020 1

  1. Comparisons and information theory: why the worst-case complexity of sorting is n log n

2019 1

  1. The S-procedure and small covering ellipsoids

2018 5

  1. Physics, optimization, and impossibility
  2. Markov processes and the second law
  3. Machine learning, information, and tail bounds
  4. PCA as a convex optimization problem
  5. Fast shortest paths for time-varying graphs (Part 4/?)

2017 6

  1. Proximal gradient for SVM
  2. Optimizers, momentum, and cooling schedules (Part 2/?)
  3. Some thoughts on global path optimization (Part 1/?)
  4. Least-squares and image processing
  5. PID as least squares
  6. This blog is a lie