LightNews LightNews
anka213.bsky.social
LambdaDuck
@anka213.bsky.social
350 followers 420 following 1.2K posts
Haskell and type theory enthusiast they/them
Posts Media Videos Starter Packs
Pinned
anka213.bsky.social
LambdaDuck @anka213.bsky.social · Apr 20
constructive mathematician reacts to classical proof:
well, you’re not wrong, but …
1 2 13
anka213.bsky.social
LambdaDuck @anka213.bsky.social · 7h
is there some way to exploit this to duplicate the effect in some way because it’s a cost?
anka213.bsky.social
LambdaDuck @anka213.bsky.social · 7h
It should matter in the opposite direction. if he is, he should be held to a HIGHER standard, not lower
1
anka213.bsky.social
LambdaDuck @anka213.bsky.social · 7h
nah, empathy towards inanimate objects is also unhelpful. that mostly just becomes projection. however, becoming mad at them is indeed also bad and is in some cases also a case of anthropomorphizing

but yes, i do agree that being mean towards inanimate objects can be bad for your empathy
1
anka213.bsky.social
LambdaDuck @anka213.bsky.social · 1d
it is transfomational … for cybercrime.

there are SO MANY new kinds of fraud it has unlocked and/or made way easier
1
anka213.bsky.social
LambdaDuck @anka213.bsky.social · 2d
what happened? why are people making starter packs and introducing themselves suddenly?
1 2
anka213.bsky.social
LambdaDuck @anka213.bsky.social · 3d
”false”
6
Reposted by LambdaDuck
mollyknight.bsky.social
Molly Knight @mollyknight.bsky.social · 5d
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.
FORM A CROWD STAY LOUD PROTECT EACH OTHER CODE I: ICE NEARBY BLOW QUICKLY IN A BROKEN RHYTHM: PRE-PRE-PRE! → ALERTS THE COMMUNITY THAT ICE AGENTS ARE IN THE AREA. ROGERS PARK WHISTLE PROTOCOLS WHY A WHISTLE? ON THE STREETS • A SIMPLE TOOL FOR FAST ALERTS. • LOUD. RECOGNIZABLE. IMPOSSIBLE TO IGNORE. • OUR VOICES ARE STRONGER TOGETHER. WHISTLES GUIDE PEOPLE TO: • FOLLOW ICE CARAVANS • CATCH UP WITH THE CROWD • ALERT NEIGHBORS TO JOIN IN NOISE = VISIBILITY. CODE 2: CODE RED BLOW THREE LONG BLASTS: PREEEE-PREEEE-PREEEE! → ICE IS DETAINING SOMEONE. FORM A CROWD, STAY LOUD. DON'T STAY SILENT. STAY NONVIOLENT. WHY IT WORKS • INSTANT ALERT SYSTEM • FASTER THAN SOCIAL MEDIA • TURNS SILENCE INTO COMMUNITY ACTION ORIGINAL FLYER CREATED BY: WHAT YOU CAN DO • WEAR YOUR WHISTLE AROUND YOUR NECK TEACH FAMILY EIGHBORS TH CODES • USE IT WHEN ICE IS SPOTTED • PROTECT EACH OTHER, ALWAYS TOGETHER, WE KEEP OUR COMMUNITY SAFE. FORM A CROWD, STAY LOUD. THIS FLYER DISTRIBUTED BY: PROTECT RP • @PROTECTRP_
81 2.9K 5.8K
Reposted by LambdaDuck
jasongorman.bsky.social
Jason Gorman @jasongorman.bsky.social · 5d
You know when I said that what *really* makes LLMs work is our tendency to see faces on toast...?

