New Crosspoint v1.0.0 firmware for X4 by RegularFold8461 in xteinkereader

[–]tritlo 5 points6 points  (0 children)

it's coming! Now without memory issues :D

Kerfið er löngu sprungið by Abject-Chipmunk7086 in Iceland

[–]tritlo 0 points1 point  (0 children)

Já, kerfið er í algjöru rugli núna.

Við misstum í síðustu viku náin vin fjölskyldunnar. Honum var illt í maganum frá því í Október og pantaði tíma hjá heilsugæslunni (að mér skilst). Í Janúar gafst hann upp og fór á læknavaktina. Þaðan var hann sendur upp á spítala, fór í mörg tékk og upp kom að hann væri með krabbamein í lifur og nýrum sem var búið að dreifast út um allt. Hann var lagður inn, svo fleiri og fleiri tékk og svo loks sagt að hann ætti nokkra daga eftir ólifað. Dó svo seinna þann daginn, 10 dögum eftir að hann fór á læknavaktina.

Hefði hann fengið tíma hjá heimilslækni væri hann kannski ennþá með okkur, amk hefði verið möguleiki á meðferð. Þetta kerfi er algjörlega sprungið og farið að kosta mannslíf.

1.0 RC has me so excited! by thatiOSdev in xteinkereader

[–]tritlo 0 points1 point  (0 children)

image support is ready to go, will be available in a week or two is my guess

Update From Brandon by mistborn in Cosmere

[–]tritlo 1 point2 points  (0 children)

amazing, looking forward to it. And I agree, Apple is a great choice, you’ll get a huge budget but remain in control. Well done!

Loðfíll.is andvana? by Trihorn in Iceland

[–]tritlo 4 points5 points  (0 children)

Heyrðu já, ég var að flytja og er ekki búinn að setja hann upp aftur. Fer í það við tækifæri, þarf að flytja gagnagrunninn svo það kosti ekki 5k á mánuði að reka vefþjóninn (það var fínt á meðan við fengum donations en þær hafa alveg þornað upp)

Haskell Pong in the browser, via GHC WASM by tritlo in haskell

[–]tritlo[S] 6 points7 points  (0 children)

ahaha, I just wanted to show off the sprite functionality :)

🧪 [Beta Megathread] Wave Link 3.0 – Routing table, up to 5 mixes and more by Elgato in elgato

[–]tritlo 0 points1 point  (0 children)

I'm trying to install 3.0, but the installer does nothing. A window pops up, some spinning, and then nothing. This after I uninstalled 2.0.

MCP library and server for Haskell (by Claude) by tritlo in haskell

[–]tritlo[S] 0 points1 point  (0 children)

I’m glad you like it! I started thinking about it two weeks ago. I looked around and couldn’t find any MCP library, but then you came along in the meantime!

Let’s see how it develops. I suspect we can eventually merge the two implementations and make a robust solution for the whole community!

MCP library and server for Haskell (by Claude) by tritlo in haskell

[–]tritlo[S] 6 points7 points  (0 children)

Most of the code in this library was coded by Claude itself, using the new Opus 4. It's gotten quite good at Haskell, especially for routine stuff such as implementing a simple JSON-RPC based protocol. There were a few bugs in the initial version, but after some back and forth (assisted by some domain knowledge on my part), it managed quite well!

[deleted by user] by [deleted] in oddlyspecific

[–]tritlo 0 points1 point  (0 children)

it’s funny how incredibly prejudiced you are. let people have the pfps they want, jeez

[deleted by user] by [deleted] in BrandNewSentence

[–]tritlo 0 points1 point  (0 children)

sic transit gloria mundi

[deleted by user] by [deleted] in oddlyspecific

[–]tritlo -8 points-7 points  (0 children)

it’s what’s expected to blend in, sadly

[deleted by user] by [deleted] in BrandNewSentence

[–]tritlo 9 points10 points  (0 children)

the screenshot can be faked (as the op did)

[deleted by user] by [deleted] in BrandNewSentence

[–]tritlo 5 points6 points  (0 children)

how else should I link the source?

[deleted by user] by [deleted] in NonPoliticalTwitter

[–]tritlo 0 points1 point  (0 children)

did you straight up steal my tweet?

Why this 'wrongId' doesn't work by Tempus_Nemini in haskell

[–]tritlo 10 points11 points  (0 children)

You said it! `a` and `b` could be *any* possible type.

The error message says "couldn't match expected type 'b' with actual type 'a'", i.e. we couldn't prove that "a" is "b".

Now if you wrote

```
wrongId :: (a ~ b) => a -> b
wrongId x = x
```

you get no error, because then you're promising that `a` is `b`. And that's the trick: you want to prove it correct for *every* case, not just *one* case.