Jan van Brügge's Avatar

Jan van Brügge

@jvanbruegge.cerberus-systems.de

31 Followers  |  31 Following  |  19 Posts  |  Joined: 12.11.2024  |  2.0198

Latest posts by jvanbruegge.cerberus-systems.de on Bluesky

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 — 👍 20    🔁 5    💬 1    📌 1

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

05.09.2025 17:17 — 👍 1521    🔁 256    💬 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 — 👍 694    🔁 168    💬 31    📌 52
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 — 👍 154    🔁 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 — 👍 6914    🔁 3026    💬 107    📌 624
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

I am always baffled when I read something like this. Some people really believe in such bullshit

02.06.2025 23:22 — 👍 3    🔁 0    💬 0    📌 0
New Batteries for XBOX 360 Controllers – CHRZ Engineering

A friend of mine upgraded his wireless Xbox 360 controllers with custom LiPo batter packs: chrz.de/2025/04/22/n...

23.05.2025 14:54 — 👍 0    🔁 0    💬 0    📌 0

Is the similarity to the German word "Unsinn" (meaning nonsense) intended or just a happy accident?

10.05.2025 08:00 — 👍 2    🔁 0    💬 1    📌 0
summarize: One, after trial, the Court found that Apple's 30 percent commission
"allowed it to reap supracompetitive operating margins" and was not tied to the value of its intellectual property, and thus, was anticompetitive. Apple's response: charge a 27 percent commission (again tied to nothing) on off-app purchases, where it had previously charged nothing, and extend the commission for a period of seven days after the consumer linked-out of the app.
Apple's goal: maintain its anticompetitive revenue stream. Two, the Court had prohibited Apple
from denying developers the ability to communicate with, and direct consumers to, other
purchasing mechanisms. Apple's response: impose new barriers and new requirements to increase friction and increase breakage rates with full page "scare" screens, static URLs, and generic statements. Apple's goal: to dissuade customer usage of alternative purchase opportunities and maintain its anticompetitive revenue stream. In the end, Apple sought to maintain a revenue
stream worth billions in direct defiance of this Court's Injunction.
In stark contrast to Apple's initial in-court testimony, contemporaneous business documents reveal that Apple knew exactly what it was doing and at every turn chose the most anticompetitive option. To hide the truth, Vice-President of Finance, Alex Roman, outright lied under oath. Internally, Phillip Schiller had advocated that Apple comply with the Injunction, but Tim Cook ignored Schiller and instead allowed Chief Financial Officer Luca Maestri and his
finance team to convince him otherwise. Cook chose poorly. The real evidence, detailed herein, more than meets the clear and convincing standard to find a violation. The Court refers the matter
to the United States Attorney for the Northern District of California to investigate whether
criminal contempt proceedings are appropriate.
This is an injunction, not a negotiation. There are no do-overs once a party willfully disregards a court order. Time is o…

summarize: One, after trial, the Court found that Apple's 30 percent commission "allowed it to reap supracompetitive operating margins" and was not tied to the value of its intellectual property, and thus, was anticompetitive. Apple's response: charge a 27 percent commission (again tied to nothing) on off-app purchases, where it had previously charged nothing, and extend the commission for a period of seven days after the consumer linked-out of the app. Apple's goal: maintain its anticompetitive revenue stream. Two, the Court had prohibited Apple from denying developers the ability to communicate with, and direct consumers to, other purchasing mechanisms. Apple's response: impose new barriers and new requirements to increase friction and increase breakage rates with full page "scare" screens, static URLs, and generic statements. Apple's goal: to dissuade customer usage of alternative purchase opportunities and maintain its anticompetitive revenue stream. In the end, Apple sought to maintain a revenue stream worth billions in direct defiance of this Court's Injunction. In stark contrast to Apple's initial in-court testimony, contemporaneous business documents reveal that Apple knew exactly what it was doing and at every turn chose the most anticompetitive option. To hide the truth, Vice-President of Finance, Alex Roman, outright lied under oath. Internally, Phillip Schiller had advocated that Apple comply with the Injunction, but Tim Cook ignored Schiller and instead allowed Chief Financial Officer Luca Maestri and his finance team to convince him otherwise. Cook chose poorly. The real evidence, detailed herein, more than meets the clear and convincing standard to find a violation. The Court refers the matter to the United States Attorney for the Northern District of California to investigate whether criminal contempt proceedings are appropriate. This is an injunction, not a negotiation. There are no do-overs once a party willfully disregards a court order. Time is o…

GodDAMN this ruling against Apple in the Epic lawsuit is brutal. This is a judge who is outright furious at a company and it is not going well for them.

s3.documentcloud.org/documents/25...

