Moonlight Xanadu

I’ve many times heard the following: A dependent type is a type whose definition depends on a value.

I’m working on a Gamebook unroller in Haskell currently, and one of the things that entails is generating a world with a finite number of states.

Recently I came across row polymorphism in compiled languages via typeclasses.

Places🔗 The base form of bindings in Lisp is assigning a value to a symbol1: > (setq x 2) But what about assigning to things that aren’t symbols, like slots or arrays?

Powered by HAXE

I am quite thoroughly disappointed, partly apalled and perhaps slightly scared.

Random things I wanna write down 2026🔗 2026-08🔗 2026-08-07🔗 Is advanced point-free programming stack programming?

Many people have ranted about the GO compiler’s insistance on all variables being used.

<Hackmore> Hey Releston what are you up to?

Run EUR CZK

Search

Today a cute little program landed in my RSS feed called flower.

My AoC 2025 solutions in Common Lisp.

I am well aware everything I say is arbitrary and it’s all just for fun.

Sometime ago I heard a factoid that children had to learn more and more planets in school until we finally discovered that those things were not planets.

(dolist (p '(family friends classmates colleagues friends)) (push p *people*)) (setf life (reduce #'know *people*))

🔗 Recording

One of the great features many Lisp languages share is that they try to have an extremely tiny core language and then just implement everything else in it.

This is a list of things I always forget when writing a paper or thesis.

I am not talking about sci-fi as we often picture it today as anything containing space-travel, advanced technology or aliens, rather it often doesn’t feature aliens at all.

Many times I’ve pondered if Haskell could support variadic arguments or at least keywords, since sometimes they are more readable and I for one do prefer them:

This has since become a Lang-Talk.

When working with some files for our paper, I needed to extract some input data from an archive, not all as there’s many of them, convert them, and then run it all through some pipelines.

A few let’s say statements about system design decisions followed by ponderings.

The witch toad effect lasts 3 turns Once the dragon is defeated, if a player wants, they may invoke the old win condition of losing a life at the start of every turn the crown is uncontested, otherwise the 5e condition kicks in.

From the artwork Merlin by Earl Norem, to countless random beastiary entries in adventure books, wizards tend to have a few forms.

--- begin entry --- Name: Martin Boreman Biometric Hash: 6594ee5e0a684c7f9459772970daf5e2 Role: Engineering Officer --- end entry --- --- begin entry --- Name: George Blon alteration insipidity impression by travelling reasonable Biometric Hash: 00b4bdba…

I’ve created a repo for the package which implements an MVP of this system, using algorithms from the paper The Simple Essence of Algebraic Subtyping, specifically implementing Simple-Sub.

🔗 Recording Iota: Transpiling LLVM to a high-level language ?!?!

A little program to draw a flower written with Common Lisp in the browser.

🔗 Recording Why exceptions are like Dynamic Monads A.K.A.: Why the point of return is a function input I want to build a sort of mental model, and show why nonlocal exits aren’t as bad for some applications as they are made out to be.

I try to approach most technology with a healthy dose of scepticism.

I had a random thought today while looking for a word in a list, what if those words were ordered by edit distance rather than alphabetically…

Today I did an experiment, way back when I played SWTOR they allowed you to play in the starting area before the download was finished, similarly World of Tanks allows one to play with low-tier tanks before the high-tier download etc.

When somebody asks me for my favourite fact, I tend to pull out a very old one I heard and factchecked a long time ago: Did you know that the World War I Treaty of Versailles signed in 1919, also dictates what Concert Pitch Germany has to tune to?

I hate that I can’t convert between numbers and months, let-alone in my native language, so… imma leave a table here # English Czech 1 January Leden 2 February Ůnor 3 March Březen 4 April Duben 5 May Květen 6 June Červen 7 July Červenec 8 August Srpen 9 S…

Word Definition Butterfly Defect When a large number of events and coincidences all align almost supernaturally to achieve an incredible result of absolutely nothing.

Our lord has left writing on the walls, Products of his work, Summary summations of decades lost to inference, With no interference he’d reign supreme.

Love is a tree of knowledge, And lovers sit, walk, stalk, Along its winding branching stalks, One may know what’s in stow, Another wants to find, But to his mind, his neighbour is most unknown.

Again, this is some random bloke I met in Prague Zápis z autobusu…

Computers are built on top of abstractions, I would perhaps even be willing to say that it is one of the few things in life that are pure abstractions all the way down.

So, many of you may be familiar with the ol’ set of numbers that are present in nearly every language: Integers Floats But some languages go beyond this, and I mean wayyy beyond.. time to say hi to the numeric tower.

Thine words dishevel the yearning in my heart to meet you, only so that feeling may rise and I speak what it has to say.

I mellow in my thoughts while the disk bellows pushing bytes in sequence to my little fellow.

Suicide trigger warning Still raining, though I should probably be informing you whenever that isn’t the case.

Thank you to the Whisper library for helping me transcribe a sporadic voice message that is the only record of this encounter.

In the beginning a chime, A head primed, disk turned, and in its skin burned the bits to onset time.

This is going to be a few notes on a bio-horror setting.

This is a recollection of today’s attempts to solve the write delays on my main home mount.

I went through a few configurations recently trying to get the perfect networking setup.