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!
