I'm having a lot of fun running Fedora in a VM with UTM on my MacBook (an old Intel one). You might try that if you already have an M1 MacBook.

I believe Kochenderfer et.al.'s book "Algorithms for decision making" is also about reinforcement learning and related approaches. Free PDFs are available at https://algorithmsbook.com

It’s the title of the blog post and I didn’t want to change it. But yes, it seems to focus on the specific subset of hardware engineering that’s control systems.

I have been eyeing “The Hitchhiker's Guide to Logical Verification” but haven’t yet found the time to work through it.

The 2025 edition material is at https://github.com/lean-forward/logical_verification_2025?ta...

An older version (2022-2023) with video lectures is at https://lean-forward.github.io/logical-verification/2022/ind...

This is really good. I like the idea of the game and your execution of it is superb.

(Original title shortened because it's too long.)

Why higher-order logic is a good formalisation for specifying and verifying hardware

Mike Gordon

September 1985, 28 pages

DOI https://doi.org/10.48456/tr-77

Abstract

Higher order logic was originally developed as a foundation for mathematics. In this paper we show how it can be used as: 1. a hardware description language, and 2. a formalism for proving that designs meet their specifications.

Examples are given which illustrate various specification and verification techniques. These include a CMOS inverter, a CMOS full adder, an n-bit ripple-carry adder, a sequential multiplier and an edge-triggered D-type register.

See also https://lawrencecpaulson.github.io/2023/01/04/Hardware_Verif... and "Interactive Formal Verification, Lecture 11: Hardware Verification" by Lawrence Paulson https://www.youtube.com/watch?v=KVdgoEpo4uI&list=PLVdBoNna-4...

  Location: Augsburg, Germany
  Remote: yes, remote or onsite is fine
  Willing to relocate: no

  Technologies:
  - C, C++, assembly language, clang, llvm,
  - C#, .NET, WPF, ASP.NET Core, Blazor, Javascript,
  - LabVIEW, TestStand, FlexLogger,
  - Python, Jupyter, gRPC, git, Windows, Linux.

  Résumé/CV: https://www.linkedin.com/in/peter-ilberg/
  Email: peter dot ilberg at gmail dot com

Software engineer with over 25 years of experience in software development.

Skills:

- Compiler construction, debuggers, and static analysis,

- Data acquisition, real-time and semiconductor test systems,

- General application development, problem solving, and algorithms

- Driving challenging projects to completion,

- Mentoring and working in distributed teams.

I’ve really enjoyed this book:

Introduction to Applied Linear Algebra – Vectors, Matrices, and Least Squares

https://web.stanford.edu/~boyd/vmls/

Started this over the weekend. It's truly excellent. Thanks so much for the recommendation.

Thanks for the suggestion.

Location: Augsburg, Germany

Remote: on-site, hybrid, remote

Willing to relocate: no

Technologies: C, C++, C#, Python, data acquisition, data visualization, and data analysis and decision making

Résumé/CV: https://www.linkedin.com/in/peter-ilberg/

Email: peter dot ilberg at gmail dot com

Software engineer with extensive experience in many areas of software development, and the demonstrated ability to drive challenging projects to completion.

The same sport is played in the Netherlands and north-western Germany: https://en.wikipedia.org/wiki/Klootschieten

German names are Klootschießen and Boßeln.