Profile avatar
mpg.is
aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
461 posts 1,063 followers 327 following
Regular Contributor
Active Commenter
Posts 14 Comments 36

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!

submitted 40 days ago • 4 comments

sá kassa á gólfi hagkaupa fattaði: það er vörutalningardagur! og það þýðir auðvitað: til hamingju með daginn @jongnarr.bsky.social !

submitted 54 days ago • 1 comment

ég er búinn að mála mig króm og á leiðinni í bæinn

submitted 56 days ago • 0 comments

mikið er ég þreyttur á að það sé alltaf lag úff

submitted 56 days ago • 0 comments

hvað kallar maður fólk sem er búið að lesa alltof mikið? Les Miserables!

submitted 57 days ago • 0 comments

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

submitted 59 days ago • 0 comments

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

submitted 59 days ago • 1 comment

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

submitted 63 days ago • 2 comments

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

submitted 65 days ago • 1 comment

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

submitted 65 days ago • 1 comment

Nokkuð vinsæll á hinni síðunni

submitted 75 days ago • 1 comment

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

submitted 77 days ago • 3 comments

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

submitted 77 days ago • 0 comments

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.

submitted 78 days ago • 1 comment