matthavener

7 ms·

1.
by matthavener 1mo ago
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, which stick only to the richer, whiter area
2.
by matthavener 10mo ago
Light and Magic is an amazing documentary that covers lots of this history
3.
by matthavener 1y ago
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 drives up cost because land is expensive and it requires
4.
by matthavener 2y ago
Hickey talks about readability of Clojure in this talk (timestamp at 6m40s) https://www.youtube.com/watch?v=SxdOUGdseq4#t=6m40
5.
by matthavener 2y ago
This was a great episode and the really drove home the importance of visualization.
6.
by matthavener 3y ago
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 disallow these new smaller trucks, but we allow folks to jack
7.
by matthavener 3y ago
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) so she wouldn't need to "buzz"
8.
by matthavener 3y ago
Yep, even something as small as a magazine capacity change or price for the AWP has huge effects on team strategy
9.
by matthavener 4y ago
I sure hope this isn't a story from southside place in Cedars!
10.
by matthavener 5y ago
Same, especially him revealing a "dump" as an RTF encoded CSV of IP addresses https://twitter.com/ErrataRob/status/1425175121963089920
11.
Apple seems to have completely blocked police password cracking tool in iOS 12(theverge.com)
1 points by matthavener 8y ago|0 comments
12.
by matthavener 9y ago
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...
13.
by matthavener 10y ago
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/manage-recs/fdaaa#WhichTrials...
14.
by matthavener 11y ago
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, but in a REPL enabled editor, you can
15.
by matthavener 11y ago
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++ implementations and more about verifying propertie
16.
by matthavener 12y ago
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)
17.
by matthavener 12y ago
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.
18.
by matthavener 12y ago
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 libraries?
19.
by matthavener 12y ago
I don't think they knew about heartbleed. This is stopgap to protect against leaking private keys via memory bugs.
20.
by matthavener 12y ago
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.
21.
SAMOA: A platform for distributed ML on streaming data(yahoo.github.io)
1 points by matthavener 13y ago|0 comments
22.
Pedestal.io application tutorial(github.com)
1 points by matthavener 13y ago|0 comments
23.
by matthavener 13y ago
go blocks are transformed into little state machines. Details here http://tomasp.net/blog/async-compilation-internals.aspx via https://twitter.com/timbaldridge/status/354613181886369793
24.
by matthavener 13y ago
I like the Relevance podcast. It focuses less on tech stuff and more on craft/SE/culture, but its always nice to listen to.
25.
by matthavener 13y ago
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...
26.
by matthavener 13y ago
Every time I forget to type "case " I'm instantly corrected when my editor (rightly) removes all indentation and puts the label on the leftmost column.
27.
by matthavener 13y ago
I'm curious how it compares to pedestal.io
28.
by matthavener 13y ago
The article demos a list, where threads are contending to append to the top of it. Unlike a list, there is not much contention on a FIFO unless its typically empty..
29.
by matthavener 14y ago
Google has a similar library that supports Windows: https://code.google.com/p/google-breakpad/wiki/StackWalking
30.
by matthavener 14y ago
I'm making some assumptions about the compiler optimization: If T is something like "int", then passing by reference can be more costly, because a value that was once stored in a register now needs a real memory address and must be deferenc

More ›