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.

«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

Bag making in progress. Joining ends to bodies for some tube/duffel shaped purses. Drinking tea, settling into the studio, and getting on with it #handmade #sewing #bagsewing #bag #vinylbags #maker

«Pegasus-Spyware lässt sich mit Tool um einen Dollar aufspüren:
Ein Cybersicherheitsunternehmen hat eine Software entwickelt, die Smartphones sehr preiswert auf das umstrittene Spionageprogramm überprüft»
Ich kenne und nutzte es nie, deswegen habe ich diesbezüglich kA, evt. wer von euch und ist es zu empfehlen?
🔍

Pegasus-Spyware lässt sich mit Tool um einen Dollar aufspüren
Ein Cybersicherheitsunternehmen hat eine Software entwickelt, die Smartphones sehr preiswert auf das umstrittene Spionageprogramm überprüft

#todayilearned that methane emissions from EU marine transport have at least doubled between 2018 and 2023, largely due to increased use of #LNG. [1] Methane is a heavy contributor to #climatechange

EU maritime transport: progress made, but environmental, sustainability challenges persist
Europe’s maritime sector is making progress towards greater sustainability but will need to increase its efforts over the coming years to meet EU climate and environment goals aimed at reducing energy use, pollution, and greenhouse gas emissions as well as better protecting biodiversity. That is according to the second edition of the European Maritime Transport Environmental Report , released today by the European Maritime Safety Agency (EMSA) and the European Environment Agency (EEA).

El Anime «WITCH WATCH» estš programado para comenzar el 6 de ABRIL de 2025 ;
Tema de apertura interpretado por YOASOBI.
Emitiéndose durante 02 partes, también llamadas cours consecutivas.
Producción de animación: Bibury Animation Studios.
#anime #manga

Thank you to the Flickr Foundation. As they pursue preserving digital photos of historical interest, they also put the effort into descriptive alt text for social media posts. @… @flickrfdn.bsky.social #AltText #Flickr