Profile avatar
mpg.is
aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
476 posts 1,104 followers 332 following
Regular Contributor
Active Commenter

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