Hacker News: peterbhnews

New comment by peterbhnews in "Ferrari Luce"

peterbhnews — Tue, 26 May 2026 11:45:54 +0000

You can configure it in 3 different shades of red, including the traditional Rosso Scuderia.

New comment by peterbhnews in "Programming FPGAs on macOS"

peterbhnews — Tue, 04 Feb 2025 18:56:14 +0000

The common wisdom is that you need a VM to program FPGAs on MacOS. If you're willing to make compromises about which platform you're targeting, the common wisdom is wrong. In this video I show two different workflows to target Lattice ICE40 based FPGAs from native MacOS.

Programming FPGAs on macOS

peterbhnews — Tue, 04 Feb 2025 18:56:14 +0000

Article URL: https://www.youtube.com/watch?v=1NTX2qu_SoI

Comments URL: https://news.ycombinator.com/item?id=42936913

Points: 3

# Comments: 1

New comment by peterbhnews in "Show HN: Invoice Dragon – An open source app to create PDF invoices"

peterbhnews — Tue, 25 Jul 2023 12:17:00 +0000

A lot of the complexity of invoicing isn't in the PDF generation (which this tool does a wonderful job of doing, nice work!) but on the side of tracking which invoices are open vs. paid, which ones are aging, whether there are discounts that can be applied for early payment, and of course integration with whatever accounting tools you're using.

But this looks like a great, simple tool for people who need to occasionally send an invoice or two. Thanks for sharing it.

New comment by peterbhnews in "Real World Divorce"

peterbhnews — Tue, 13 Sep 2022 15:37:29 +0000

Yes.

New comment by peterbhnews in "Real World Divorce"

peterbhnews — Tue, 13 Sep 2022 15:00:23 +0000

I knew this article was written by Greenspun within 2 paragraphs. It's really sad to see someone otherwise talented and intelligent devolve into the conspiracy-theory laden mindset of a man broken by his own relationship mistakes.

New comment by peterbhnews in "GnuCash – Open-source personal and small-business accounting software"

peterbhnews — Mon, 18 Jul 2022 21:00:59 +0000

I have. All of the plain text accounting packages are optimizing to solve the exact wrong problem. The reality is that even if you are using a commercial package, it's generally not hard to get a CSV (or something like it) OUT of the software. What you actually need for a sufficiently complex financial life is input validation, and that's exactly the problem that plain text accounting software punts on.

Gnucash has a lot of cruft and definitely feels like it was written in 2003, but it does address this issue and provides the basic input validation you need to minimize errors.

The other issue with plain text accounting software is most of it only flags errors after you 'compile' your books (or, more properly, run them through some sort of command-line tool), which is far too late to make data entry convenient. (Some of them have web-based tools, like beancounts "fava" package, that act more like Gnucash...but at that point the term "plain text accounting" loses all meaning IMO, you're just using another client, so why not use a better one?

The Incredible Proof Machine – An Introduction

peterbhnews — Mon, 04 Jul 2022 02:22:50 +0000

Article URL: https://www.youtube.com/watch?v=bExGUtVWzb4

Comments URL: https://news.ycombinator.com/item?id=31972865

Points: 2

# Comments: 0

The Natural Number Game: Proving Theorems with Lean

peterbhnews — Sun, 26 Jun 2022 03:45:17 +0000

Article URL: https://www.youtube.com/watch?v=e26V91LmhzY

Comments URL: https://news.ycombinator.com/item?id=31880875

Points: 1

# Comments: 0

New comment by peterbhnews in "The Plain Text Project"

peterbhnews — Tue, 03 Dec 2019 17:18:11 +0000

You say this but I bet most of the people who style themselves plain text purist really do mean ASCII.