iiinova — where your digital self keeps evolving

Matti Palli @mpg.is · 01/05/2025

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!

Matti Palli @mpg.is · 30/04/2025

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

Matti Palli @mpg.is · 30/04/2025

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

130

Matti Palli @mpg.is · 29/04/2025

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

Matti Palli @mpg.is · 29/04/2025

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

Matti Palli @mpg.is · 29/04/2025

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

210

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

Matti Palli @mpg.is · 28/02/2025

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

4215

skickade just nu en artikel inget bättre en att vara äntligen färdig med ett projekt

Hillel @hillelwayne.com · 16/01/2025

Reposted by Matti Palli

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!

4343

Matti Palli @mpg.is · 13/01/2025

Honored to be included in the same batch 🙏

040

Matti Palli @mpg.is · 02/01/2025

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

150

Matti Palli @mpg.is · 02/01/2025

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

Matti Palli @mpg.is · 01/01/2025

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

100

Matti Palli @mpg.is · 31/12/2024

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

050

Matti Palli @mpg.is · 31/12/2024

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

000

Matti Palli @mpg.is · 30/12/2024

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

Matti Palli @mpg.is · 29/12/2024

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

100

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

190

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

Matti Palli @mpg.is · 25/12/2024

One of the reasons I keep using twitter, this place is deserted

Matti Palli @mpg.is · 24/12/2024

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

240

Matti Palli @mpg.is · 23/12/2024

I’m co-hosting 😄

Haskell programming language @haskell.org · 23/12/2024

Reposted by Matti Palli

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

haskell.foundation

Tom Ellis

Tom Ellis works at Groq, using Haskell to compile AI models to specialized hardware. In this episode, we talk about stability of both GHC and Haskell libraries, effects, and strictness, and the premis...

1162

Matti Palli @mpg.is · 23/12/2024

Proud owner of a hardback and paperback copy, looking forward to gift one to a deserving reader

000

Reposted by Matti Palli

Haskell programming language @haskell.org · 23/12/2024

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

blog.haskell.org

How to collect performance statistics with Cabal | The Haskell Programming Language's blog

1163

Matti Palli @mpg.is · 16/12/2024

Elon has been pushing his Grok thing, son I’m guessing that’s influencing some of it

100

(já ég splæsti í premium, ég *þoli* ekki auglýsingar)

Nokkuð vinsæll á hinni síðunni

170

Til í þetta!! Símnet gæti þetta heitið

100

World class laugum er næs. Ég fer aðallega bara í stöngina og nota prógramið út starting strength bókinni. Inn og út á 30 mín og sterkari með hverjum degi

Já þetta var töff pæling þar til svindlararnir komu tilbaka

Harry Goldstein @harrisongoldste.in · 11/12/2024

Reposted by Matti Palli

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

t.co

https://haskell.foundation/podcast/59/

384

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

Til hamingju! Þetta er bara byrjunin 😄

Jag iaf tycker du är jätte kul

Þetta er svo eftir að ég er kallaður “drengur” og “hjartað” mitt, í væntanlega þeim tilgangi að mála mig sem einhvern sem er ungur og óreyndur og því vanfær um að mynda mér skoðun. Ógeðsleg taktík í gangi hérna.

000

Ef maður er að þræta fyrir eitthvað, þá er mikilvægt að vitað sé hvað sé verið að tala um. Aumi ég fékk tilbeiningu á bók þáttastjórnanda, sem mér skilst að séu sérfræðingar og gekk að því sem gefnu að sú skilgreining sé í notkun.

100