Live data from Hacker News

Viewing profile — teh_matt

teh_matt

HN member
Joined
Thu, May 14, 2020, 6:37 AM UTC
HN karma
17
Public activity
13 items

About teh_matt

https://programsareproofs.com

Recent public activity

  1. comment
    Comment #38426762

    You should be very careful when doing that. It may be rare in practice, but it's surprisingly easy to trigger ABA issues with only a 16-bit sequence number.

  2. comment
    Comment #36607105

    Yeah, it tends to be low single digit percents, but you can get some pessimal behavior if you have enough tiny functions because the overhead of what Cpython exposes starts becomin…

  3. comment
    Comment #36606257

    Most of the work is done via a C extension, which I suspect would be incompatible with MicroPython. The same techniques are presumably applicable, depending on how many interesting…

  4. comment
    Comment #36606234

    I'm not sure why the Gitlab UI shows Apache 2.0, but PPL3.0 is the correct license (and is in LICENSE.md).

  5. comment
    Comment #33849176

    I have a writeup of my 2021 solutions at https://programsareproofs.com/articles/aoc_2021.html . I got day 23 down to 31ms using Rust.

  6. comment
    Comment #33354764

    Working at a company that cared deeply about correctness and reading code over writing it was critical to my current coding style and beliefs. I've written about some of this at ht…

  7. comment
    Comment #29728618

    As someone who doesn't own a Windows machine and only uses Macs for work, this feels like an outdated perspective. It's been many years since using desktop Linux has required magic…

  8. comment
    Comment #28122986

    I'd recommend a Zebralight one (I like the H600Fc), as they're small, light, and much brighter than most headlamps you'll find. I've also had good luck with Armytek (Wizard Pro Nic…

  9. comment
    Comment #27032925

    I used it to do some tax optimization around ISOs at a newly public company ( https://gitlab.com/mbryant/taxoptimizer/-/blob/master/amt.py ). It gets pretty slow when you try to lo…

  10. comment
    Comment #27013605

    I hacked up something similar ( https://gitlab.com/mbryant/functiontrace/-/blob/master/src/p... ) a while ago. Your variant looks much more useful!

  11. story
  12. story
  13. comment
    Comment #24910762

    Note that tracing profilers don't need to be high overhead - Python is slow enough that efficient tracing can be mostly hidden. For example, https://functiontrace.com tends to have…