Matti Palli
@mpg.is
aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
fuglunum fannst þetta fyndið
May 30, 2025 at 2:06 PM
fuglunum fannst þetta fyndið
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...
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...
April 28, 2025 at 5:35 AM
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...
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...
ég er búinn að mála mig króm og á leiðinni í bæinn
December 31, 2024 at 11:49 PM
ég er búinn að mála mig króm og á leiðinni í bæinn
Nokkuð vinsæll á hinni síðunni
December 12, 2024 at 11:45 PM
Nokkuð vinsæll á hinni síðunni
Hún henti í bara mjög dónalegt komment sem ég svaraði “frábært, sömuleiðis!”. Svo blokkar hún og kommentar þetta (frétti frá vin).
Þetta get ég hvorki séð né heldur svarað. Afsakaðu, en ég veit ekki hvað annað á að kalla þetta en “í slæmri trú”.
Þetta get ég hvorki séð né heldur svarað. Afsakaðu, en ég veit ekki hvað annað á að kalla þetta en “í slæmri trú”.
December 10, 2024 at 4:56 PM
Hún henti í bara mjög dónalegt komment sem ég svaraði “frábært, sömuleiðis!”. Svo blokkar hún og kommentar þetta (frétti frá vin).
Þetta get ég hvorki séð né heldur svarað. Afsakaðu, en ég veit ekki hvað annað á að kalla þetta en “í slæmri trú”.
Þetta get ég hvorki séð né heldur svarað. Afsakaðu, en ég veit ekki hvað annað á að kalla þetta en “í slæmri trú”.
Þetta er frekar skýrt: hugræn og tilfinningaleg vinna, sem flokkun og sala er ekki.
December 10, 2024 at 10:59 AM
Þetta er frekar skýrt: hugræn og tilfinningaleg vinna, sem flokkun og sala er ekki.
Já ég get alveg verið sammála því. En en og aftur: ég minntist aldrei á endurvinnslu og þetta fellur ekki undir þessa skilgreiningu sem gefin er í bókinni um þriðju vaktina
December 10, 2024 at 10:57 AM
Já ég get alveg verið sammála því. En en og aftur: ég minntist aldrei á endurvinnslu og þetta fellur ekki undir þessa skilgreiningu sem gefin er í bókinni um þriðju vaktina
Ég er ekki að skýla mér bakvið hana. En þetta er skilgreiningin í bókinni. Ég á erfitt með að samþykkja loðnar skilgreiningar. Ofurkraftur í rannsóknum, en greinilega ekki vinsælt.
December 10, 2024 at 10:47 AM
Ég er ekki að skýla mér bakvið hana. En þetta er skilgreiningin í bókinni. Ég á erfitt með að samþykkja loðnar skilgreiningar. Ofurkraftur í rannsóknum, en greinilega ekki vinsælt.
Það eru ákveðnar skilgreiningar í gangi og þetta fellur ekki undir þær. Þú getur tekið það upp við höfunda bókarinnar. En sömu höfundar eru einmitt núna að segja hluti sem samræmist ekki því sem áður var sagt, sem er undirförult ef ekki sé það tekið sérstaklega fram.
December 10, 2024 at 9:55 AM
Það eru ákveðnar skilgreiningar í gangi og þetta fellur ekki undir þær. Þú getur tekið það upp við höfunda bókarinnar. En sömu höfundar eru einmitt núna að segja hluti sem samræmist ekki því sem áður var sagt, sem er undirförult ef ekki sé það tekið sérstaklega fram.
Hvar er sú skilgreining?
Í þriðju vaktar bókinni er sérstaklega tekið fram *ólaunuð*, og þar sem þetta er borgað er þetta sér í lagi launað (þótt vissulega séu þau lítil). Hvaða skilgreiningu ert þú að nota?
Í þriðju vaktar bókinni er sérstaklega tekið fram *ólaunuð*, og þar sem þetta er borgað er þetta sér í lagi launað (þótt vissulega séu þau lítil). Hvaða skilgreiningu ert þú að nota?
December 10, 2024 at 9:15 AM
Hvar er sú skilgreining?
Í þriðju vaktar bókinni er sérstaklega tekið fram *ólaunuð*, og þar sem þetta er borgað er þetta sér í lagi launað (þótt vissulega séu þau lítil). Hvaða skilgreiningu ert þú að nota?
Í þriðju vaktar bókinni er sérstaklega tekið fram *ólaunuð*, og þar sem þetta er borgað er þetta sér í lagi launað (þótt vissulega séu þau lítil). Hvaða skilgreiningu ert þú að nota?
Seems like my borderline autistic sense of linguistic precision is causing some controversy
December 10, 2024 at 1:33 AM
Seems like my borderline autistic sense of linguistic precision is causing some controversy
Lmao I got double FP haha
November 26, 2024 at 3:02 PM
Lmao I got double FP haha
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!!!
November 21, 2024 at 2:11 PM
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
November 21, 2024 at 7:18 AM
When they fix the servers
Such annoying perspective some gamers have. You can still play a game even if it's not being updated! It's not "abandoned", it's finished!
November 15, 2024 at 5:45 PM
Such annoying perspective some gamers have. You can still play a game even if it's not being updated! It's not "abandoned", it's finished!
Ég var tiltölulega snemma og reddaði einhverjum auka kóðun gegnum einn tæknigæja hjá bsky 😄
September 17, 2024 at 12:34 PM
Ég var tiltölulega snemma og reddaði einhverjum auka kóðun gegnum einn tæknigæja hjá bsky 😄
Bluesky now has over 10 million users, and I was #39,560!
September 17, 2024 at 12:32 PM
Bluesky now has over 10 million users, and I was #39,560!
@neilhimself.neilgaiman.com got this book in Icelandic. But it's signed?? How?? Amazing 😄
Thanks for helping preserve our culture 🥰
Thanks for helping preserve our culture 🥰
December 23, 2023 at 9:38 PM
@neilhimself.neilgaiman.com got this book in Icelandic. But it's signed?? How?? Amazing 😄
Thanks for helping preserve our culture 🥰
Thanks for helping preserve our culture 🥰
ég er ekki að kaupa þetta
við erum með bókstaflegt Faraday búr á campus og þar inni er bara fínt samband 🤔
við erum með bókstaflegt Faraday búr á campus og þar inni er bara fínt samband 🤔
September 4, 2023 at 10:54 PM
ég er ekki að kaupa þetta
við erum með bókstaflegt Faraday búr á campus og þar inni er bara fínt samband 🤔
við erum með bókstaflegt Faraday búr á campus og þar inni er bara fínt samband 🤔
Á íslenska er ég bara með eitt gott, en á enska hef ég verið með nokkra bangers
August 14, 2023 at 6:03 PM
Á íslenska er ég bara með eitt gott, en á enska hef ég verið með nokkra bangers
uuuu sko ég er semi bara generic githyanki gæinn 😅
Er ennþá að spekúlera í buildinu, hvernig þetta þróast!
Er ennþá að spekúlera í buildinu, hvernig þetta þróast!
August 5, 2023 at 8:51 AM
uuuu sko ég er semi bara generic githyanki gæinn 😅
Er ennþá að spekúlera í buildinu, hvernig þetta þróast!
Er ennþá að spekúlera í buildinu, hvernig þetta þróast!
Abstracting my internal systems, identifying bottlnecks. Living my best life? Only way to know is to fuck around/find out.
May 14, 2023 at 9:30 PM
Abstracting my internal systems, identifying bottlnecks. Living my best life? Only way to know is to fuck around/find out.
Current vibes here in the EU
May 14, 2023 at 3:36 PM
Current vibes here in the EU
I think that's before anyone brought a camera to a party in Iceland 😅Here are some "socializing" pics I dug up: a strike in 1961,out in þórsmörk 1960 and food stocking in 1964!
May 10, 2023 at 6:43 PM
I think that's before anyone brought a camera to a party in Iceland 😅Here are some "socializing" pics I dug up: a strike in 1961,out in þórsmörk 1960 and food stocking in 1964!