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?...

Matthias Pall Gissurarson - Ghost in the Haskell

YouTube video by The Haskell Foundation

youtu.be

fuglunum fannst þetta fyndið

Now supports Gemini, OpenAI, and any OpenAI compatible API, like @groq.com and OpenRouter

Matti Palli@mpg.is · last yr.

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...

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...

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!

Fatih Altinok@fatih.6nok.org · 2y ago

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?

sá kassa á gólfi hagkaupa 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

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!

> é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 😫😭

Matti Palli@mpg.is · 2y ago

það versta við að fara aldrei á djammið er að ég á eiginlega enga djammvini erfitt þegar maður fær djammcrave

það versta við að fara aldrei á djammið er að ég á eiginlega enga djammvini erfitt þegar maður fær djammcrave

Gleðileg jól kæru vinir, nær og fjær!

#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/

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

How to collect performance statistics with Cabal | The Haskell Programming Language's blog

blog.haskell.org

Nokkuð vinsæll á hinni síðunni

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

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.

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.

Matti Palli@mpg.is · 2y ago

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

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

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? 💀💀💀

Það þarf að loka huppu og fabrikkunni, mér skilst að Guð sé ekki mikið kúar styttu fan

Úff WIPEOUT á VG. Fyrirséð en gaddem

Kaus!

Can’t say that a program is “not well-typed” anymore, you have to say “logically challenged”

Matti Palli@mpg.is · 2y ago

My programs used to type check. Can’t do that anymore. Because of woke.

Haskell mentioned 🙌

Chris@chriscloudbusting.bsky.social · 2y ago

Went for a walk in the Haskell Wetlands yesterday and saw this cutie with his teenage antlers.

Look what they need to mimic a fraction of our power! #haskell