addaon

17 ms·

361.
by addaon 11mo ago
Yep, that. Just a bit more fiddly than a min-max heap, and though I rarely actually need the median functionality, fiddly is a pro for learning a language at times.
362.
by addaon 11mo ago
I've been using OmniGraffle for this for... 24 years?!... now; and I'm more than ready for something better to come along, but so far nothing's come close.
363.
by addaon 11mo ago
No, I haven't, but I want to. I haven't had the opportunity to go deep into formal methods for a work project yet, and on personal projects I've mostly played with Ada SPARK, not Coq. I've played with Coq a little (to th
364.
by addaon 11mo ago
Yep, sorry. Added.
365.
by addaon 11mo ago
Poster here. I re-read this paper about once a year. I continue to think that it may be one of the most important papers I've read. As someone who works on high-reliability safety-critical real-time systems (automotive, avionics), bein
366.
by addaon 11mo ago
> But the market doesn’t seem to respond to changes in credentialing capability I mean, it certainly seems to. I've been in hiring roles in tech for 20-ish years, and have definitely seen changes in how college hire patterns based o
367.
Coq: The World's Best Macro Assembler? (2013) [pdf](nickbenton.name)
167 points by addaon 11mo ago|74 comments
368.
by addaon 11mo ago
> “hey Alexa I bought some Crocs shoes a year ago. Can you reorder it?” But this is exactly what Amazon can't do. Basically all Crocs (crocss, croks, crox) on Amazon are counterfeit, and they don't even have a record of which o
369.
by addaon 11mo ago
Yes. See e.g. anorexia nervosa.
370.
by addaon 11mo ago
opt-shift-8
371.
by addaon 11mo ago
Not unless you’re adjusting timing. Premium gas has lower energy per unit mass and per unit volume than standard gas.
372.
by addaon 11mo ago
> I'm not aware of any limitations in the Tinymist plugin. I looked into this a while ago, and couldn't find a workflow I could live with. Have things improved? What's the workflow like for working on an image in, say, Omn
373.
by addaon 11mo ago
Nothing costs trillions.
374.
A Guide to 3D Printing Model Aircraft Wings(hackaday.com)
3 points by addaon 11mo ago|0 comments
375.
by addaon 11mo ago
A few reasons. First, foaming filaments, especially PLAs, are very, very, very stringy -- you can't really cut off the feed by stopping the extruder, because the small remnant in the heating head will continue to absorb heat and expand
376.
by addaon 11mo ago
A lot of these tricks are used to print UAV / RC wings with internal structure, often out of foaming filaments to reduce weight.
377.
by addaon 11mo ago
> And no mechanic I’ve ever met makes 120k. Plenty of A&Ps up there. Often doing more than 40 hours a week, but there's no shortage of work.
378.
by addaon 11mo ago
Isn't this just the Thanos argument, though? Given the huge number of possible future lives under space colonization, all of them ending inevitably in death and suffering, no amount of trying to improve those lives can ever has as much
379.
by addaon 11mo ago
> Does there exist any platform which has multithreading but not atomics? Yes. Also, almost every platform I know that supports multi threading and atomics doesn’t support atomics between /all/ possible masters. Consider a micr
380.
by addaon 11mo ago
This is true by design (silver coins had a weight chosen by value of silver), not coincidence. Also while nickels and pennies don’t match.
381.
by addaon 11mo ago
So if you believe babies do not reason, and walking humans do, then younger humans up to some age do not reason, yes?
382.
by addaon 11mo ago
Perhaps. But the narratives we as a society build our culture around are a serious low pass filter — time constant of centuries, not years. The pain around short-term regressions is because there’s such a strong narrative against which to c
383.
by addaon 11mo ago
I think it’s completely uncontroversial that younger humans are incapable of reasoning, no? The only area for discussion is at which age (if any) this changes for an individual.
384.
by addaon 11mo ago
The Middle Ages, for all of the holes in our documentation, is the best understood extended period where people looked back on a well-remembered past that was more organized, in many ways more advanced, and more “civilized” than the age in
385.
by addaon 11mo ago
Looking forward to being able to rebadge junkyard Pontiac Azteks as Teslas legally, I think with a can of chrome spray paint I can find some customer overlap.
386.
by addaon 11mo ago
Depends on the industry. For car companies, no. But as Tesla reminds us constantly, they're not a car company, they're a robotics / AI company. Those generally focus less on how to build cars.
387.
by addaon 11mo ago
GMO labeling rules.
388.
by addaon 11mo ago
> Well, normally when bits are numbered, "bit 0" is the least significant bit. IBM being abnormal. Can't argue with that.
389.
by addaon 1y ago
I wasn't able to get through the low information density and AI narration, but from the description: "70% for greater efficiency and power." How is this possible for an inverter that's normally 94% - 98% efficient to sta
390.
by addaon 1y ago
> Why would this stagnate phone processor development when it did not stagnate desktop processor development? Hasn't it? See the impact the M1 family made.

More ›