Viewing profile — matthavener

One admirable part of Waymo's service area in Dallas is it serves areas previously devalued by racist redlining. This is in contrast to Uber's Avride and Tesla's Robotaxi offerings…

Light and Magic is an amazing documentary that covers lots of this history

It's absolutely a zoning issue. The Texas legislature is literally overriding large cities to force them to allow smaller lot sizes. Most of Dallas, for example, is R-7.5, which dr…

Hickey talks about readability of Clojure in this talk (timestamp at 6m40s) https://www.youtube.com/watch?v=SxdOUGdseq4#t=6m40

This was a great episode and the really drove home the importance of visualization.

NHTSA has a 25-year rule that allows a car old than 25 years to be imported without those considerations. You can definitely import them legally in Texas. I find it funny that we d…

Flipper has no mechanism to read a magstripe, so no, I don't think so. But it's possible to clone all kinds of other things. I cloned my SO's old building key (Mifare 1k classic) s…

Yep, even something as small as a magazine capacity change or price for the AWP has huge effects on team strategy

I sure hope this isn't a story from southside place in Cedars!

Same, especially him revealing a "dump" as an RTF encoded CSV of IP addresses https://twitter.com/ErrataRob/status/1425175121963089920

PS/2 keyboards are used by serious gamers because the scan rate is higher than USB. See https://superuser.com/questions/16893/do-usb-or-ps-2-keyboar...

I think your second bullet is already partially true [0]. The broader question of cherry picking in scientific studies is pretty interesting [1]. [0] https://clinicaltrials.gov/ct2…

In clojure, you see something similar at the bottom of files: (comment (def some-state (create-state)) (some-fn [1 2 3]) (do-something some-state) ) The compiler ignores the block,…

Cryptol does something pretty similar. You implement your functions in Cryptol and then verify them with SAT/SMT solvers, or generative testing. Its less about verifying the C/C++ …

My favorite C99 trick: const char *lookup[] = { [0] = "ZERO", [1] = "ONE", [4] = "FOUR" }; assert(strcmp(lookup[0], "ZERO") == 0); (not available in C++ or pre-C99)

Yup, EC2 instances should be issuing a gratuitous arp on startup. I've seen the same thing on subnets with a lot of DHCP churn due to constantly rebooting embedded devices.

I'm curious what you mean by "complete control"? Does that mean less abstraction? Or do you want to avoid inversion of control? That is, you want to avoid using callback-based libr…

I don't think they knew about heartbleed. This is stopgap to protect against leaking private keys via memory bugs.

Cold air is denser. Denser air contains more oxygen for combustion, and won't get as hot after compression. In 4-stroke engines, this means more power.

go blocks are transformed into little state machines. Details here http://tomasp.net/blog/async-compilation-internals.aspx via https://twitter.com/timbaldridge/status/3546131818863…

I like the Relevance podcast. It focuses less on tech stuff and more on craft/SE/culture, but its always nice to listen to.

If someone can host arbitrary html and js on the *.github.com domain, they can set cookies for github.com. See http://homakov.blogspot.com/2013/03/hacking-github-with-webk...