Live data from Hacker News

Viewing profile — mbonnet

mbonnet

HN member
Joined
Thu, Feb 15, 2024, 5:52 PM UTC
HN karma
155
Public activity
115 items

About mbonnet

Spacecraft software engineer in SoCal. Into hiking, camping, snowboarding, rock climbing, cats, history, and gardening.

Contact Me: * Website: https://michaelbonnet.github.io/ * GitHub: https://github.com/MichaelBonnet * Email me at maabonnet@gmail.com

Recent public activity

  1. comment
    Comment #49186378

    > transcendence > immanence somebody has been studying Christian theology!

  2. 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…

  3. 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.

  4. 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.

  5. 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.

  6. 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?

  7. 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.

  8. comment
    Comment #48373242

    now I have a moral reason (in addition to clear engineering reasons) to never use Flux!

  9. comment
    Comment #48373162

    The potion seller guy wrote Challengers

  10. 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.

  11. 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…

  12. comment
    Comment #48311794

    I agree. Art isn't a playing field!

  13. 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.

  14. comment
    Comment #48140762

    this is pretty much my conclusion. I try very hard to teach my interns the straight and narrow.

  15. comment
    Comment #47983958

    That, or any other potentially apocalyptic event

  16. comment
    Comment #47941849

    what is the point of this comment?

  17. 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.

  18. comment
    Comment #47721790

    How are GLPs bad for the world?

  19. comment
    Comment #47458577

    It is absolutely something to be ashamed of, and a moral crime.

  20. comment
    Comment #47432557

    in order, is is best to reduce, reuse, THEN recycle.

  21. comment
    Comment #47283394

    This is why I enjoyed EVE Online. You had to earn it, and if you lost it, that was that.

  22. 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.

  23. comment
    Comment #47278936

    mfw the rocket company is too irrelevant for name collisions

  24. comment
    Comment #47277194

    all men must answer to themselves

  25. comment
    Comment #46949063

    Rust is making huge headway in mission-critical embedded.