Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@samir@functional.computer
2024-12-20 22:58:16

The best thing about blogging is that I take things out of my head, which is full, and put them somewhere else.
The second best thing about blogging is that I meet more interesting people when I do it.

@BugWarp@wikis.world
2024-12-09 02:40:31

But in better news today I also finished #Frieren and holy cow that was amazing, can't wait for season 2.
My full review: boxd.it/80sUvz

@samir@functional.computer
2024-12-20 20:35:28

@… Amazing, thanks for sharing! It doesn’t surprise me that per-language approaches have been taken, and I would expect that if someone did this, it would be people who’ve already done it once, but niche.
I was definitely inspired a bit by Darklang.

@samir@functional.computer
2024-12-20 22:53:21

@… It's a whole new team now, isn't it? Makes me sad that it didn't work out. I agree that their editor was a pain but I think it was a pain in the right direction.

@samir@functional.computer
2024-12-20 23:00:25

@… Aha, I get you now! This is the best thing about proofs (I feel the same way about dependently-typed programming). The more information you can convey in a signature or type, the less you need to look inside.
I'm surprised you say that Go is close to it, though; is this because of culture? I'm sure that Rob Pike shouting “don't do anything cle…

@samir@functional.computer
2024-12-20 22:52:44

@… @… There is so much right about this that I don't know where to start.
The only worry I have is that it sounds hard for someone else to create a competing implementation, and I think that we need more of that from our…

@BugWarp@wikis.world
2024-12-09 02:35:27

So I've finally finished #Arcane but not sure what to think. I couldn't do a rewatch of S1 as I wanted, but I didn't feel the same connection and impact as back then.