30.04.2025 23:33 — 👍 1919    🔁 444    💬 63    📌 106
Video thumbnail

I... think I did it? Live fracture in Geometry Nodes. All existing solutions I could find were permanent one-way operations or slow/lossy voxel-based approaches. I won't share this because it's very specific to my needs, but I'll give a simple breakdown in the thread below. 👇🧵
#b3d

22.04.2025 15:30 — 👍 1726    🔁 159    💬 44    📌 11

Mark from GMTK also fractured his elbow. I will ignore all other explanations and assume there is someone going around breaking specifically the elbows of game design YouTubers!

01.04.2025 09:05 — 👍 0    🔁 0    💬 0    📌 0

some more congestion pricing Ws:

Broadway attendance: up 21%
Restaurant reservations: up 7%
Pedestrian traffic: up 4%
Retail sales: up $900M
Commercial leasing: up 61%
Subway crime: down 37%
Car crashes: down 50%
Honking complaints: down 69%

24.03.2025 01:33 — 👍 5094    🔁 1318    💬 64    📌 153

Python is hard for all the wrong reasons. Want to run someone's code with deps? Well hopefully they setup an environment.

Oh it's a notebook? Wtf, why?

You want to deploy it? Like in production? With real users? Good luck...

But writing it is super easy...

12.03.2025 21:12 — 👍 9    🔁 3    💬 0    📌 0

Yeah, building HSR on balast is stupid. TGVs run during the day only because they need to fix the tracks at night. On the other hand, ERTMS is a better bet than the japanese equivalent.

19.02.2025 16:30 — 👍 5    🔁 0    💬 0    📌 0
Post image

The Jetsons, an influential cartoon television series of the 1960s “Sputnik” era, imagined we’d all have flying cars and therefore live on the tops of towers. It was the perfect sprawl futurism, in which technology finally triumphs in its long struggle to make walking impossible.

15.02.2025 19:13 — 👍 94    🔁 9    💬 3    📌 1
Post image

Congestion Pricing is creating tremendous benefits.
Subway Ridership: ⬆️ 13%
Bus Ridership: ⬆️ 6% (⬆️ 21% weekends)
Transit Crime: 🔻36%
Fatal Car Crashes: 🔻44%
Trip Times: 🔻10-30%

05.02.2025 15:36 — 👍 3745    🔁 846    💬 43    📌 137
Anna Lapwood on the organ in the concert hall of Dortmund

Anna Lapwood on the organ in the concert hall of Dortmund

Currently listening to a concert of the fantastic Anna Lapwood in Dortmund. Absolutely love it

04.02.2025 19:42 — 👍 0    🔁 0    💬 0    📌 0
An Android phone held in landscape. On the phone is a GameBoy Advance emulator playing a game. The game shows a white screen with a small pixel-art character at the bottom edge.

An Android phone held in landscape. On the phone is a GameBoy Advance emulator playing a game. The game shows a white screen with a small pixel-art character at the bottom edge.

Been working on `no_std` support for the #bevy game engine. It might not look like much, but here's a Bevy game compiled for the GameBoy Advance running in an emulator on an Android phone! The next release (0.16) will include this support for everyone! #gamedev

25.01.2025 05:54 — 👍 95    🔁 17    💬 5    📌 2
Post image 24.01.2025 01:27 — 👍 1    🔁 0    💬 1    📌 0
Github issue comment:
@jvanbruegge Just want to let you know, this plugin is awesome! It is awesome to explore a codebase using Goto Definition for the notes. It also motivates me to write more notes, as they are trivial to discover now and make it much easier to document architectural decisions.
This message is just to let you know, I appreciate this plugin a lot, I deeply underestimated how useful it would be!

Github issue comment: @jvanbruegge Just want to let you know, this plugin is awesome! It is awesome to explore a codebase using Goto Definition for the notes. It also motivates me to write more notes, as they are trivial to discover now and make it much easier to document architectural decisions. This message is just to let you know, I appreciate this plugin a lot, I deeply underestimated how useful it would be!

Really happy to see that people like the hls-notes-plugin for #haskell language server. Notes are just such a nice way to document code.

20.01.2025 17:49 — 👍 2    🔁 0    💬 0    📌 0

I often package npm projects for NixOS and the amount of projects that uses a dependency which downloads random (prebuilt) binaries with a postinstall script is insane. I always have to set --ignore-scripts to make it reproducible.

11.01.2025 11:23 — 👍 2    🔁 0    💬 0    📌 0

As if millions of NIMBYs cried out in terror and were suddenly silenced

27.12.2024 20:25 — 👍 216    🔁 16    💬 8    📌 2

@jvanbruegge.cerberus-systems.de is following 20 prominent accounts