osmarks/website
1
0
Fork 0
mirror of https://github.com/osmarks/website synced 2025-06-26 15:12:54 +00:00
Code Issues Releases Wiki Activity

fix small-screen behaviour

Browse Source
This commit is contained in:
osmarks 2025-05-18 18:23:29 +01:00
parent aaed89096a
commit 5cc56bcfbd
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
blog/autocrafting-algorithms.md
View File

@ -127,7 +127,7 @@ We can easily imagine tracking the time taken to run a recipe on a machine autom
There is a further issue: randomness. Sometimes - mostly with "raw material" operations such as pulverizing ores or growing crops - outputs are produced nondeterministically some fraction of the time. This makes exact forward planning of recipe execution completely impossible, though in principle you could assume, say, the 95th percentile cost and rerun the random part until it works. In practice, most people run these as part of "always-on" systems which build up stockpiles (e.g. [this](https://guide.appliedenergistics.org/1.20.4/example-setups/recursive-crafting-setup)), or assume that the recipe will run enough as part of deterministic queries.
Does this have any other practical applications? Not that I know of - I am not sure this even turns up in games outside of modded Minecraft[^7]. This is apparently related to [Petri](https://en.wikipedia.org/wiki/Petri_net) [nets](https://isr.umd.edu/Labs/CIM/miscs/wmsor97.pdf), though I haven't paid enough attention to them to see why, as well as (much more obviously) to [vector addition systems](https://en.wikipedia.org/wiki/Vector_addition_system) and [commutative](https://www.sciencedirect.com/science/article/pii/S0019995883800229) [grammars](/assets/misc/commutative_grammars.pdf).
Does this have any other practical applications? Not that I know of - I am not sure this even turns up in games outside of modded Minecraft[^7]. This is apparently related to [Petri](https://en.wikipedia.org/wiki/Petri_net) [nets](https://isr.umd.edu/Labs/CIM/miscs/wmsor97.pdf), though I haven't paid enough attention to them to see why, as well as (much more obviously) to [vector addition systems](https://en.wikipedia.org/wiki/Vector_addition_system) and [commutative](https://www.sciencedirect.com/science/article/pii/S0019995883800229) [grammars](/assets/misc/commutative_grammars.pdf). I am told that this is also equivalent to finding proofs in linear logic.
[^1]: We could equivalently repeat steps rather than giving them a quantity, but real implementations don't usually do that, for efficiency.

3
src/style.sass
View File

@ -223,7 +223,7 @@ blockquote
> *
width: calc(100vw - 2 * $content-margin)
max-width: 80em
min-width: calc(40rem - 2 * $content-margin)
//min-width: calc(40rem - 2 * $content-margin)
position: relative
z-index: 1
@ -270,6 +270,7 @@ blockquote
box-sizing: border-box
list-style-type: none
display: block !important
z-index: 2
@media (min-width: calc(4 * $content-margin + $content-width + $sidenotes-width + $navbar-width))
// fullwidth 3-pane layout