Viewing profile — mbonnet
mbonnet
HN member- Joined
- Thu, Feb 15, 2024, 5:52 PM UTC
- HN karma
- 155
- Public activity
- 115 items
- HN profile
- View on Hacker News ↗
About mbonnet
Contact Me: * Website: https://michaelbonnet.github.io/ * GitHub: https://github.com/MichaelBonnet * Email me at maabonnet@gmail.com
Recent public activity
-
comment
Comment #49186378
> transcendence > immanence somebody has been studying Christian theology!
-
comment
Comment #49174765
Apex Space | Multiple Roles | Full-Time | Onsite | Los Angeles, CA | apexspace.com Apex Space is building standardized spacecraft platforms to enable true mass-production of spacec…
-
comment
Comment #49076166
Robert Martin, the author of Clean Code, is a caustic dick defending a book full of spurious commandments. I don't put any stock in his takes.
-
comment
Comment #48913281
> I break about 1 USB-C plug a week. That's a you problem. I have never done this, and neither have any of the dozen people I just asked in my office.
-
comment
Comment #48821812
Yes. People don't want to go out and buy or borrow physical writing, or lug around a laptop, if they don't have to.
-
comment
Comment #48373265
what makes you think you can unilaterally expand a very well-accepted meaning of a term, especially in a discussion that is basically semantics of the term?
-
comment
Comment #48373254
it's generally another layer on top of things like unit testing, MC/DC coverage, etc. not all programs use formal verification though.
-
comment
Comment #48373242
now I have a moral reason (in addition to clear engineering reasons) to never use Flux!
-
comment
Comment #48373162
The potion seller guy wrote Challengers
-
comment
Comment #48373147
Golden Dome is tens of billions of dollars for extremely limited small-salvo ballistic missile interception. It will get canceled next administration, and for good reason.
-
comment
Comment #48311831
A decent amount of mission-critical software undergoes formal verification, like spacecraft flight software (my area of expertise). SparkADA lives on because of not just its safety…
-
comment
Comment #48311794
I agree. Art isn't a playing field!
-
comment
Comment #48270057
This is why you should have several of them checking against the same rulesets and cross-check them to reduce chasing of false positives.
-
comment
Comment #48140762
this is pretty much my conclusion. I try very hard to teach my interns the straight and narrow.
-
comment
Comment #47983958
That, or any other potentially apocalyptic event
-
comment
Comment #47941849
what is the point of this comment?
-
comment
Comment #47722002
> I would like to know how can someone like me defend against them? You could take the Galactica approach - de-network everything you can.
-
comment
Comment #47721790
How are GLPs bad for the world?
-
comment
Comment #47458577
It is absolutely something to be ashamed of, and a moral crime.
-
comment
Comment #47432557
in order, is is best to reduce, reuse, THEN recycle.
-
comment
Comment #47283394
This is why I enjoyed EVE Online. You had to earn it, and if you lost it, that was that.
-
comment
Comment #47279122
I have an old 2020 M1 Macbook Air that is on its last legs because 8GB RAM isn't enough for regular use cases. If this had a 16GB RAM option I'd go for it, but alas.
-
comment
Comment #47278936
mfw the rocket company is too irrelevant for name collisions
-
comment
Comment #47277194
all men must answer to themselves
-
comment
Comment #46949063
Rust is making huge headway in mission-critical embedded.