Write some more about quickfacts

content/quickfacts-intro/index.md

@@ -1,23 +1,39 @@
 +++
 title = "Quickfacts - Intro"
-date = 2026-05-01
+date = 2026-04-01
 description = "An introduction to my Quickfacts project"
 draft = true
 
 [taxonomies]
 categories = ["Programming"]
 tags = ["Factorio", "Rust", "Quickfacts"]
+
+[extra]
+toc = true
 +++
 
-Quickfacts is a long ongoing hobby project of mine, with the aim of being able to analyze most factorio blueprints.
-The goal would be to have a website or application, which you can give most blueprints and it then can tell you things about how the blueprint will perform.
+A small introduction to my ongoing quickfacts project.
+A set of tools/progams to automatically analyze factorio blueprints, basically the LLVM of factorio.
+I have to no idea if this will ever work to a good degree or how far I will get, but I want to share this journey and document my ideas and approaches.
 
-## Analysis Goals
+<!-- more -->
+
+# Motivation
+I love playing factorio and I especially love optimizing my builds and going down the rabbit hole on analyzing blueprints.
+However given my interest in analysis of computer programs and formal methods, I thought why not combine them, because if you squint with your eyes these problems look very similar.
+
+At the end of this road, I would love to have a website, where I can paste a blueprint I am interested in, select/configure an analysis and then get the results.
+
+# Analysis Goals
 - Determine the output rate given a fixed input rates (and how much of the input is actually being consumed)
 - Check how well a belt-balancer works
 - Highlight bottlenecks in a setup
 
-## Known Limitations
+# Known Limitations
 - Any form of circuit networks/logic
 - Trains
 - Spoilage (for now)
+
+# Approach
+I am going to develop a rough mathematical/formal model for factorio and its' semantics.
+Then I hope to do something similar to data-flow analysis and essentially express all the logic and analysis as a set of mathematical steps/functions to apply.