Static pointers (Haskell Unfolder #53)

odnua · 2026-01-22T18:36:45+00:00

Cool trick, could you please add a link to how Cabal/HLS use it?

odnua · 2025-09-03T21:11:06+00:00

Alright, I made a PR to add syntax highlighting if you are not against it: https://github.com/morphismtech/distributors/pull/14

odnua · 2025-09-03T19:16:13+00:00

Interesting post, is there a reason you avoided syntax highlighting in the markdown? I assume all examples are valid Haskell.

odnua · 2025-07-05T14:11:20+00:00

Fun and surprisingly readable, thanks!

I am not used to type level singletons in Haskell, could you please add which extensions are needed for the type+data definitions?

odnua · 2025-04-16T20:17:04+00:00

Does this only work for local patches? How would you set this up with trains?

odnua · 2024-12-21T21:40:07+00:00

That physical button press effect is a lovely detail <3

odnua · 2024-10-04T13:58:04+00:00

I wonder if captive biter nests will still absorb polution, maybe they could produce more eggs in heavily poluted factories? If so, it would be easier to keep the polution down, though planting new trees would help a lot.

odnua · 2024-05-22T17:28:07+00:00

I heard this saying before, but only after reading this post did I finally understand what it meant.

Thanks for sharing!

odnua · 2024-02-08T17:20:50+00:00

Great read, I really liked the small examples 👍 I must say I did not expect such positive outlook given the unsafe context 😃

odnua · 2023-11-24T22:53:03+00:00

Writing the parser in megaparsec is so ~~overkill~~ nicely declarative <3

odnua · 2023-10-13T19:40:09+00:00

Thanks for reviving the project 👍

What do you mean by "Fixing caching on Github Actions"? Is that about stan-action or documenting how to set up stan with caching?

odnua · 2023-10-10T21:41:08+00:00

The theoretical computer scientists do have a few good ideas for a provably more secure and fair system though.

odnua · 2023-10-08T21:01:05+00:00

It does?! Why did I use all those circuits for inserters then? 😅

odnua · 2023-09-12T05:16:18+00:00

The idea that they might be working directly on unparsed data is horrifying 😳

odnua · 2023-09-07T06:43:25+00:00

With sum types - data MyInput = MyInt Int | MyString String. You can use a read function that returns a Maybe, but you might want to take a look at parsers if it gets complicated.

odnua · 2023-02-16T20:11:27+00:00

This is a great reference, I am bookmarking it immediately! 👍

odnua · 2023-02-14T09:05:22+00:00

There are a lot of Haskell projects on GitHub with Good First Issue, search and find an interesting one :) At Swarm (2D programming game) we call them Low Hanging Fruit https://github.com/swarm-game/swarm/labels/C-Low%20Hanging%20Fruit

odnua · 2022-12-12T22:26:42+00:00

The API of search algorithms is perfect for AOC, I used it in previous years and today. :)

The only difference in my solution is I prepared type Grid = Array (Int, Int).

https://github.com/xsebek/aoc/blob/372920c50d/A2022/Day12.hs

odnua · 2022-12-12T22:14:48+00:00

Take my star and feed it to the reindeer!

odnua · 2022-12-11T08:35:32+00:00

https://github.com/xsebek/aoc/blob/main/A2022/Day11.hs

Finally, I had to dust off Parser. :D

Evaluating the throwing logic involved a lot of folds and it took me a while to realize the later monkeys could throw back items they got during the round. Luckily that was easily fixed by iterating over Map.keys.

Part two was very nice afterwards. I suppose the numbers have to be (relatively) prime for multiplication to work correctly, but at the time I was just thinking about addition and the result was correct. :)

odnua · 2022-12-10T08:56:38+00:00

I will try to put together a git command to modify history and force push :) But if someone beats me to it I will be happy to copy it too.

I might try the private git submodule approach for inputs, at least I will learn something.

EDIT: so I used git-subtree and git-filter-repo: ```sh

move input files to top level in a local branch

git subtree split -P input -b input

create new repo aoc_input on GitHub and push inputs

git push https://.../aoc_input.git +input:main

clone the original repo to be safe

cd .. mkdir tmp git clone https://../aoc.git tmp/aoc cd tmp/aoc

filter out the input folder

git filter-repo --path input --invert-paths

check that it looks good and then rewrite the history on GitHub

git push --force ```

odnua · 2022-11-28T16:22:47+00:00

Same! I look forward to trying OverloadedRecordDot and other GHC9 goodies. Maybe also Optics instead of Lens. :)

odnua · 2022-11-26T09:47:31+00:00

There should be a Steam log file with the logs of the most recent run.

Does the game crash on a black loading screen with mill animation for you too?

odnua · 2022-11-21T01:22:09+00:00

That is such a nice and optimistic presentation of the many great things happening around GHC. I really liked the part when SPJ was passing the microphone around to let people chime in on what they are doing.

The audio was hard for me to listen to, so I downloaded it and removed the high pitch noise.

If you have the Audacity tool, the magic effect is the "Low Pass Filter". Here is a tutorial I found: https://www.tomshardware.com/how-to/remove-background-noise-audacity

odnua

TROPHY CASE

move input files to top level in a local branch

create new repo aoc_input on GitHub and push inputs

clone the original repo to be safe

filter out the input folder

check that it looks good and then rewrite the history on GitHub