iiinova — where your digital self keeps evolving

this of course doesn’t make it in any way _easy_ to reinitiate that contact, but may possibly reduce some of the stress and worry that it’s permanently lost

000

if it’s any comfort, i would appreciate contact back from a forgotten friend even if they had forgotten or been unsure about how to reply for over ten years, almost regardless of how it would be initiated in other words, the relationship wouldn’t have been destroyed, only paused until next contact

100

could’ve been worse: bsky.app/profile/vtub...

after watching the segment from Last Week Tonight, i’m reading this as in fuck/marry/kill

LambdaDuck @anka213.bsky.social · 11/10/2026

maybe it’s just a very simple program? int main() { return 0; }

140

but at least it allows you to pay 3 mana to get one mana of color

020

why not use it for a ska band?

leaving the combat? or does this happen before it has been selected as an attacker/defender?

hmm, this sounds interesting! how would one do this in practice? ask the ai to leave some part un-implemented? manually abort it at some point so you can implement it yourself? some other tactic?

100

it’s probably more likely that it’s a side product of marketing tactics. which i guess in a way, model eval is a part of. how else can you say “our model did this well on task x”?

030

or you could use static types and think about ways to offload the effort of maintaining invariants of your program to the compiler, so you don’t have to worry about them, because the compiler will complain if you use it wrong A simple example of this is explicit nullability markers in types

3. ”formal verification *techniques*”. you don’t have to formally verify every single line of code in your software to get benefits. for example, you could use a model checker (like TLA+) to verify the high level algorithms for the most difficult (e.g. concurrency heavy) parts of your system

I enjoyed it. there are plenty of worse ways i’ve spent 3 hours. but sure, there are also better ways i’ve spent 3 hours in other words, i’d say that those warnings were severely exaggerated

1. the goal is to *reduce* the number of bugs, not eliminate all bugs 2. ”too simple to contain bugs”? compcert.org

compcert.org

CompCert - Main page

but don’t you know that unrestricted free trade is the best way to get an efficient* economy with cheaper** prices? *that is to say, one where work can be moved to places with fewer pesky labor laws and environmental protections etc that hurt profits **except where it causes increased prices

130

fair enough! det är nog mest sossar som varit gnälliga över att det inte var en sosse, snarare än ett de faktiskt tyckte att han inte skulle vara bra som talman

000

jo, jag är förvånad att C inte har ifrågasatts mer om det här innan valet. förvisso kanske de antog att V skulle vika sig som vanligt, men deras kongressbeslut var ju känt sedan länge

020

så vad tycker du om vänsterpartiets beslut? 😅

100

är det så dåligt att driva upp tempot i regeringsförhandlingarna? är inte säker på att det blir bättre för att de får mer tid på sig

000

LambdaDuck @anka213.bsky.social · 29/09/2026

har han tillgång till mer/andra offentliga medel som talman än som vanlig riksdagsledamot? annars är det bara relevant som symbolfråga

100

1. Owning a bike 2. Fewer traffic lights on the path to work 3. Worse public transport on the path to work (1 isn’t a strict requirement, since we have a quite nice bike sharing system in our city) (we already have a network of protected bike paths covering most of our city)

000

LambdaDuck @anka213.bsky.social · 29/09/2026

i don’t even get what problem they’re pretending to solve with this bill? the article used a lot of words to skip the most important questions

030

LambdaDuck @anka213.bsky.social · 29/09/2026

United States of … Butts? Bandits?

LambdaDuck @anka213.bsky.social · 27/09/2026

good counterexample to this: en.wikipedia.org/wiki/Bouba/k...

en.wikipedia.org

Bouba/kiki effect - Wikipedia

000

LambdaDuck @anka213.bsky.social · 27/09/2026

I also love that in french it’s a homophone to ”chat, j'ai pété”, meaning ”cat, I farted”. especially fun when you hear people talking about it on the news with a serious face: ”will cat i farted take our jobs?”

040

Reposted by LambdaDuck

In Otter News @in-otter-news.bsky.social · 26/09/2026

After a long day at the aquarium, the otters help tidy their toys away. Payment is made promptly and entirely in ice cubes.

330189913987

LambdaDuck @anka213.bsky.social · 26/09/2026

my interpretation is that it was an attempt at defense in depth. if the others failed, then this might reduce the risk. in this specific case, it’s the only method that could possibly have worked, since it was external agents that hacked into the servers

000

LambdaDuck @anka213.bsky.social · 25/09/2026

reminds me of ”up to x or more”

130

Reposted by LambdaDuck

Isopod Fan Account @bedupolker.bsky.social · 23/09/2026

Just found out my favorite flannel's pocket has a strict one rat limit.

211902393

so… was a cult actually started? 😁

Rebane @rebane2001.bsky.social · 23/09/2026

Reposted by LambdaDuck

did you know? the ❌ on the cloudflare error page is not symmetric!

2155699

is this too subtle? am i fulfilling stereotypes enough?

A photo of my work laptop. The lock screen says:
NixOS
future.isDeclarative = true;

030

indeed! it’s also experience dependent. someone who is used to c style syntax will find haskell syntax very confusing, but the reverse is also true it’s probably possible to make a study, but it’d be very difficult experimental design. however, an objective measure could be speed of understanding

i’m very happy that my job allows us to install whatever OS we want on our work laptops!

140

here the (,) is just the normal tuple construction and not related to functions at all the other thing that reduces parens needed is that -> is right-associative, so the actual type signature is: example :: Int -> (Int -> (Int -> Int)) which shows more clearly that all funs have exactly one arg

we cheat a bit here with allowing multiple arguments left of the = sign, but all the rest fall out naturally from having all functions be one-argument and using currying. in fact we can even get back parenthesized multi-arg funs using tuples: nonCurry :: (Int, Int) -> Int nonCurry (a, b) = a + b

if the syntax is well chosen, it actually *reduces* the visual noise here’s a three argument function in haskell, using currying example : Int -> Int -> Int -> Int example a b c = a + b * c we would apply it as `example 1 2 3`

220

rip your prospects of fucking Incel_Cheesedick 😢 but congrats on your doctorate anyways, despite this tragic loss 🥳

but would a temporary ceasefire in preparation for negotiations really be viewed as weakness? it’s not really surrendering anything as far as i can tell?