drdrey

7 ms·

61.
by drdrey 2y ago
This is a rare counterexample to Betteridge's law of headlines
62.
by drdrey 2y ago
once you start importing more packages, you easily end up with 100+ ms startup time
63.
by drdrey 2y ago
this is purely based on aesthetics. Even Mario games use the slot machine “skin” to represent RNG
64.
by drdrey 2y ago
and shorter
65.
by drdrey 2y ago
just because that aircraft was doomed (maybe?), that doesn't make it a good idea to have the concrete wall there
66.
by drdrey 2y ago
really wasting each other’s energy
67.
by drdrey 2y ago
I think assembling Legos would be a cool robot benchmark: you need to parse the instructions, locate the pieces you need, pick them up, orient them, snap them to your current assembly, visually check if you achieved the desired state, repea
68.
by drdrey 2y ago
https://microsoft.github.io/z3guide/docs/logic/intro/
69.
by drdrey 2y ago
it depends how good the answers are and how fast they are, how else would you put a dollar amount on it?
70.
by drdrey 2y ago
are you assuming that you can do o1 inference on a single h100?
71.
by drdrey 2y ago
competition is what stops them from downgrading the existing stuff
72.
Ask HN: Good Microscope for Curious Kid?
3 points by drdrey 2y ago|0 comments
73.
by drdrey 2y ago
in case nobody told you, you’re not allowed to say blockchain on HN
74.
by drdrey 2y ago
pretty sure the article is confusing follows and followers -- you are definitely losing your followers
75.
by drdrey 2y ago
what do you think would be a better test?
76.
by drdrey 2y ago
but that doesn’t answer the question? are these test files?
77.
by drdrey 2y ago
wait until people hear about research grants
78.
by drdrey 2y ago
is that what Amazon is doing? “create a website”?
79.
by drdrey 2y ago
The Python example feels like a strawman. You can write Python in a way that gets you most of the benefits of the Haskell version if you wanted to: @dataclass class InvalidResultError: result: str def do_something() -
80.
by drdrey 2y ago
because he’s a good writer and typically has nuanced takes about a variety of topics?
81.
by drdrey 2y ago
It’s the same thing as regular cryptography, I can’t be 100% sure that you signed this message but I can get arbitrarily close, and prohibitively expensive to fake
82.
by drdrey 2y ago
It’s really not, TLA+ works best for modeling state machines with few discrete states and concurrent systems. It can find interesting interleaving of events that would leave to a violation of your system properties
83.
by drdrey 2y ago
does Kani count? https://github.com/model-checking/kani
84.
by drdrey 2y ago
> These figures reflect ‘production-based’ emissions, so do not correct for traded goods. moving manufacturing overseas
85.
by drdrey 2y ago
this is giving me massive anxiety
86.
by drdrey 2y ago
For a compiler role at Apple, was given an assembly printout and asked “what does this do?”
87.
by drdrey 2y ago
what are you going to do if they follow up with questions about what projects you worked on specifically? Bad advice IMO
88.
by drdrey 2y ago
it's also short for Abstract Interpretation, right?
89.
by drdrey 2y ago
where can we follow you to hear more about this?
90.
by drdrey 2y ago
because the cheapest energy is not necessarily the cleanest

More ›