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ð

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

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!

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

þ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

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.

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”

Haskell mentioned 🙌

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

> Haskell first appeared 1990 > Soviet Union fully dissolved by 1991 Coincidence? I’m just asking questions

I’ve become a voice message tweeter. Feels more natural somehow, feels like I’m in a movie. Send tweet.

"Can't argue with results" is just the real life equivalent of unsafePerformIO

Bíddu, stal einhver kettinum? Hvað er að frétta þarna heima?

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

Living up to other’s idea of who you are is tough, but you can’t let them down. Great motivation.

There's something we need to confess…

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.

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.

Betra er að vera hálf-asískur en hálf-rasískur

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 😄

"GHC's wasm backend now supports Template Haskell and GHCi" by Cheng Shao www.tweag.io/blog/2024-11... #Haskell #WASM

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

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 😅)

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)

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

When they fix the servers

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

Hvar er íslenska start pakkinn?

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/