LambdaDuck
@anka213.bsky.social
Haskell and type theory enthusiast
they/them
they/them
Pinned
LambdaDuck
@anka213.bsky.social
· Apr 20
constructive mathematician reacts to classical proof:
well, you’re not wrong, but …
well, you’re not wrong, but …
Reposted by LambdaDuck
"make invalid states unrepresentable" pales in comparison to my strategy of assuming the state will always be valid
November 11, 2025 at 6:04 PM
"make invalid states unrepresentable" pales in comparison to my strategy of assuming the state will always be valid
Reposted by LambdaDuck
Read every word & share with everyone you know. This is real life here in Chicago. Americans need to know this grotesque reality & stand with us.
Kyle Kingsbury is not a journalist. He is not an op-ed writer.
He is a computer safety researcher.
And he has written one of the most compelling, comprehensive accounts of the ongoing hell in Chicago that you could possibly imagine.
In under 1600 words.
aphyr.com/posts/397-i-...
He is a computer safety researcher.
And he has written one of the most compelling, comprehensive accounts of the ongoing hell in Chicago that you could possibly imagine.
In under 1600 words.
aphyr.com/posts/397-i-...
November 10, 2025 at 12:15 PM
Read every word & share with everyone you know. This is real life here in Chicago. Americans need to know this grotesque reality & stand with us.
Reposted by LambdaDuck
10/10 take. No notes.
November 7, 2025 at 5:49 PM
10/10 take. No notes.
Reposted by LambdaDuck
Write code to make being human easier. Rip code out if it makes being human harder. Write code to make caring for each other easier. Rip it out if it makes caring for each other harder.
Empathy driven development has literally never failed me. It’s done me better than everything else combined
Empathy driven development has literally never failed me. It’s done me better than everything else combined
October 21, 2025 at 12:56 AM
Write code to make being human easier. Rip code out if it makes being human harder. Write code to make caring for each other easier. Rip it out if it makes caring for each other harder.
Empathy driven development has literally never failed me. It’s done me better than everything else combined
Empathy driven development has literally never failed me. It’s done me better than everything else combined
Reposted by LambdaDuck
nixos documentaion is just that one friend that knows more then you...
October 30, 2025 at 5:23 PM
nixos documentaion is just that one friend that knows more then you...
Reposted by LambdaDuck
Reposted by LambdaDuck
We tried to place this story - very expensive polling, the first of its kind, strong quantitative data about what trans people feel about Britain: bluntly there is no better way to tell the story - with the BBC but it said it was "too weak".
But it will pick up any old piece of transhating garbage.
But it will pick up any old piece of transhating garbage.
In @yougov.co.uk polling of the trans community, to the best of our knowledge the first of its kind ever conducted, an astonishing 84% said Britain is “fairly unsafe” or “very unsafe” for trans people.
goodlaw.social/ncfw
goodlaw.social/ncfw
‘Abject terror’: survey shows 84% of trans people feel Britain is unsafe
YouGov poll reveals safety crisis for trans people in the UK
goodlaw.social
October 28, 2025 at 8:00 AM
We tried to place this story - very expensive polling, the first of its kind, strong quantitative data about what trans people feel about Britain: bluntly there is no better way to tell the story - with the BBC but it said it was "too weak".
But it will pick up any old piece of transhating garbage.
But it will pick up any old piece of transhating garbage.
Reposted by LambdaDuck
i made a helpful reference
September 24, 2025 at 3:23 PM
i made a helpful reference
Reposted by LambdaDuck
This is not a drill: GHC (the #Haskell compiler) now runs in your browser. See the announcement (and please report any bugs) here: discourse.haskell.org/t/ghc-now-ru...
Ghc now runs in your browser
ghc itself can now run purely client-side in the browser, here’s a haskell playground demo. terms and conditions apply, and i’ll write up more detailed explanation some time later, but i thought this ...
discourse.haskell.org
October 25, 2025 at 7:28 PM
This is not a drill: GHC (the #Haskell compiler) now runs in your browser. See the announcement (and please report any bugs) here: discourse.haskell.org/t/ghc-now-ru...
”We only used ChatGPT to summarize the comic […] so any errors are human errors”
yeah no, that’s not how it works
yeah no, that’s not how it works
Hey, so I'm probably pulling TENACITY off Globalcomix.
Globalcomix made a promotional Youtube video for TENACITY using ChatGPT to write their script for it. I did NOT give my consent to them for this and asked for the video to be taken down(which they did).
Details below ⏬️
#globalcomix #comic
Globalcomix made a promotional Youtube video for TENACITY using ChatGPT to write their script for it. I did NOT give my consent to them for this and asked for the video to be taken down(which they did).
Details below ⏬️
#globalcomix #comic
October 25, 2025 at 9:26 PM
”We only used ChatGPT to summarize the comic […] so any errors are human errors”
yeah no, that’s not how it works
yeah no, that’s not how it works
Reposted by LambdaDuck
In a sec. I'm busy guwht dade-ing
October 24, 2025 at 3:15 PM
In a sec. I'm busy guwht dade-ing
Reposted by LambdaDuck
Oh my god some fucking tech dingdong posted this on Twitter with the caption "AI games are going to be amazing" totally seriously, you have to watch it. You have to. In full screen.
October 24, 2025 at 3:02 PM
Oh my god some fucking tech dingdong posted this on Twitter with the caption "AI games are going to be amazing" totally seriously, you have to watch it. You have to. In full screen.
Reposted by LambdaDuck
dunno who needs to hear this, but you can just vivificate words from out of nowhere, so long as people understand what you mean
October 22, 2025 at 6:51 PM
dunno who needs to hear this, but you can just vivificate words from out of nowhere, so long as people understand what you mean
Reposted by LambdaDuck
#hugOps story time! Quote this and tell me the biggest incident you ever saw in production. It’s inevitable, it’s gonna happen, and learning from incidents is way better than shitting on people trying to fix them.
I’ll start :)
hazelweakly.me/blog/mother-...
I’ll start :)
hazelweakly.me/blog/mother-...
October 20, 2025 at 10:20 PM
#hugOps story time! Quote this and tell me the biggest incident you ever saw in production. It’s inevitable, it’s gonna happen, and learning from incidents is way better than shitting on people trying to fix them.
I’ll start :)
hazelweakly.me/blog/mother-...
I’ll start :)
hazelweakly.me/blog/mother-...
Reposted by LambdaDuck
My first day working at AWS is going great. For some reason they had a lot of computers plugged in that nobody was using, so I’ve started an initiative to lower our carbon footprint
October 20, 2025 at 5:47 PM
My first day working at AWS is going great. For some reason they had a lot of computers plugged in that nobody was using, so I’ve started an initiative to lower our carbon footprint
Reposted by LambdaDuck
Reposted by LambdaDuck
Reposted by LambdaDuck
Whistling when ICE is about to kidnap someone for no reason is incredibly effective. They know what they are doing is wrong and will scatter in the wind when too many witnesses gather.
October 12, 2025 at 5:50 PM
Whistling when ICE is about to kidnap someone for no reason is incredibly effective. They know what they are doing is wrong and will scatter in the wind when too many witnesses gather.
Reposted by LambdaDuck
You know when I said that what *really* makes LLMs work is our tendency to see faces on toast...?
arxiv.org/html/2408.06...
arxiv.org/html/2408.06...
Super-intelligence or Superstition? Exploring Psychological Factors Underlying Unwarranted Belief in AI Predictions
arxiv.org
October 12, 2025 at 2:39 PM
You know when I said that what *really* makes LLMs work is our tendency to see faces on toast...?
arxiv.org/html/2408.06...
arxiv.org/html/2408.06...
Reposted by LambdaDuck
just realized the dril drunk driving tweet also works for regular driving
October 2, 2025 at 3:23 AM
just realized the dril drunk driving tweet also works for regular driving
Reposted by LambdaDuck
This has been floating in my brain for a bit
October 4, 2025 at 4:34 PM
This has been floating in my brain for a bit
Reposted by LambdaDuck
Reposted by LambdaDuck
#ChatControl is a dangerous development at the EU level, after many failed attempts it looks closer to becoming reality than ever. Detailed information on what is it about and why it is not a good idea can be found in many places, like the link below.
#stopscanningme
#stopscanningme
ChatControl wants to scan all your private messages
The EU is pushing legislation that would scan all our private messages, even in encrypted apps.
metalhearf.fr
September 25, 2025 at 8:51 PM
#ChatControl is a dangerous development at the EU level, after many failed attempts it looks closer to becoming reality than ever. Detailed information on what is it about and why it is not a good idea can be found in many places, like the link below.
#stopscanningme
#stopscanningme
Reposted by LambdaDuck
I mentioned a little while ago I came up with a technique for keeping secrets in a solo RPG. If you listen at a door, whether you hear a noise is conditional on whether there's a creature behind it. But if you roll for a creature behind the door you give away […]
[Original post on mathstodon.xyz]
[Original post on mathstodon.xyz]
September 20, 2025 at 8:20 PM
I mentioned a little while ago I came up with a technique for keeping secrets in a solo RPG. If you listen at a door, whether you hear a noise is conditional on whether there's a creature behind it. But if you roll for a creature behind the door you give away […]
[Original post on mathstodon.xyz]
[Original post on mathstodon.xyz]