Marianne Bellotti
bellmar.medium.com · Personal blog · on HN since 2020
Marianne Bellotti is a software engineer who writes about engineering management, software architecture, formal verification and building a programming language.
What HN saysHN commenters call themselves fans of her writing and follow her series on writing a programming language; they also link her pieces on formal verification and analog computing.
17HN people shared it
5linked it in comments
41stories submitted
2.1Kstory points
2 years agolast shared
2020people per year2026
Most-shared posts
- 1All the best engineering advice I stole from non-technical people (2019)3 people · 364 points · first shared 2021 · 76 comments on HN
- 2Yes, You Can Charge More3 people · 11 points · first shared 2022 · 1 comments on HN
- 3Work Somewhere Dysfunctional2 people · 111 points · first shared 2022 · 80 comments on HN
- 4Five Koans of Software Architecture2 people · 29 points · first shared 2022 · 14 comments on HN
- 5Can You Use Formal Verification on a Table Top Game? (Solutions)2 people · 7 points · first shared 2022 · 1 comments on HN
- 6Toxic and Woke Engineering Orgs2 people · 3 points · first shared 2020 · discussion on HN
- 7Can You Use Formal Verification on a TableTop Game?2 people · 2 points · first shared 2022 · discussion on HN
- 8Come Break My Compiler2 people · 2 points · first shared 2023 · discussion on HN
- 9Guess What? Analog Computing May Be Coming Back2 people · 1 points · first shared 2023 · discussion on HN
- 10Hunting Tech Debt via Org Charts1 people · 250 points · first shared 2021 · 87 comments on HN
- 11Programming in Z3 by learning to think like a compiler1 people · 179 points · first shared 2021 · 18 comments on HN
- 12Three questions to turn the table during technical interviews1 people · 164 points · first shared 2024 · 109 comments on HN
- 13The Death of Process1 people · 163 points · first shared 2022 · 48 comments on HN
- 14To boost your intelligence, learn how to self-soothe1 people · 156 points · first shared 2021 · 89 comments on HN
- 15How to Be an Amateur Bot Hunter1 people · 95 points · first shared 2021 · 24 comments on HN
What HN people wrote when they linked it
camgunz · 2023-03-09
Nice that this is now real! I followed along with Marianne Writes a Programming Language [0] which I thoroughly enjoyed, and it's cool to see this come to fruition.
[0]: https://bellmar.medium.com/marianne-writes-a-programming-language-8fff…
kqr · 2021-09-18
I'm a huge fan of Bellotti's writing on the web (https://bellmar.medium.com/), so this is definitely high on my to-read list.
tonystubblebine · 2024-03-18
asicsp · 2023-03-31
Related:
https://bellmar.medium.com/guess-what-analog-computing-may-be-coming-b…
https://news.ycombinator.com/item?id=34585958 (99 points | 2 months ago | 84 comments)
---
https://semiengineering.com/can-analog-make-a-comeback/
https://news.ycombinator.com/item?id=32106546 (130 points | 8 months ago | 125 comments)
homarp · 2022-05-16