Matti Palli

YouTube video by The Haskell Foundation Matthias Pall Gissurarson - Ghost in the Haskell

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

fuglunum fannst þetta fyndið

Version 0.1.5 is out!

Now supports connections to remote LLMs, including the (Haddock) documentation of functions in the context, a way to offer guidance to the LLM directly from the code, and more robust validation of valid hole-fits!

As of 0.1.2, the hole fits returned by the LLM are now validated!

bara muna að þetta þarf ekki að vera fullkomið, bara “nógu gott”

it’s just an error message, you’d have to use an LSP action to automatically insert it into the code (or a program repair loop, as we do in PropR)

haven’t found any great models sadly, though deepcoder is surprisingly decent

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

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

not typechecked yet 😅

I know how (reusing the template haskell chain) but not yet implemented

this is gemma3:27b, but you can use any model that’s supported by ollama

soon i’ll add openrouter integration, so you can make calls to openai or claude (or groq!) if desired

great idea!

I guess I made the package name too specific 😅

they shut down the subreddit after obama himself did it llamo

ooo

i’m actually Hankin’s academic grandson through my supervisor Dave Sands 😄

samma här

har även en sleep mask, men det var inget bättre

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

skickade just nu en artikel

inget bättre en att vara äntligen färdig med ett projekt

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!

Honored to be included in the same batch 🙏

sá kassa á gólfi hagkaupa

fattaði: það er vörutalningardagur!

og það þýðir auðvitað: til hamingju með daginn @jongnarr.bsky.social !

ein auðveldasta leiðin til að bonda við svía er að grínast um helv. danana

somehow it only works with years. It starts on 1st Jan, not 0th!

é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!

sumir eru óhræddir við að láta almenningsálitið hafa áhrif á sig

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

við kíkjum saman næst þegar ég er í stokkhólmi 👀

já þúst að fara einn í bæinn er mega weird væb

smá eins og að drekka einn nema bara með öðrum skiluru

það versta við að fara aldrei á djammið er að ég á eiginlega enga djammvini

erfitt þegar maður fær djammcrave

hjá okkur er 50% kók. Miklu betra!