Matti Palli
@mpg.is
aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
Pinned
Matti Palli
@mpg.is
· Aug 5
Matthias Pall Gissurarson - Ghost in the Haskell
YouTube video by The Haskell Foundation
youtu.be
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?...
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?...
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?...
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?...
Matthias Pall Gissurarson - Ghost in the Haskell
YouTube video by The Haskell Foundation
youtu.be
August 5, 2025 at 10:33 PM
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?...
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?...
fuglunum fannst þetta fyndið
May 30, 2025 at 2:06 PM
fuglunum fannst þetta fyndið
Now supports Gemini, OpenAI, and any OpenAI compatible API, like @groq.com and OpenRouter
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...
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...
April 29, 2025 at 9:25 PM
Now supports Gemini, OpenAI, and any OpenAI compatible API, like @groq.com and OpenRouter
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...
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...
April 28, 2025 at 5:35 AM
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...
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...
Reposted by Matti Palli
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!
So yes, a real thing formal method can help with!
If you spend too much money then you can’t buy cat food, for this there’s a free option so you don’t get locked out of the game and restart.
The devs probably foresaw this but it’s entirely possible to ship with that bug. Do you think formal verification can help in scenarios like this?
The devs probably foresaw this but it’s entirely possible to ship with that bug. Do you think formal verification can help in scenarios like this?
January 16, 2025 at 8:57 PM
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!
So yes, a real thing formal method can help with!
sá kassa á gólfi hagkaupa
fattaði: það er vörutalningardagur!
og það þýðir auðvitað: til hamingju með daginn @jongnarr.bsky.social !
fattaði: það er vörutalningardagur!
og það þýðir auðvitað: til hamingju með daginn @jongnarr.bsky.social !
January 2, 2025 at 9:39 PM
sá kassa á gólfi hagkaupa
fattaði: það er vörutalningardagur!
og það þýðir auðvitað: til hamingju með daginn @jongnarr.bsky.social !
fattaði: það er vörutalningardagur!
og það þýðir auðvitað: til hamingju með daginn @jongnarr.bsky.social !
ég er búinn að mála mig króm og á leiðinni í bæinn
December 31, 2024 at 11:49 PM
ég er búinn að mála mig króm og á leiðinni í bæinn
mikið er ég þreyttur á að það sé alltaf lag úff
December 31, 2024 at 10:34 PM
mikið er ég þreyttur á að það sé alltaf lag úff
hvað kallar maður fólk sem er búið að lesa alltof mikið?
Les Miserables!
Les Miserables!
December 30, 2024 at 4:19 PM
hvað kallar maður fólk sem er búið að lesa alltof mikið?
Les Miserables!
Les Miserables!
> é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 😫😭
> ég að fara á alla hittingana sem ég planaði og batterýið galtómt 😫😭
það versta við að fara aldrei á djammið er að ég á eiginlega enga djammvini
erfitt þegar maður fær djammcrave
erfitt þegar maður fær djammcrave
December 28, 2024 at 10:51 PM
> é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 😫😭
> ég að fara á alla hittingana sem ég planaði og batterýið galtómt 😫😭
það versta við að fara aldrei á djammið er að ég á eiginlega enga djammvini
erfitt þegar maður fær djammcrave
erfitt þegar maður fær djammcrave
December 28, 2024 at 9:15 PM
það versta við að fara aldrei á djammið er að ég á eiginlega enga djammvini
erfitt þegar maður fær djammcrave
erfitt þegar maður fær djammcrave
Gleðileg jól kæru vinir, nær og fjær!
December 24, 2024 at 6:52 PM
Gleðileg jól kæru vinir, nær og fjær!
Reposted by Matti Palli
#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/podcast/60/
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...
haskell.foundation
December 23, 2024 at 11:07 AM
#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/podcast/60/
Reposted by Matti Palli
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-colle...
#Haskell #Profiling
How to collect performance statistics with Cabal | The Haskell Programming Language's blog
blog.haskell.org
December 23, 2024 at 11:20 AM
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-colle...
#Haskell #Profiling
Nokkuð vinsæll á hinni síðunni
December 12, 2024 at 11:45 PM
Nokkuð vinsæll á hinni síðunni
Reposted by Matti Palli
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/uyilDdNV9T
It was a ton of fun! If folks want to know more about anything we talked about let me know
https://haskell.foundation/podcast/59/
t.co
December 11, 2024 at 4:10 PM
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/uyilDdNV9T
It was a ton of fun! If folks want to know more about anything we talked about let me know
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
December 10, 2024 at 9:43 PM
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
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.
Jæja, skemmtið ykkur í bergmálshellinum.
December 10, 2024 at 11:33 AM
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.
Jæja, skemmtið ykkur í bergmálshellinum.
Seems like my borderline autistic sense of linguistic precision is causing some controversy
December 10, 2024 at 1:33 AM
Seems like my borderline autistic sense of linguistic precision is causing some controversy
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.
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.
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
December 10, 2024 at 12:06 AM
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.
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.
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
December 9, 2024 at 11:42 PM
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
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
December 9, 2024 at 3:21 PM
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
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 💪
December 4, 2024 at 12:18 PM
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 💪
Inga Sæland
Forsætisráðherra?
Fjármálaráðherra?
Utanríkisráðherra?
💀💀💀
Forsætisráðherra?
Fjármálaráðherra?
Utanríkisráðherra?
💀💀💀
December 1, 2024 at 1:41 PM
Inga Sæland
Forsætisráðherra?
Fjármálaráðherra?
Utanríkisráðherra?
💀💀💀
Forsætisráðherra?
Fjármálaráðherra?
Utanríkisráðherra?
💀💀💀
Reposted by Matti Palli
Það þarf að loka huppu og fabrikkunni, mér skilst að Guð sé ekki mikið kúar styttu fan
December 1, 2024 at 10:07 AM
Það þarf að loka huppu og fabrikkunni, mér skilst að Guð sé ekki mikið kúar styttu fan