#Python & SQL #developer at a healthcare startup in #WashingtonDC. Reader of #books; player of #BoardGames; information squirrel. Former core #Python developer.
Opinions are my own. Posts are deleted after one year.
| Pronouns | he/him |
| Web site | https://www.amk.ca |
| BoardGameGeek | https://boardgamegeek.com/user/akuchling |
“Book reviews are an endangered species. So this independent bookstore decided to start publishing its own.”
Books written for younger audiences are being relocated to adult sections at alarming rates. We asked experts to predict what that means for the rest of us.
https://www.404media.co/are-public-libraries-becoming-childrens-libraries/
This Week exclusively:
I will be offering the digital version of Seeds of Spring 1 for FREE (or pay what you want) on my Ko-Fi
https://ko-fi.com/sacharavenda66232/shop
Seeds of Spring is a 15 part comic book series based on the real life story of Peter Kropotkin, a former Russian prince who gave up his aristocratic life to become a notable geographer who mapped uncharted parts of Siberia, and one of the leading anarchist thinkers of his time, who escaped Russia's most dreaded prison.
The story is told from the perspective of Naguset, a 17 year old girl who is learning to reconnect with her Mi'kmaq heritage with the help of her grand-parents.
The story juxtaposes Naguset's personal and political coming-of-age in her loving family home with Kropotkin's rocky upbringing in a princely palace. These two stories of eventful lives and bold hearts are interwoven with Kropotkin's theories of freedom, Mi'kmaq vocabulary and social history, and an uplifting punk soundtrack, creating a unique reading experience bound to inspire readers to think in new ways about the issues of our time.
#books #bookstodon #mastoart #fediart #anarchism #kropotkin #comics #freebook
RE: https://mastodon.social/@andrewnez/116789857223048879
Wasn't previously familiar with Zooko's Triangle - this is a really good post.
A bold satellite rescue mission came together in record time, but will it work?
"I consider this a success already, just from the fact that we're even going to try this."
https://arstechnica.com/space/2026/06/a-bold-satellite-rescue-mission-came-together-in-record-time-but-will-it-work/?utm_brand=arstechnica&utm_social-type=owned&utm_source=mastodon&utm_medium=social
Rust's type system prevents many classes of memory errors, yet its standard library relies heavily on unsafe code whose correctness is validated through testing, including dynamic checks under Miri, but lacks static verification. We present what is, to the best of our knowledge, the largest verification campaign reported for a software library: an open, crowdsourced effort that integrates complementary verification tools into the continuous integration of a verification repository forked from the Rust standard library. We analyze the campaign's effectiveness, discuss the practical value of machine-checked proofs for a subset of undefined behaviors (e.g., out-of-bounds access, null and dangling pointer dereferences, and use of uninitialized memory), and frame the remaining obstacles as open challenges for the formal-methods community.
Sam Litzinger
404 Media
Sacha Ravenda
Zach Weinersmith
Greg Wilson
Grickle
Meg Schwamb
Ars Technica