Grilled Cheese

ExploreLog inSign up
Terms of UsePrivacy PolicyCommunity StandardsHelpGet the app

Grilled Cheese is a product of Village Compute

Version devBuilt at: 2026-10-16 08:00:47 EDT

PhotosVideosAllPeople
LatestRanked
@lobsters-feed.bsky.socialOct 7, 2026, 1:07 PM

Designing Haskell libraries for qualified import https://lobste.rs/s/hm3lmb #haskell

@mlabs-consulting.bsky.socialOct 6, 2026, 2:25 PM

Map two 20-element arrays on Cardano, then zip them. Through builtin lists, 88.1M CPU units. With Plutarch's pull arrays, 44.1M and half the memory. Longer pipelines skip more intermediate lists.

www.mlabs.city/blog/perform... #Cardano #Haskell

@mlabs-consulting.bsky.socialOct 5, 2026, 9:01 PM

A Cardano script compared a big constant with itself. Inlined twice, it cost 578,965 CPU units. Bound to a variable, 668,284. In UPLC every variable needs a lambda and an apply around it, and you pay for both.

www.mlabs.city/blog/how-exe... #Cardano #Haskell

@lobsters-feed.bsky.socialOct 5, 2026, 6:03 PM

You don't need an effect system https://lobste.rs/s/okq4dm #haskell

@lobsters-feed.bsky.socialOct 5, 2026, 2:22 PM

Making a GTK application in Haskell, part 1 https://lobste.rs/s/xmir2s #haskell #graphics

@mlabs-consulting.bsky.socialOct 5, 2026, 2:22 PM

Finding one byte in 2 MiB of Haskell data: 880 μs naive, 123 μs with SWAR, 16.8 μs through C's memchr. Then we used memchr to find every match. It came out about 50% slower than the naive loop.

www.mlabs.city/blog/fast-fi... #Haskell

@jalonso.eurosky.socialOct 5, 2026, 11:02 AM

Weekly reads: Sep 28 – Oct 4, 2026. jaalonso.github.io/vestigium/po... #AI4Math #Agda #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog #RocqProver

@huwcampbell.comOct 4, 2026, 5:52 AM

I still feel like this could have been a viable getField implementation for Haskell

#haskell

Haskell source code depicting lens based record get syntax.
@haskell.orgOct 2, 2026, 3:00 PM

The London #Haskell meetup is looking for talk submissions for November, and for meetups early next year.

They're after lightning talks (~15 minutes) and full-length talks (~30 minutes).

How to submit: london-haskell.github.io#submit-a-talk

@mlabs-consulting.bsky.socialOct 2, 2026, 1:58 PM

Checking a buffer is ASCII in Haskell, one byte at a time, ran at about 2.2 GiB/s worst case. Masking the high bit of 8 bytes per word got 13.75 GiB/s. Theory said eight times faster. We measured about six.

www.mlabs.city/blog/checkin... #Haskell #Performance

@huehnken.deOct 2, 2026, 11:08 AM

Anyone still using Haskell for Mac, or know if it's maintained? And what do you use to play around with Haskell on a Mac these days?

#Haskell #FunctionalProgramming #macOS

@haskell.orgOct 1, 2026, 7:15 PM

"[ANN] Project Fluent for #Haskell" by the Institute for Digital Autonomy

discourse.haskell.org/t/ann-projec...

@jalonso.eurosky.socialOct 1, 2026, 3:31 PM

Teaching Haskell in the age of LLMs, part 1: ban or embrace? ~ Vladislav Zavialov. serokell.io/blog/teachin... #Haskell #FunctionalProgramming #LLMs

@jbzfn.bsky.socialOct 1, 2026, 9:00 AM

Turbo Haskell

comonad.com/reader/2026/...

#Haskell #programming

@puffnfresh.mastodon.social.ap.brid.gyOct 1, 2026, 8:45 AM

Turbo #Haskell, a JVM backend from Kmett: https://comonad.com/reader/2026/turbo-haskell/

@lobsters-feed.bsky.socialOct 1, 2026, 5:13 AM

Typeclasses vs Modules https://lobste.rs/s/crlwst #haskell #ml #plt

@lobsters-feed.bsky.socialOct 1, 2026, 12:00 AM

The wasted potential of Haskell: Language & Compiler https://lobste.rs/s/tipabd #video #rant #haskell #plt

@lobsters-feed.bsky.socialSep 30, 2026, 1:35 PM

Turbo Haskell https://lobste.rs/s/j7kltq #java #programming #haskell

@lobsters-feed.bsky.socialSep 30, 2026, 12:47 PM

Differences between `foldl` and `foldr` https://lobste.rs/s/irijoi #haskell

@lobsters-feed.bsky.socialSep 29, 2026, 11:36 AM

Prototyping a Small Genetic Algorithms Library inHaskell (2019) https://lobste.rs/s/xdk1cp #haskell

Load more