@dde@social.tchncs.de2024-11-29 05:37:02
Linkdump 48/2024 – #fundstücke
@samir@functional.computer2024-12-20 23:42:36
@… There is a read API, but it returns “”.
@samir@functional.computer2024-12-20 23:42:09
@… Can I interest you in /dev/null As A Service?
For the low price of $5.99/month, you can send me a link to anything, and I will lose it for you!
This is a write-only service.
@samir@functional.computer2024-12-20 23:02:04
@… @… *smashes the Subscribe button*
@samir@functional.computer2024-12-20 23:01:21
@… I was allowed a beer afterwards. This one, specifically: https://untappd.com/b/bad-seed-brewing-sleigher/5581774
@samir@functional.computer2024-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.computer2024-12-20 22:59:38
@… Best kind.
@samir@functional.computer2024-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.
@samir@functional.computer2024-12-20 22:55:40
Got bullied* into doing some yoga and chilling out instead.
All good though. Now I am beered up and ready to write!
* after complaining about my shoulders for 20 straight minutes
@samir@functional.computer2024-12-20 22:54:17
@… I definitely would enjoy learning more about this stuff. Do you have any good places to start?