sjoerdvisscher.w3future.com - Profile | ThreadSky | a Reddit-style client for Bluesky

Is red meat bad for you? New meta study of 44 studies finds it depends on the sponsor. If the sponsor was impartial, most studies find it's bad for you. If the sponsor was the red meat industry, most studies are structured to find no problems. pubmed.ncbi.nlm.nih.gov/40379522/

submitted 1 day ago • 8 comments

Violating memory safety with Haskell's value restriction welltypedwit.ch/posts/value-...

submitted 4 days ago • 2 comments

I've written a blog post about my recent WebGPU particle life simulation adventures! It presents the formulas used for the model & explains how it works under the hood: lisyarus.github.io/blog/posts/p... Below is a gallery of random systems I've found (links to them are in the article) 👇

submitted 2 days ago • 3 comments

A new (and probably last) version of my in-browser particle life simulator with some highly-requested features: ✅ Toroidal (aka looping) map ✅ Copying URL to share your simulation with others ✅ Various UI improvements lisyarus.github.io/webgpu/parti...

submitted 10 days ago • 4 comments

In his new blog post, @aspiwack.bsky.social lifts the curtain and shares the hows and whys of our engineering blog. www.tweag.io/blog/2025-05...

submitted 7 days ago • 0 comments

Formal P-category theory and normalization by evaluation in Rocq. ~ David G. Berry, Marcelo P. Fiore. arxiv.org/abs/2505.07780 #ITP #Rocq #CategoryTheory

submitted 8 days ago • 0 comments

NHS not convinced by Palantir's products. @europol-eu.bsky.social dropped Palantir for the same reason: its products are "substandard" (as per Europol's own statement 👇) So European governments are quietly buying substandard products from a shady company led by a Trump/Vance donor. Why?

submitted 8 days ago • 0 comments

Published my WebGPU Particle Life simulation online! Obviously it requires WebGPU support, and it's quite resource-demanding, so I've set the particle count to 64k for now. Also it probably doesn't work on mobile; will fix later. Enjoy: lisyarus.github.io/webgpu/parti...

submitted 16 days ago • 5 comments

LLM powered valid-hole fits! For the longest time this was impractical, no way were we going to ship GBs of weights for ML powered hole-synthesis with GHC. But with ollama, you can easily run an LLM that can do this! Available on Hackage now! github.com/Tritlo/Ollam...

submitted 24 days ago • 4 comments

A talk I gave to the engineering team at well.co about my "distributors" library.

submitted 21 days ago • 0 comments

New release: linear-base 0.5.0, with a decent chunk of bug fixes and interface improvements. Some of these should have had a release a while ago, our apologies about that. See the full change log at github.com/tweag/linear... .

submitted 44 days ago • 0 comments

New blog post from Cheng Shao: the GHC #wasm backend now supports live-coding a frontend app via the ghci browser mode! You can interact with a web page in a ghci session, with full-support for ghci features like hot-reloading and the ghci debugger. www.tweag.io/blog/2025-04...

submitted 35 days ago • 0 comments

Haskell doesn't have to be complicated! In this new blog post, Clément Hurlin gives a simple tutorial about monadic parsing with #megaparsec. Get your first parser running in minutes! www.tweag.io/blog/2025-04...

submitted 27 days ago • 0 comments

Pupupuparsers

submitted 23 days ago • 0 comments

polyhedra.tessera.li

submitted 26 days ago • 1 comment

Thinking of going to LambdaConf? Don't.

submitted 34 days ago • 5 comments

Hoi Bluesky-community, wat is je favoriete boekwinkel? (Rt is fijn, ik ben op zoek naar alle tofste winkels in NL en BE)

submitted 34 days ago • 54 comments

#Haskell Language Server 2.10.0.0 release announcement! blog.haskell.org/hls-2-10-0-0/ #LSP #FunctionalProgramming

submitted 37 days ago • 1 comment

Are you working with Agda and/or Haskell on macOS? A new app is coming!

submitted 48 days ago • 0 comments

Introducing the #Haskell Foundation Stability Working Group blog.haskell.org/stability-wo...

submitted 52 days ago • 0 comments

I'm thinking about a second edition of Parallel and Concurrent Programming in Haskell. Any thoughts on what should be added (or removed)? What's missing, what updates are needed to reflect common usage? The obvious new things are async and Haxl. Should the chapter on distributed-process be kept?

submitted 55 days ago • 12 comments

@arjenlubach.bsky.social Ik denk, ik volg je hier dan hoor ik vanzelf wel wanneer de eerste uitzending is, maar nu heb ik het gemist!

submitted 58 days ago • 0 comments

Type classes represent global knowledge about a type: `Ord Foo` specifies a total order on `Foo` canonical for the entire program. OTOH, "implicit values" or "named instances" in some other PLs are contextual knowledge about a type.

submitted 58 days ago • 1 comment

This is an example of how nostalgia for the old days is simply nostalgia for when you were younger. The idea that America was a post-racial society in the 1970s/1980s only makes sense if you were literally a child at that time and couldn’t observe what any adult was experiencing.

submitted 59 days ago • 1321 comments

I’ve been working for a while on an article that aims to explain pure functions in terms of dictionaries. It’s been slow to write so I decided to release part 1 now and I’ll follow up with a part 2 soon: rebeccaskinner.net/posts/2024-1...

submitted 60 days ago • 0 comments

A hundred pull requests for Liquid Haskell. ~ Facundo Domínguez. www.tweag.io/blog/2025-03... #Liquid #Haskell #FunctionalProgramming #SMT

submitted 61 days ago • 0 comments

/me looks at the source code. Yep still using the technology (engineering.q42.nl/server-drive...) we created at Q42 for Primephonic (which was bought by Apple and turned into Apple Music Classical)!

submitted 69 days ago • 1 comment

are there well-known typing rules for monads that are monoidal but not strong?

submitted 72 days ago • 1 comment