arxiv.org/html/2408.06...
Super-intelligence or Superstition? Exploring Psychological Factors Underlying Unwarranted Belief in AI Predictions
arxiv.org
1 3 12
anka213.bsky.social
LambdaDuck @anka213.bsky.social · 5d
this is what i was trying to refer to: bsky.app/profile/flav...
flaviocorpa.com Flavio 🏴‍☠️ @flaviocorpa.com · 7d
I think saying that “React is basically Haskell” is quite a stretch, to be honest 😅
danabra.mov dan @danabra.mov · 7d
i think the @react.dev Compiler team could include more of this type of messaging. i'm being a bit inflammatory here (and Haskell may not the best analogy), but the principle of "pure things are safe to move around" is fundamentally simple and has been known for decades. teach it to new generation!
1 1
anka213.bsky.social
LambdaDuck @anka213.bsky.social · 6d
is this a react(ion) to recent discourse?
1 1
anka213.bsky.social
LambdaDuck @anka213.bsky.social · 6d
it’s absolutely ridiculous that you can’t even set a hard limit on how much to pay or even use a prepay for most cloud services!
anka213.bsky.social
LambdaDuck @anka213.bsky.social · 6d
the size doesn’t matter. russia is way larger and good luck going against the regime there
1 1
anka213.bsky.social
LambdaDuck @anka213.bsky.social · 7d
working with proof assistants has gotten me used to this. they have had code search tools long before LLMs. but there i also don’t need to review the code because they’re automatically formally verified
anka213.bsky.social
LambdaDuck @anka213.bsky.social · 7d
i recommend board games/ttrpgs. both are very nerdy and kinda force you to go out.

the main issue if finding the group. sometimes there are clubs for it or there are local Looking For Group forums.

the other option i can think of for meeting nerds irl is fan conventions
3
anka213.bsky.social
LambdaDuck @anka213.bsky.social · 8d
it shouldn’t be too unreasonable to make a decent job that covers 80-90% of cases with a few heuristics. nixpkgs tries to be predictable to make it easier for maintainers

but nixos modules should be way easier, since there are actual types in the code
1
anka213.bsky.social
LambdaDuck @anka213.bsky.social · 8d
me lying aspirationally: i should try to contribute auto-generated typed nixpkgs bindings. it should be doable in a few weekends and not be an entire PhD thesis worth of effort
1 3
anka213.bsky.social
LambdaDuck @anka213.bsky.social · 9d
the thing with metaverse is that it wasn’t even possible to pretend that it was relevant for most applications, while AI is being pushed for literally everything in existence
1 9
anka213.bsky.social
LambdaDuck @anka213.bsky.social · 9d
and military, and crime (which is labor too) and much of lobbying/propaganda, etc, etc.

but i guess the point here is that if you weren’t forced into work for an employer to live, then very few people would want to do most of those net-negative jobs
1
anka213.bsky.social
LambdaDuck @anka213.bsky.social · 9d
i guess that depends on what you mean by “the public”. everyone is a part of the public, so in that sense, all labor that benefits at least one person, does benefit at least a part of the public, but i don’t feel that this is what you usually mean. plenty of labor causes a net negative (e.g. ads)
1
anka213.bsky.social
LambdaDuck @anka213.bsky.social · 9d
and this is of course almost used as much for bad purposes as for benign ones, as it is still, even in the best cases, a form of deception
1
anka213.bsky.social
LambdaDuck @anka213.bsky.social · 9d
The best use i could think of is for photoshopping to clean up actual photos, like removing things you don’t want in them and replacing them with a plausible background.
This was possible before genai, but way more time-consuming

but yeah, i definitely agree that there are basically no good uses
2 3
Reposted by LambdaDuck
davidcrespo.bsky.social
conputer dipshit @davidcrespo.bsky.social · 16d
just realized the dril drunk driving tweet also works for regular driving
wint @dril drunk driving may kill a lot of people, but it also helps a lot of people get to work on time, so, it;s impossible to say if its bad or not,
1 73 330
anka213.bsky.social
LambdaDuck @anka213.bsky.social · 10d
what made you have those previous beliefs? bad previous experiences? media? something else?

when you formulate it like this, the new beliefs sound so obviously true and the old sound obviously false to me.
1 4
anka213.bsky.social
LambdaDuck @anka213.bsky.social · 10d
i mean, yes, but also, it should be for everyone, not just workers, but we can take it one step at a time.

creative work was simply a proxy for what is easy to do for the public benefit without an employer, but i guess that holds for e.g. most social work too
1
anka213.bsky.social
LambdaDuck @anka213.bsky.social · 10d
👏