@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…
@stephane_klein@social.coop2024-11-20 06:43:56
« #BDR139 : On traîne Bernard Arnault devant les tribunaux ! »
https://www.youtube.com/watch?v=ix1u5QDu6f8
@…
@jason123santa@fosstodon.org2024-11-20 12:54:00
Got a watt meter and measured my amd a4 that I use as a server and 35w when I am doing almost nothing.
Looking at options and the dell wyse 5070 has more performance with less power usage. The amd a4 trully sucks
@isewvinyl@sunny.garden2024-11-19 19:32:57
If you have time to call your rep today to oppose HR
9495, please do. It could give the next admin power to revoke non-profits’ tax exempt status just because they don’t like it. Below is a script to read and the link to find your rep (and their contact info).
https://ziplook.house.gov/htbin/findrep_house
@n8foo@macaw.social2024-11-20 17:56:45
really surprised to see all this traction around #bluesky right now. not sure what to make of it WRT fediverse and mastodon. kind of bums me out that people are not migrating here.
@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:42:36
@… There is a read API, but it returns “”.
@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 22:59:38
@… Best kind.