Jan van Brügge's Avatar

Jan van Brügge

@jvanbruegge.cerberus-systems.de

36
Followers
34
Following
32
Posts
12.11.2024
Joined
Posts Following

Latest posts by Jan van Brügge @jvanbruegge.cerberus-systems.de

This argument never made sense to me. If someone is willing to wait several years for a PC version of a Sony game, they would never buy a PS5 in the first place. I certainly won't, but got several Sony games on Steam
Most will just wait until emulation is good and pirate the game or not play at all

04.03.2026 18:32 👍 3 🔁 0 💬 0 📌 0
A chocolate cake with a Haskell logo made out of marzipan on top.

A chocolate cake with a Haskell logo made out of marzipan on top.

My mom just dropped by to give me the possibly best birthday cake @haskell.org 😅

12.02.2026 09:17 👍 40 🔁 3 💬 0 📌 2
A screenshot of a very broken GitHub mobile website

A screenshot of a very broken GitHub mobile website

Truly the quality we have come to expect from Microslop

04.02.2026 17:01 👍 0 🔁 0 💬 0 📌 0

GitHub continues to be broken. Now they apparently removed the button to edit the PR title?

04.02.2026 16:45 👍 0 🔁 0 💬 1 📌 0
A screenshot of the mobile GitHub website that shows the read me of the nixpkgs repo. It does not fill the width of the screen

A screenshot of the mobile GitHub website that shows the read me of the nixpkgs repo. It does not fill the width of the screen

Again, more vibecoding on Github, my future projects are all going to codeberg.org

19.01.2026 15:47 👍 1 🔁 0 💬 0 📌 0

Just found out that a website written in Haskell that I deployed and forgot about over *7 years ago* went down this week, not because it crashed, but because the logs were so long that the server ran out of disk space 🙈

Another tally in the column of "Haskell just works"

18.01.2026 22:21 👍 38 🔁 5 💬 1 📌 0
Preview
Bevy 0.18 Bevy is a refreshingly simple data-driven game engine built in Rust. It is free and open-source forever!

Bevy 0.18 is out now!

It features Atmosphere Occlusion and PBR Shading, Generalized Atmospheric Scattering Media, Solari features, PBR Fixes, Font Variations, Automatic Directional Navigation, Fullscreen Materials, Cargo Feature Collections, Camera Controllers, and more!

bevy.org/news/bevy-0-...

13.01.2026 21:41 👍 182 🔁 72 💬 2 📌 3
Post image Post image

Pilgrims and Wanderers.

#hollowknight #silksong #BRart

06.01.2026 21:45 👍 330 🔁 105 💬 6 📌 1

Last night's biggest surprise was Star Wars: Fate of the Old Republic, led by Casey Hudson, who directed KOTOR (and Anthem). Exciting news for lots of people... but Lucasfilm says the studio was founded this year, which means that 2030 is an *optimistic* guess. Maybe it'll be a PlayStation 7 game

12.12.2025 16:30 👍 2140 🔁 274 💬 89 📌 171

I absolutely loved the old Kotor games, let's see if they can make a decent new one

12.12.2025 01:26 👍 2 🔁 0 💬 0 📌 0

I have to give my university-issued Laptop back soon, so I am reviving my old personal Laptop that did not see any use in the last three years.

The whole process was:
1. Log into Wi-Fi
2. cd nix-config
3. git pull
4. nixos-rebuild switch --flake .

God I love #NixOS

07.12.2025 22:33 👍 3 🔁 0 💬 0 📌 0
Post image

Don't you love seeing vibe coding out in the wild?

07.12.2025 00:13 👍 2 🔁 0 💬 0 📌 0
Screenshot of the following Haskell code:


data Elem a = MkElem
  { left :: Elem a,
    x :: a,
    right :: Elem a
  }

value :: Elem a -> a
value y = y.x

mkRing :: Int -> Elem Int
mkRing size = start
  where
    (start, final) = go final 0
    go prev !n =
      let x = MkElem prev n (if n == size - 1 then start else next)
          (next, end) = go x (n + 1)
       in (x, if n == size - 1 then x else end)

left :: Int -> Elem a -> Elem a
left 0 x = x
left n x = left (n - 1) x.left

right :: Int -> Elem a -> Elem a
right 0 x = x
right n x = right (n - 1) x.right

ring :: Elem Int
ring = right 50 $ mkRing 100

Screenshot of the following Haskell code: data Elem a = MkElem { left :: Elem a, x :: a, right :: Elem a } value :: Elem a -> a value y = y.x mkRing :: Int -> Elem Int mkRing size = start where (start, final) = go final 0 go prev !n = let x = MkElem prev n (if n == size - 1 then start else next) (next, end) = go x (n + 1) in (x, if n == size - 1 then x else end) left :: Int -> Elem a -> Elem a left 0 x = x left n x = left (n - 1) x.left right :: Int -> Elem a -> Elem a right 0 x = x right n x = right (n - 1) x.right ring :: Elem Int ring = right 50 $ mkRing 100

