Jan van Brügge
LightNews LightNews
jvanbruegge.cerberus-systems.de
Jan van Brügge
@jvanbruegge.cerberus-systems.de
31 followers 31 following 19 posts
Posts Replies Media Videos
Reposted by Jan van Brügge
paperpyro.bsky.social
spotify is guilttripping me over cancelling my subscription, are you kidding me

stay classy corpo
October 26, 2025 at 2:22 PM
Reposted by Jan van Brügge
haskell.org
Calling for the separation of Church numerals and application State.
scarbosheep.bsky.social Scarbo the Black Sheep θΔ @scarbosheep.bsky.social · 25d
Do you only recognize the Church numerals? jk
October 19, 2025 at 7:22 PM
jvanbruegge.cerberus-systems.de
#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
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
September 30, 2025 at 11:18 AM
Reposted by Jan van Brügge
lookitup.baby
OH: if vaccines caused autism, we’d have way more trains in the United States
September 5, 2025 at 5:17 PM
Reposted by Jan van Brügge
coyotes.bsky.social
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
August 31, 2025 at 5:39 PM
Reposted by Jan van Brügge
cart.work
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...
Bevy's Fifth Birthday
Bevy is a refreshingly simple data-driven game engine built in Rust. It is free and open-source forever!
bevy.org
August 11, 2025 at 10:54 AM
Reposted by Jan van Brügge
metr.org
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.
July 10, 2025 at 7:47 PM
Reposted by Jan van Brügge
jameshaydon.bsky.social
Solving "UK Passport Application" with Haskell: jameshaydon.github.io/passport/
Solving `Passport Application` with Haskell
Using logic programming to beat the game
jameshaydon.github.io
June 29, 2025 at 4:47 AM
jvanbruegge.cerberus-systems.de
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...
Programming & Proving by Jan van Brügge
jvanbruegge.github.io
June 8, 2025 at 11:22 AM
jvanbruegge.cerberus-systems.de
A friend of mine upgraded his wireless Xbox 360 controllers with custom LiPo batter packs: chrz.de/2025/04/22/n...
New Batteries for XBOX 360 Controllers – CHRZ Engineering
chrz.de
May 23, 2025 at 2:54 PM
Reposted by Jan van Brügge
reichlinmelnick.bsky.social
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...
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…
April 30, 2025 at 11:33 PM
Reposted by Jan van Brügge
majormcdoom.bsky.social
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
April 22, 2025 at 3:30 PM
Reposted by Jan van Brügge
samd.bsky.social
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%
March 24, 2025 at 1:33 AM
Reposted by Jan van Brügge
theoverengineered.bsky.social
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...
March 12, 2025 at 9:12 PM
Reposted by Jan van Brügge
humantransit.bsky.social
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.
February 15, 2025 at 7:13 PM
Reposted by Jan van Brügge
nycnewliberals.org
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%
February 5, 2025 at 3:36 PM
jvanbruegge.cerberus-systems.de
Currently listening to a concert of the fantastic Anna Lapwood in Dortmund. Absolutely love it
Anna Lapwood on the organ in the concert hall of Dortmund
February 4, 2025 at 7:42 PM
Reposted by Jan van Brügge
bushr.at
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
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.
January 25, 2025 at 5:54 AM
jvanbruegge.cerberus-systems.de
January 24, 2025 at 1:27 AM
jvanbruegge.cerberus-systems.de
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.
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!
January 20, 2025 at 5:49 PM
Reposted by Jan van Brügge
nerd4cities.bsky.social
As if millions of NIMBYs cried out in terror and were suddenly silenced
what-n-tarnation.bsky.social What in Tarnation @what-n-tarnation.bsky.social · Dec 27
reminder that many of the most powerful actors in local, state and federal politics, entrusted to guide hundreds of billions in tax payer money, look at this map and weep for the decades of unheld community engagement listening sessions and unwritten 11,000 page impact statements
December 27, 2024 at 8:25 PM
jvanbruegge.cerberus-systems.de
So, today I finished the most difficult #factorio build I've ever done. It's an automated crafting system where you can set what items you want in your storage and the system will craft them including intermediate products (!!).
More details and the blueprint are here: old.reddit.com/r/factorio/c...
A complicated mess of combinators and assembly machines
December 5, 2024 at 9:49 PM
jvanbruegge.cerberus-systems.de
Look what they need to mimic a fraction of our power! #haskell
DO = (unit, bind) => f => { const gen = f() const next = acc => { const {done, value} = gen.next(acc) return done ? unit(value) : bind(value)(next) } return next() } // specific DO instance for Either: doEither = DO(unit, bind) With this, we can use a slightly weird, but much more readable do notation: input = 42 result = doEither(function* () { a = yield divide(42, input) b = yield divide(42, a), c = yield divide(b, a), return c; }) console.log(prettyEither(result)) // "Right 42"
November 28, 2024 at 2:24 PM
jvanbruegge.cerberus-systems.de
@staltz.com finally convinced me to sign up for bluesky 😅
November 12, 2024 at 10:09 AM