Matti Palli
@mpg.is
aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
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!
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!
May 1, 2025 at 4:16 PM
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!
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!
April 30, 2025 at 8:21 PM
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”
April 30, 2025 at 1:41 PM
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
haven’t found any great models sadly, though deepcoder is surprisingly decent
April 29, 2025 at 10:38 PM
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
haven’t found any great models sadly, though deepcoder is surprisingly decent
not typechecked yet 😅
I know how (reusing the template haskell chain) but not yet implemented
I know how (reusing the template haskell chain) but not yet implemented
April 28, 2025 at 3:16 PM
not typechecked yet 😅
I know how (reusing the template haskell chain) but not yet implemented
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
soon i’ll add openrouter integration, so you can make calls to openai or claude (or groq!) if desired
April 28, 2025 at 3:14 PM
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
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 😅
I guess I made the package name too specific 😅
April 28, 2025 at 6:35 AM
great idea!
I guess I made the package name too specific 😅
I guess I made the package name too specific 😅
they shut down the subreddit after obama himself did it llamo
April 28, 2025 at 6:08 AM
they shut down the subreddit after obama himself did it llamo
ooo
i’m actually Hankin’s academic grandson through my supervisor Dave Sands 😄
i’m actually Hankin’s academic grandson through my supervisor Dave Sands 😄
April 28, 2025 at 5:38 AM
ooo
i’m actually Hankin’s academic grandson through my supervisor Dave Sands 😄
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
har även en sleep mask, men det var inget bättre
April 28, 2025 at 5:36 AM
samma här
har även en sleep mask, men det var inget bättre
har även en sleep mask, men det var inget bättre
skickade just nu en artikel
inget bättre en att vara äntligen färdig med ett projekt
inget bättre en att vara äntligen färdig med ett projekt
February 28, 2025 at 12:13 PM
skickade just nu en artikel
inget bättre en att vara äntligen färdig med ett projekt
inget bättre en att vara äntligen färdig med ett projekt
Honored to be included in the same batch 🙏
January 13, 2025 at 2:48 PM
Honored to be included in the same batch 🙏
ein auðveldasta leiðin til að bonda við svía er að grínast um helv. danana
January 2, 2025 at 2:26 PM
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!
January 1, 2025 at 11:23 AM
somehow it only works with years. It starts on 1st Jan, not 0th!
sumir eru óhræddir við að láta almenningsálitið hafa áhrif á sig
December 29, 2024 at 11:53 AM
sumir eru óhræddir við að láta almenningsálitið hafa áhrif á sig