Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@kubikpixel@chaos.social
2024-12-11 10:50:14

«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.
🦀

@samir@functional.computer
2024-12-20 23:00:25

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

@dougmerritt@mathstodon.xyz
2024-11-19 16:57:30

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