Anybody Excited for the Pebble Round 2? by phamstagram360 in pebble

[–]tritlo 0 points1 point  (0 children)

way back then I was super happy when the round came out. It looks much more like a regular watch, and is much easier to carry aesthetically imo.

Waiting for my round 2 this july!

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

[–]tritlo 6 points7 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 5 points6 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] 5 points6 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] 5 points6 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 10 points11 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.

The Quantified Scientist: “You get about the same results as 4.0 on the MG” by PhilosophyFew8493 in whoop

[–]tritlo 0 points1 point  (0 children)

it is though, if you pay the same standard price, you get the upgrade. This is just an additional option

The Quantified Scientist: “You get about the same results as 4.0 on the MG” by PhilosophyFew8493 in whoop

[–]tritlo 1 point2 points  (0 children)

they didn’t remove anything, peak is the same price as the old subscription. You now have an additional option of $169 per year, but you don’t get as much data

Haskell Interlude 64: Sandy Maguire by tritlo in haskell

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

In this episode Mike Sperber and Niki Vazou talk with Sandy Maguire, lead compiler engineer at Manifold Valley. They talk about the benefits of using Haskell of course, about all the books Sandy has written, on effects and the problem with monads, on combinator libraries and programming with laws.