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.
Readit Newsi_don_t_know commented on Ask HN: Quality of recent gens of Dell/Lenovo laptops worse than 10 years ago? · Posted by u/ferguess_k
i_don_t_know commented on CS234: Reinforcement Learning Winter 2025 web.stanford.edu/class/cs... · Posted by u/jonbaer
Kindly suggest some books about RL?
I've already studied a lot of deep learning.
Please confirm if these resoruces are good, or suggest yours:
Sutton et al. - Reinforcement Learning
Kevin Patrick Murphy - Reinforcement Learning, an overview https://arxiv.org/abs/2412.05265
Sebastian Raschka (upcoming book)
...
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
i_don_t_know commented on Archimedes – A Python toolkit for hardware engineering pinetreelabs.github.io/ar... · Posted by u/i_don_t_know
Its specifically meant for control systems no?
hardware engineering is a very broad field and the title is misleading
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_don_t_know commented on Ask HN: Looking for a good course to learn proof assistant Lean 4 · Posted by u/rabarbers
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...
I recently launched a daily word puzzle!
It’s inspired by tile placement board games like Patchwork and crosswords. You rotate and move tiles to rebuild a broken crossword.
It’s free, web based, and responsive.
I currently have several hundred daily players and growing. My wife and I create the puzzles and I’m continuing to fix bugs and add new features.
I just launched a ”community puzzle” feature to let players help build new puzzles.
I’d love to know what you think!
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
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_don_t_know commented on An illustrated introduction to linear algebra ducktyped.org/p/an-illust... · Posted by u/egonschiele
This is great. I really appreciate visual explanations and the way you build up the motivation. I'm using a few resources to learn linear algebra right now, including "The No Bullshit Guide to Linear Algebra", which has been pretty decent so far. Does anyone have other recommendations? I've found a lot of books to be too dense or academic for what I need. My goal is to develop a practical, working understanding I can apply directly.
I’ve really enjoyed this book:
Introduction to Applied Linear Algebra – Vectors, Matrices, and Least Squares