AuDHDuck

@rubberducky.guru

Weird duck that likes programming. Also attracted to logic/formal math. This, however, is a s̶̛̞̫̩͉̞͍̟͕̣̥͉͍͗̈́̈́̓̓͑̃̓̕h̴̢̨̢͍͈͍̋͐̂́̽̅̄̋́͛̚͝į̶̬̹͓̜̟̫͐̓͆̋͌̈́́̿̊̍̊͌́̂t̶̲̀̿̓̈́͑̈́̚̚p̴̧̢̡̧̧͍̖̳̪̘̱̝̟̮̬̑͛̏̚̚͜͝o̸̢̧̢̦̝̝͇̬͈͔̺͚̝͍̣̰͔̺̞͉̅̇̆̈́̏̂́̃̈́͂͛̃͌̄̕͘̕͘͠͠ͅͅş̵̢̛̛̛̝̦̦͈̤̩̫̺͓͌̉̈́̿͛̎̈́͗͌̋͐̓̋̉̃͘ͅt̶̛̟̻͚̗̬͍̭̰̤̙̦̻͉̙̋́͑͂̉̀̐̃͋͌͊̈̈̿͒̽̔̿̕͠ and all-in-one-ish account IC and low-polarization creature fr/en

I just overheard my little brother tell to my cousin that I'm better at explaining math stuff when helping than my father 🥹️ (although I'm worse at speed, which I know, I'm horrible at remembering stuff so I need to go search up everything)

is there anyone else feeling that firefox mobile is very slow at search engine queries and opening websites (basically the same thing)? And often it just straight up doesn't want to open any of my homelab service in my vpn while chromium (vanadium) works just fine and is fast (but no adblocker)

genuinely don't know how “persist this rust state struct, give me safe snapshots/updates, and let me evolve it with explicit type-checked migrations” isn't already a solved small-app abstraction. all the pieces exist, but apparently not quite this combination.

We're well into the process of converting the Messaging app included in GrapheneOS into a modern app. We'll be making a new release later today with a completely overhauled user interface written in Android Compose. We've made a massive amount of other improvements and bug fixes beyond that too.

dreaming of a world were you need to opt into making a message more important for the recepient to see the notification directly by default -> no notification important -> pings you with a sound urgent (restricted to certain people you choose) -> plays something more... urgent... (alarm?)

My hot take is that we’ve been making software too fast for our own good, even before LLMs. They’re just the nail in the coffin. I think we’ll end up putting a lot more effort into the foundations: common language standards, tighter specs, and proving more of the stuff everything else depends on.

heartpunk (sophie!!)@heartpunk.com · 2w ago

we can actually contain them. existing hypervisors may not be there yet, but like, proofs are fucking possible. how do people forget that LLMs can prove things. they do it all the time. we can prove hypervisors just as much as any other math! EVERYONE STOP THE FUCKING DOOM security is possible

Gonna be at decibels today, so if for some reason anyone is also going let me know! Unfortunately ophidian is only on Sunday and I'll have left by then. I'm so sad TwT

What they don't tell you is that if you loose your Canadian passport abroad, you get the all-white special edition passport. (macro transaction and grinding required)

This is a test for long messages. This is a test for long messages. This is a test for long messages. This is a test for long messages. This is a test for long messages. This is a test for long messages. This is a test for long messages. This is a test for long messages. This is a test for 1/3