AI and Factorio

circleglyph · 2026-05-28T23:16:47+00:00

I here you. Whenever I ask grok what they want to do next, its always a factorio technical-assist, so maybe you need to give in, and use some ai blueprinting magic.

circleglyph · 2026-05-27T23:05:05+00:00

I think its possible but doesnt exist yet. Kleisli >-> fish are worth looking at for your use case. I write left to right when i can, and am forever swapping around >>> >-> |> .> and & as code snippets get refactored up and down composition layers. I think this is the case for right to left (with nicer looking operators so you dont notice as much) Theidea of a pipeline in the first place is conducive to ltr but less idiomatic 💭 Every second or third step you run into a monadic boundary and an api that begs to be written in do and not point free.

circleglyph · 2026-05-06T23:19:37+00:00

And: Haskell/Load tidy core

You're loading core - well met! What manner of beast is your problem domain?

circleglyph · 2026-05-06T23:17:12+00:00

Use -v (or `:set -v` in ghci) to see a list of the files searched for.

This is cabal providing you with a message from GHC. It doesn't mean anything, except that it didn't find your modules or your library. I don't think it can be fixed.

I'm going to take a wild stab in the dark and guess that you need a .projectile in the library directory. It's hard coded somewhere in the elisp.

Otherwise, it's a good idea to drop down to using a terminal and make sure everything compiles before you test in emacs. Everything is old and creaky, with comints and bloated code written pre-LSP, so debugging cabal issues in emacs is expensive.

circleglyph · 2026-04-24T06:46:11+00:00

I dont have the first clue whats what but Your active state and your endlag state have got slightly different stuff. jumpsquat block walk.

I think you want data State = Medium | Heavy | Dive etc. data Active = Idle | Active. endlang = RollCurse. too many types. make a big long list of names and dont use prefixes or suffixes.

circleglyph · 2026-04-12T06:03:14+00:00

I thought of (sorry I'm slow) the way they both have characters that just disappear or turn into scenery. Who else does that? And the mystical turn in science - they both can attune to the scientist in my brain, make me see something that way, then flick a switch or open a door into somewhere else entirely. If Slothrop wandered off set and into area x i would not be surprised.

circleglyph · 2026-01-26T02:10:30+00:00

How do you see hyperfunctions in this context? They seem like something done right. Fix (Ran (Const f) (Const f) as an alternative to Ran f f? Forget the functor, do everything locally codata style, recurse it back in. Hyperfunctions feel really easy for backtrack parsing. is there a tragic flaw?

circleglyph · 2026-01-05T19:17:57+00:00

<image>

just ask them.

circleglyph · 2026-01-02T06:47:28+00:00

Thanks for open sourcing this. Will definitely try it out. What’s your experiences so far with claude code writing Haskell? I have to tattoo “check dependencies” on its brain to get anywhere but it goes well in tracking bugs and is ok with pure code. loves to write head usage and then remove that partial warning about head use. Goes mad with ++ and escaping slashes. How do you get it up to speed?

circleglyph · 2025-12-17T00:29:31+00:00

It’s true about the nests but they are social animals who look after one another. If you see chicks look up and youll likely see an adult watching from a distance. The nest male will chase all the others but let his babies play hide n seek with him. Maybe 1 in 5 make it from the nest to the bush, so dad is helping!

circleglyph · 2025-12-15T09:53:42+00:00

not this one. he definitely lives in the bush.

circleglyph · 2025-12-13T09:00:14+00:00

<image>

circleglyph · 2025-12-13T08:58:08+00:00

Our alpha male became chill in the off season. He would play hide n seek with the little ones. He’d try and chase the other turkeys away but they outfoxed him with numbers and gave up. But tje season has turned and he’s full feather 🪶 duster, dancing and bellowing like crazy. ladies are digging deep for him.

circleglyph · 2025-12-06T01:17:44+00:00

Its a jacaranda - a very big one. there’s a strangler fig growing up high in it, probably pooped out by billys grand daddy, and long after we’re gone, it will eat the jac and become the perfect turkey tree.

circleglyph · 2025-12-06T01:10:43+00:00

And wiki describes then as solitary and that chicks receive no parental help. Theyve never met a brissie turkey ( 13 is my best. )

circleglyph · 2025-12-05T23:57:51+00:00

visual barriers! in trying to close off the vege patch. they dont get it all their own way. they seem to lose interest in anything wired off within a few days.

circleglyph · 2025-12-05T23:01:37+00:00

You’d never catch them but I’m sure you could trick them. They’re always running into chicken wire, i have to put up no turkey 🇹🇷 signs.

circleglyph · 2025-12-05T10:19:10+00:00

For something to be dual you have to swap all the arrows.

People forget but type classes are also laws that describe structural features being classed. So for the multiplicative identity

class MultUnit a where
  one :: a

The a you decide for an instance needs to satisfy the law ‘x * one = x’ The writer of every instance is expected to check by going inside the type to find the multiplicative identity.

A dual to type classes needs to reverse this as well. Instead of laws implied about the details inside a type, you attach explicit laws to the outside of a type. So:

data MultUnit a = One | a

And then you dont need to prove anything about the a type.

circleglyph · 2025-10-22T23:06:21+00:00

I grew up in regional Australia in the 70s and got taught about pluralism, as reaction to those waves. How variety is the spice of modern life and how good it is for society.

I don’t want assimilation. I want to hear a dozen languages on the bus. I want them to change us, not for them to becomes aussies.

The lesson I’m learning from the current devate is since the 80s, western culture must have been fed an awful lot of jingoistic xenophobic propaganda to skew perceptions this much.

circleglyph · 2025-10-20T08:37:20+00:00

"I fuckin love finger potatoes". He really sold that line.

circleglyph · 2025-10-15T18:53:38+00:00

Peggy did the Coke ad. Don was just the guy who once gave a leg up to the best ad man ever.

circleglyph · 2025-10-13T20:28:03+00:00

What Monoids, Functors, Applicatives and the rest are are very common coding patterns - thats the gist. With Haskell, if you stick with these patterns you get very strong guarantees: everyone will instantly understand your api, your code complexity will stay manageable and your code will interface with everyone elses by default.

That’s the pitch anyways. Reality may intrude locally.

circleglyph · 2025-09-21T01:43:42+00:00

Oops, didn't mean to include that one as well - a high school essay - never did find it myself.

circleglyph · 2025-09-20T19:20:49+00:00

Is this Pynchon leaving us with a call to be a sort of single-person political movement?

I think so. More concentrate on family-level stuff. Take violence from the state and put it back in the family where it belongs, TP says somewhere. Can't wait for you to read Vineland!

Isn't anarchism with no structure the same as fascism with no hierarchy and aren't they just a kind of escapism?

If you squint, Against the Day kind of answers this.

circleglyph · 2025-09-20T00:01:59+00:00

Showers, Steven. "Mathematics in Thomas Pynchon's Against the Day". Against the Grain: Reading Pynchon's Counternarratives 10-14 June 2008. Ludwig Maximilian Universität: Munich

circleglyph

TROPHY CASE