teh_matt

4 ms·

1.
by teh_matt 3y ago
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.
by teh_matt 3y ago
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 becoming large. Our "benchmark" where the 10% comes from
3.
by teh_matt 3y ago
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 hooks MicroPython exposes.
4.
by teh_matt 3y ago
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.
by teh_matt 4y ago
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.
by teh_matt 4y ago
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 https://programsareproofs.com/articles&#x
7.
by teh_matt 5y ago
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 magical terminal incantations (for me at least). If it
8.
by teh_matt 5y ago
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 Nichia), though people say their reliabili
9.
by teh_matt 5y ago
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 look more than a few y
10.
by teh_matt 5y ago
I hacked up something similar ( https://gitlab.com/mbryant/functiontrace/-/blob/master/src/p... ) a while ago. Your variant looks much more useful!
11.
Code Reviews for Fun and Profit(programsareproofs.com)
1 points by teh_matt 5y ago|0 comments
12.
Solving a Puzzlehunt with Satisfiability Modulo Theories(programsareproofs.com)
3 points by teh_matt 6y ago|0 comments
13.
by teh_matt 6y ago
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 <10% overhead when tracing.