Programming Leftovers
-
This Week In Rust: This Week in Rust 499
Hello and welcome to another issue of This Week in Rust!
-
Ethics in a machine-learning world [Ed: The irony of a keynote talk about ethics from someone who worked in organised crime (Microsoft)]
Margaret Mitchell, a researcher focused on the intersection of machine learning and ethics, was the morning keynote speaker on the third day of PyCon 2023. She spoke about her journey into machine learning and how the Python language has been instrumental in it. It was a timely and thought-provoking talk that looked beyond the machine-learning hype to consider the bigger picture.
-
Some tests are stronger than others
Any system that has STRONG as a property also has WEAK. This matches our notion of strength because a system can have a bug that breaks STRONG but not WEAK, but can’t have a bug that breaks WEAK but not STRONG. In a sense, WEAK is redundant, because it cannot give us any “new information” about correctness.
-
Crystal: how to compute a CRC32 checksum
To compute the CRC32 checksum of some data in Crystal, use Digest::CRC32.
-
Candid for engineers
Candid is the primary interface definition language for smart contracts hosted on the Internet Computer.
Most prevalent data-interchange formats, such as Protocol Buffers and Thrift, come straight from engineering departments.
Candid is different. Candid is a child of programming language designers who grew it from first principles. As a result, Candid makes sense but might feel alien to most engineers.
This article is an introduction to Candid I wish I had when I started using it.
-
Use of R for Meta-Research in Zürich
Rachel currently works as a post-doctoral researcher at the Center of Reproducible Science at the University of Zürich. She uses R for her work and for teaching in her course on good research practices.