Tux Machines

Programming Leftovers

Posted by Roy Schestowitz on Jun 15, 2023

WWW: WebSocket, Google Chrome, and More

Security, Microsoft Windows, and Canonical Promoting Microsoft

This Week In Rust: This Week in Rust 499

↺ 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)]

↺ Ethics in a machine-learning world

> 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

↺ 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

↺ Crystal: how to compute a CRC32 checksum

> To compute the CRC32 checksum of some data in Crystal, use Digest::CRC32.

Candid for engineers

↺ 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

↺ 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.

gemini.tuxmachines.org