Viewing profile — gylterud

Juniors learn. Some juniors are potential good seniors. Over time they will internalise good architecture and be able to make good judgments on their own. Micromanaging LLMs is lik…

On my spare time, I am working on my game, a sci fi dungeon crawler – written in Haskell. Currently finishing up the graphics engine. OpenGL based. 2.5D but with a real 3D dynamic …

As a university professor, I still get random people e-mailing me “dumb questions” every once in a while. And I still try my best to answer them – in the spirit of keep the Interne…

No changing when schools and kindergartens are open. Where I live, kindergarten closes 16:30. So 8–16 it is!

Not sure why the comments here are so negative! I found it mildly interesting, and worth a few minutes on a Sunday!

I did not realise there are ads for LLMs. Of course if I thought about it, I would conclude that there must be. But somehow the concept seems strange to me. What do they advertise?…

Countries do not do, things people do. Dehumanising “the others” is a human trait, and a very destructive one. Just like violence and greed. People have different susceptibility fo…

I owe so much to this blog! It was such an inspiring read when I started out programming in Haskell back in 2007. Today I am a professor in computer science and still draw on it fo…

No, but they emulate intelligence by making up connections between seemingly disparate things, where there are none.

Well, with the help of Microsoft and Apple, who knows? This might just be the years of the Linux desktop! Valve has made Linux gaming a thing. So, even normies are trying it…

https://hakon.gylterud.net/ I write there about anything which interests me. My site is written in Markdown and an mkfile builds it using Pandoc. There is even an atom feed for my …

I used Gentoo for ten years (2005–2015), and I was very happy with it! Stable was not the word I would use, in that updating frequently broke and required manual intervention. But …

One would then maybe suspect breaking up alliances with Europe is the point of the whole thing.

I had not thought about this perspective (I wrote this essay many eons ago). But now I have a good colleague who is dyslexic, and he said the same thing. He says, for him, the colo…

I guess they were confused by the GHc documentation which says that the language option TraditionalRecordSyntax was introduced then, and enabled by default. Of course, the actual s…

Cool. I might go back to it sometime some time! I really liked the routing protocol and the ease of setting up services for it.

What is the status on I2P these days? I used to run a lot of stuff on it. It was a lot of fun. It was like this cozy alternative development of internet, where things still felt li…

The day when LLMs generate useful code with dependent types! That would be awesome!

The way code is written in Haskell, small laser focused functions and clearly defined and mockable side effects, lends itself very well to property based testing. This might not be…

I have found that Haskell has two good things going for it when it comes to LLM code generation. Both have to do with correctness. The expressive type system catches a lot of mista…

I usually treat the LLM generated Haskell code as a first draft. The power of Haskell in this case is the fearless refactoring the strong type system enables. So even if the code g…

Great explanation! I guess it also hints at why the sequences keep getting smaller when you compress it several times (as mentioned in a footnote). Each compression peels away laye…

Yes, sorry for just teasing its existence. I shall see if I can find a good way to present it when I have some time!

Neat! The AI game seems to go on forever. It hasn’t found the winning strategy. Which is fine. The infinite sequences seem to be getting the most juice in the discussion here.

Cool! I haven’t thought about varying the number of stones one could put. It’s definitely a variation to look into! Would your intuition be that this makes it so that neither playe…