Tootfinder

@… 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…

@…
'A rare copy for sale of "Lisp Style and Design" by Molly Miller and Eric Benson (Digital Press, 1990), a great book cited by Paul Graham in On Lisp that covers often overlooked topics. All the proceeds will be donated to the Medley Interlisp Project.'

Lisp Style & Design - Molly Miller, Eric Benson - VERY RARE - VERY GOOD cond | eBay
Good design and style enhance programming efficiency because they make programs easier to understand, to debug, and to maintain. Lisp Hackers' Delight. Paul Graham cites this book in his classic text,On Lisp.

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

After wearing my cargo pants yesterday and being spoiled by decent sized pockets (I could fit my phone in the front pocket, keys, and lipstick without it falling out when I sit) I’m pissed again about the pockets in my current pants, back pocket I can only put my hand up to my second knuckle in the back (might fit a lipstick but it would fall out) and the front ones, stuff keeps falling out when I sit. I’m going to lengthen the pockets based on the cargo pants pockets, I don’t care if it ‘ruins the line of the pants, and adds bulkiness’ because as I always say, women’s pockets, when pants have them, are bullshit. And I don’t care if they make me look fat because I value function and comfort more. My son can fit a whole keyboard in his. I’ve been gradually lengthening my pockets as I get to them, or wearing a Fanny pack, but had to go to a funeral Sunday and got pissed again about my pockets. I want to empower other women with decent pockets, so we can take over. That poem about seditious pockets comes to mind. Or at least carry phones and keys. Will post photos. #sewing #pockets #womenspants

This is hilarious: #Signal

Ever since having had a chance to use a microWAVE for a few productions in the 90s, I always had a softspot for Waldorf synths because of their spectrally rich & interesting sound character (and their design had a big impact on the few synth engines I coded myself)... Eyeing again their Iridium desktop synth, which with their wavetable, sample, granular or resonator-based oscillators and ample filter and modulation features is also so fresh, innovative & powerful (even though it'…

«How to Learn Rust in 2024: A Complete Beginner’s Guide to Mastering Rust Programming»
– from @… on @… blog
Yes, I admit, I have to seriously go through this because I still find learning Rust difficult.
🦀

How to Learn Rust in 2024: A Complete Beginner’s Guide to Mastering Rust Programming | The RustRover Blog
So, you're thinking about choosing Rust as your next programming language to learn. You already know what it means to write code and have some experience with at least one programming language, probab

My old Mastodon account @… is gone because the server went offline and the admin went AWOL. So I cannot migrate my follows and followers, and I have to start from scratch here. If you followed me there, please re-follow me here. Thanks! #NewHere #ServerDown

Google 'Retrofits' Spatial Memory Safety Onto C
Google researchers showed they were able to "retrofit" spatial #safety onto their C #code'bases, and to do it with a surprisingly low impact on #performance

Google 'Retrofits' Spatial Memory Safety Onto C++
Google researchers showed they were able to "retrofit" spatial safety onto their C++ codebases, and to do it with a surprisingly low impact on performance.

Boom, toutes les boites "IT" Š la con qui ont utilisé des noms de domaine en .io pour faire les malins.
Le TLD .io pourrait disparaitre Š plus ou moins court terme. Merci bisous.
On répète après moi : les noms de domaine ne sont PAS des outils marketing. Surtout les TLD. Ne laissez pas les noms de domaine dans les mains de vos marketeux.
https://infosec.exchange/@mttaggart/113272616968966433
Pour rappel, le guide DNS de l'ANSSI dont j'ai été l'auteur principal : https://cyber.gouv.fr/publications/bonnes-pratiques-pour-lacquisition-et-lexploitation-de-noms-de-domaine