Sign in

Matti Palli

@mpg.is
1.2K followers 333 following 477 posts

aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer

PostsRepliesMedia
Matti Palli @mpg.is · 05/08/2025
This year, I was happy to be asked to give a talk at the Haskell Ecosystem Workshop on LLMs and Haskell. 1. Haskellers structure their code to support local reasoning, so the LLM really can limit itself to a single component 2. the types act as precise API boundaries youtu.be/hh0axmFH1j8?...
youtu.be
Matthias Pall Gissurarson - Ghost in the Haskell
YouTube video by The Haskell Foundation
0112
Matti Palli @mpg.is · 30/05/2025
fuglunum fannst þetta fyndið
020
Matti Palli @mpg.is · 29/04/2025
Now supports Gemini, OpenAI, and any OpenAI compatible API, like @groq.com and OpenRouter
020
Matti Palli @mpg.is · 28/04/2025
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...
4215
Reposted by Matti Palli
Hillel @hillelwayne.com · 16/01/2025
In formal methods, this is called a "reachability" property: is it always possible to reach state Y? In this case, "In Neko Atsume, is it always possible to have cat food." So yes, a real thing formal method can help with!
4343
Matti Palli @mpg.is · 02/01/2025
sá kassa á gólfi hagkaupa fattaði: það er vörutalningardagur! og það þýðir auðvitað: til hamingju með daginn @jongnarr.bsky.social !
150
Matti Palli @mpg.is · 31/12/2024
ég er búinn að mála mig króm og á leiðinni í bæinn
050
Matti Palli @mpg.is · 31/12/2024
mikið er ég þreyttur á að það sé alltaf lag úff
000
Matti Palli @mpg.is · 30/12/2024
hvað kallar maður fólk sem er búið að lesa alltof mikið? Les Miserables!
020
Matti Palli @mpg.is · 28/12/2024
> ég að plana hittinga þegar félagsbatterýið er fullhlaðið 😄😄 > ég að fara á alla hittingana sem ég planaði og batterýið galtómt 😫😭
030
Matti Palli @mpg.is · 28/12/2024
það versta við að fara aldrei á djammið er að ég á eiginlega enga djammvini erfitt þegar maður fær djammcrave
190
Matti Palli @mpg.is · 24/12/2024
Gleðileg jól kæru vinir, nær og fjær!
240
Reposted by Matti Palli
Haskell programming language @haskell.org · 23/12/2024
#Haskell Interlude's guest Tom Ellis works at Groq, using Haskell to compile AI models to specialized hardware. Listen to this episode about stability of both GHC and Haskell libraries, effects, and strictness. haskell.foundation/podcast/60/
haskell.foundation
Tom Ellis
Tom Ellis works at Groq, using Haskell to compile AI models to specialized hardware. In this episode, we talk about stability of both GHC and Haskell libraries, effects, and strictness, and the premis...
1162
Reposted by Matti Palli
Haskell programming language @haskell.org · 23/12/2024
The Cabal Manual now has a guide on how to collect performance statistics of Haskell applications. Read more at blog.haskell.org/how-to-colle... #Haskell #Profiling
blog.haskell.org
How to collect performance statistics with Cabal | The Haskell Programming Language's blog
1163
Matti Palli @mpg.is · 12/12/2024
Nokkuð vinsæll á hinni síðunni
170
Reposted by Matti Palli
Harry Goldstein @harrisongoldste.in · 11/12/2024
Folks may have already seen on the bird site, but I was on the Haskell Interlude! t.co/uyilDdNV9T It was a ton of fun! If folks want to know more about anything we talked about let me know
t.co
https://haskell.foundation/podcast/59/
384
Matti Palli @mpg.is · 10/12/2024
Fólk flest er svona 90% drifið af þörf til að vera sammála. Ef maður er ósammála, þá er mjög erfitt að fá fólk til að skipta um skoðun. Það heldur bara áfram að útskýra consensus-inn og fleygir skilgreiningum út um gluggann
020
Matti Palli @mpg.is · 10/12/2024
Nú er farið að blokka mig fyrir að tönnlast á skilgreiningum. Þótt þær komi frá Huldu og Þorsteini, að ég held okkar helstu sérfræðingum. Jæja, skemmtið ykkur í bergmálshellinum.
110
Matti Palli @mpg.is · 10/12/2024
Seems like my borderline autistic sense of linguistic precision is causing some controversy
171
Matti Palli @mpg.is · 10/12/2024
Sorry for all the Icelandic posts 😅 There’s a thing where Icelandic women are taking used children’s clothes and selling them at a farmers market, the debate is whether this counts as a household chore or not. My take is that it’s not a chore if you’re getting paid, but it’s not popular.
300
Matti Palli @mpg.is · 09/12/2024
Jæja, þá er búið að cancela manni fyrir að finnast *checks notes* skipulögð sala á vörum til að fá auka pening ekki vera hluti af heimilisstörfum
020
Matti Palli @mpg.is · 09/12/2024
Trying to figure out the funniest way to introduce myself these days. PhD is not so funny, better left as lore. Debating “Reddit mod” (who has that as their primary identity lmao) or “powerlifter” (I’m not muscular at all) rn
050
Matti Palli @mpg.is · 04/12/2024
Var fyrst núna að fatta að SCF þýðir konur í öllum helstu stöðum, og forsetinn líka! Töff. Ísland þekkt fyrir sína kvenskörunga 💪
010
Matti Palli @mpg.is · 01/12/2024
Inga Sæland Forsætisráðherra? Fjármálaráðherra? Utanríkisráðherra? 💀💀💀
100
Reposted by Matti Palli
Matti Palli @mpg.is · 01/12/2024
Það þarf að loka huppu og fabrikkunni, mér skilst að Guð sé ekki mikið kúar styttu fan
051
Matti Palli @mpg.is · 01/12/2024
Úff WIPEOUT á VG. Fyrirséð en gaddem
020
Matti Palli @mpg.is · 30/11/2024
Kaus!
020
Matti Palli @mpg.is · 28/11/2024
Can’t say that a program is “not well-typed” anymore, you have to say “logically challenged”
060
Matti Palli @mpg.is · 28/11/2024
Haskell mentioned 🙌
0140
Reposted by Matti Palli
Jan van Brügge @jvanbruegge.cerberus-systems.de · 28/11/2024
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"
0121
Matti Palli @mpg.is · 28/11/2024
> Haskell first appeared 1990 > Soviet Union fully dissolved by 1991 Coincidence? I’m just asking questions
2140
Matti Palli @mpg.is · 28/11/2024
I’ve become a voice message tweeter. Feels more natural somehow, feels like I’m in a movie. Send tweet.
030
Matti Palli @mpg.is · 27/11/2024
"Can't argue with results" is just the real life equivalent of unsafePerformIO
020
Matti Palli @mpg.is · 26/11/2024
Bíddu, stal einhver kettinum? Hvað er að frétta þarna heima?
120
Reposted by Matti Palli
gabby @fullmoon.id · 25/11/2024
One of my spicy Haskell takes is that laziness is a good thing actually, and most people who recount problems with laziness are actually describing an issue that has nothing to do with laziness Most of the conventional wisdom around laziness/strictness has been wrong for, like, a decade
4403
Matti Palli @mpg.is · 24/11/2024
Living up to other’s idea of who you are is tough, but you can’t let them down. Great motivation.
020
Reposted by Matti Palli
Haskell programming language @haskell.org · 22/11/2024
There's something we need to confess…
1254
Reposted by Matti Palli
Satnam Singh @satnam6502.bsky.social · 22/11/2024
More than ever Yaron's comment about what compute mechanisms best fit our economic needs is prescient, and as the world of compute becomes ever more heterogeneous, and as the silicon limits of CPU scaling force us to be more creative.
1194
Reposted by Matti Palli
Yaron Minsky @yminsky.bsky.social · 22/11/2024
A fundamental puzzle of programming is how to lessen the enormous cost of good programming abstractions. I didn't mean things like functional vs imperative languages. I mean more fundamental things, like the choice between a CPU with an instruction set, vs circuit level hardware design.
9867
Matti Palli @mpg.is · 22/11/2024
Betra er að vera hálf-asískur en hálf-rasískur
130
Matti Palli @mpg.is · 22/11/2024
Template Haskell support is HUGE. There’s so many libraries that have a Template Haskell dependency buried deep. We move ever closer to GHC running in the browser 😄
0162
Reposted by Matti Palli
Haskell programming language @haskell.org · 21/11/2024
"GHC's wasm backend now supports Template Haskell and GHCi" by Cheng Shao www.tweag.io/blog/2024-11... #Haskell #WASM
tweag.io
GHC's wasm backend now supports Template Haskell and ghci
A summary of the current support status of Template Haskell and ghci in GHC's wasm backend, explaining how it's implemented and laying out potential future improvements.
1367
Reposted by Matti Palli
Júlía Margrét Alexandersdóttir @juliamargret.bsky.social · 21/11/2024
Kannski ætti þessi nýi miðill að vera helgaður köttum. Þeir mega í það minnsta taka gott pláss. Byrja á viðtali sem ég tók við einn þeirra frægari. Kötturinn Muri í spjalli í Fréttablaðinu árið 2007. timarit.is/page/3935789...
timarit.is
Fréttablaðið - 75. tölublað (17.03.2007) - Tímarit.is
081
Matti Palli @mpg.is · 21/11/2024
Sometimes I’ll be scrolling and thinking “damn the timeline is 🔥” and then it turns out it was just someone’s feed (sorry @welltypedwit.ch for all the notifications 😅)
030
Reposted by Matti Palli
Simon Marlow @simonmar.bsky.social · 17/11/2024
I sometimes get compliments on my laptop stickers in meetings. Especially the one in the middle, which I tracked down after seeing it on my daughter's laptop (and who now insists on getting credit for it, ergo)
3394
Matti Palli @mpg.is · 21/11/2024
Omg! This cat is from a Björk video. And it's my friend's aunt's cat!! She has seen the "I should buy a boat" cat!!!
5300
Matti Palli @mpg.is · 21/11/2024
When they fix the servers
020
Matti Palli @mpg.is · 20/11/2024
What are some creative ways of representing error in a graph? Error bars are kind of bad, shading area gets confusing fast when the error is large
220
Matti Palli @mpg.is · 19/11/2024
Hvar er íslenska start pakkinn?
020
Matti Palli @mpg.is · 18/11/2024
A special episode of the Interlude, out now! Matti and Sam traveled to ICFP '24 in Milan, Italy, and recorded snippets with various participants, including keynote speakers, Haskell legends, an OCaml legend (!!), and organizers. Check it out! haskell.foundation/podcast/58/
haskell.foundation
ICFP
In this episode, Matti and Sam traveled to the International Conference on Functional Programming (ICFP 2024) in Milan, Italy, and recorded snippets with various participants, including keynote speake...
082