Probably the stupidest way to approach advent of code day 1 in #Haskell, but I just love knot-tying too much

03.12.2025 14:46 👍 1 🔁 0 💬 0 📌 0

You can have that quite easily though:
environment.etc.myconfig = ./.;

26.11.2025 18:01 👍 5 🔁 0 💬 0 📌 0

@fasterthanli.me planted the ghostty bug, so today I did finally switch.
Yeah, it's nice 😅

23.11.2025 00:57 👍 1 🔁 0 💬 0 📌 0

Oh, looks like it has not been updated in a year. Sad

20.11.2025 20:29 👍 0 🔁 0 💬 0 📌 0
GitHub - dhall-lang/dhall-kubernetes: Typecheck, template and modularize your Kubernetes definitions with Dhall Typecheck, template and modularize your Kubernetes definitions with Dhall - dhall-lang/dhall-kubernetes

Dhall is quite nice in that regard. I used it for quite a while but then moved away from Kubernetes entirely github.com/dhall-lang/d...

20.11.2025 20:28 👍 1 🔁 0 💬 1 📌 0
Post image

spotify is guilttripping me over cancelling my subscription, are you kidding me

stay classy corpo

26.10.2025 14:22 👍 10 🔁 3 💬 3 📌 0

Oh there were major changes to run and http as well. Actually dom is the reason why I never finished it, there is an issue in snabbdom that I never came around to fixing

20.10.2025 17:31 👍 2 🔁 0 💬 0 📌 0

Calling for the separation of Church numerals and application State.

19.10.2025 19:22 👍 25 🔁 2 💬 0 📌 0

Would not really need to build it from scratch, just need to revive the rewrite PR that I started a few years back 😅

19.10.2025 21:44 👍 0 🔁 0 💬 1 📌 0
Preview
coding style · Wiki · Glasgow Haskell Compiler / GHC · GitLab The Glorious Glasgow Haskell Compiler.

Notes are a convention for documentation originating in GHC: gitlab.haskell.org/ghc/ghc/-/wi...

Basically, instead of breaking up functions with long form documentation comments, you hoist the comment to the top-level and give it a unique name. In the function you only reference the note by name

01.10.2025 09:29 👍 1 🔁 0 💬 1 📌 0
A screenshot of Neovim with the cursor on a GHC-style note. In a window on the lower screen it shows two file paths with line numbers and short previews of note references

A screenshot of Neovim with the cursor on a GHC-style note. In a window on the lower screen it shows two file paths with line numbers and short previews of note references

#Haskell language server was just released and it includes my changes to the notes plugin. You can now use "find references" to see all the places that reference a given note

30.09.2025 11:17 👍 19 🔁 5 💬 1 📌 1

OH: if vaccines caused autism, we’d have way more trains in the United States

05.09.2025 17:17 👍 1518 🔁 257 💬 16 📌 6
Video thumbnail

i saw someone point out that the selector for time on iphone alarms is actually just a really long list and not truly circular. everything i’ve known is a lie

31.08.2025 17:39 👍 693 🔁 165 💬 31 📌 50
Preview
Bevy's Fifth Birthday Bevy is a refreshingly simple data-driven game engine built in Rust. It is free and open-source forever!

Today is Bevy's fifth birthday! As always, I've used this as a chance to reflect on the past year and outline my hopes and dreams for the next year of #bevy:

bevy.org/news/bevys-f...

11.08.2025 10:54 👍 153 🔁 40 💬 4 📌 7

Honestly the soundtrack is the one piece of the game I don't like. It feels very repetitive and as far as I can tell there is only one song on repeat for the main game? So yeah, after 10min I had to mute the music.

15.07.2025 16:34 👍 0 🔁 0 💬 0 📌 0
Post image

We ran a randomized controlled trial to see how much AI coding tools speed up experienced open-source developers.

The results surprised us: Developers thought they were 20% faster with AI tools, but they were actually 19% slower when they had access to AI than when they didn't.

10.07.2025 19:46 👍 6901 🔁 3016 💬 106 📌 625
Solving `Passport Application` with Haskell Using logic programming to beat the game

Solving "UK Passport Application" with Haskell: jameshaydon.github.io/passport/

29.06.2025 04:47 👍 26 🔁 11 💬 0 📌 1
Programming & Proving by Jan van Brügge

Prompted by Hécate (last year 😅) I finally wrote up a blog post on why you should use the `Generically` newtype instead of DefaultSignatures in @haskell.org

jvanbruegge.github.io/blog/2025/pl...

08.06.2025 11:22 👍 4 🔁 3 💬 0 📌 0