All articles

Awesome SAT solvers

Matt Gibson
|

An introductory review of SAT solvers via a curated awesome list, covering their evolution from Chaff onwards and key resources including the Handbook of SAT.

More

Demystifying Battery Technology

Matt Gibson
|

A primer on battery technology for software developers: the history, electrochemistry, and key concepts behind how batteries work and why they matter.

More

An Energetic Exposition III: Models and complexities

Matt Gibson
|

A simple model for cost is as follows:

$$ C_i (Q_i) = FC_i + Fl_f *a_{f,i} * Q_i $$

And we have Q_i_subbar and Q_i_superbar, which are the upper production limits of powerplant i so Q_i_subbar <= Q_i <= Q_i_superbar

where

  • C_i is the cost of powerplant i
  • Q_i is the energy output of powerplant i
  • FC_i is the fixed …
More

An Energetic Exposition II: Inconvenient facts about electricity

Matt Gibson
|

Markets II: Properties of electricity and market structure

There’s a certain bare minimum of terms related to electricity required to make sense of the economics. This is really a reminder for myself, who hasn’t studied a hard science since year 11.

Electricity must be generated. Further, electricity is very hard to store, so …

More

An Energetic Exposition 1: notes about electricity markets

Matt Gibson
|

Notes on electricity markets: their history, the complexity of generation and pricing, and why they differ from standard economics textbook models.

More

What LLMs can't do

Matt Gibson
|

Examining the limits of Large Language Models: whether they think or understand language, and what the research literature reveals about their capabilities and shortcomings.

More

skill issue tbh: ml time series notes

Matt Gibson
|

Notes on ML approaches to time series forecasting, the M competitions, and why foundation models struggle with the generality of tabular and time series data.

More

Sliced Inverse Regression

Matt Gibson
|

Summary: An introduction to Sliced Inverse Regression (SIR), a supervised dimensionality reduction technique that preserves information relevant to the target variable.

MyImage src

Sometimes, you read something unexpected. I was looking through this paper on statistical perspectives on representation learning and came across this family of methods: "sliced inverse regression." Sliced inverse regression? What the heck …

More

How good is Django?

Matt Gibson
|
It's Django Reinhardt, not Django the web framework

A brief riff on stable, mature tools. I've been playing around recently with a little project involving recommender systems. Anyway, for the website, I ended up reaching for Django. Man, it's been over a year since I've done any Django projects, but I forgot how joy it is to use it. The documentation is excellent …

More

Two simple dweets

Matt Gibson
|
Crowds adoring jesus, a bit like my respect for graphics programmers.

Computer graphics is full of wizardry but the demo scene is populated by arch-wizards. The community has some very talented people and there's lots to learn (like ray marching and signed distance functions). I tried my hand at a couple of dweets, which are tiny demos that fit in a tweet.

This was from just …

More

The Wild West of Jupyter

Matt Gibson
|
The abduction of Europa. Jupiter is the one with the horns.

There's some wacky stuff in the Jupyter ecosystem. Still, one thing that really stood out for me was the extension of Jupyter notebooks into web development and their interaction with the JavaScript ecosystem. So web assembly is a thing, and you can run C and Rust code inside little isolated JavaScript sandboxes instances, maybe even …

More

Embedding js in pelican

Matt Gibson
|
The pelican

Sometimes I like to write a little js in my blog posts. Here is an example of how to embed a javascript file in a pelican article.

Below the fold, is an example of embedding a js chart into a pelican article. Specifically, we have the crude marriage rates in Australia for 2000 to 2022 …

More

Updating and reflecting on my website

Matt Gibson
|

Reflections on returning to a Pelican-based personal website after years away: what works, what doesn't, and thoughts on static site generation.

More

Exploring the CPython interpreter

Matt Gibson
|
Don't lose your head trying to understand Python.

I enjoyed this talk introduction by Allison Kaptur - "Bytes in the Machine" which provides easy but insightful introduction to the CPython intepreter. Worth watching if you'd like to know more about how CPython is implemented and what exactly the interpreter is doing.

Could be followed up with this intro by Guido or a very long …

More