jfoutz

15 ms·

121.
by jfoutz 3y ago
I really hope you're right. But I really wonder if it'd actually hold up if tested. I don't want to wildly derail the conversation, but I can't help but observe - https://www.realpage.com/news/crow-h
122.
by jfoutz 3y ago
it (the insulator) seems very small. I think, a lot of chips have multiple temperature sensors across the whole chip to decide when to clock down. If I have 4 cores, and 1 is going flat out, I could see insulating the unused (or lesser used
123.
by jfoutz 3y ago
Not a lawyer. I'd imagine if they rack up a bunch of no-shows They could change their dmca handling process. We're not honoring these without property X, because these last hundred or thousand or whatever turned out to be fake. I
124.
by jfoutz 3y ago
That's how it works though. You go after the weakest , least sympathetic, least able to respond, and set the precedent. Sorta like weev. There are plenty of reasons to not like the guy. But that's the case that made changing the n
125.
by jfoutz 3y ago
There's definitely a space for it. It may even be possible. But if you consider the long history of lisp discussions (flamewars?) about "a sufficiently smart compiler" and comparisons to C. Or maybe Java vs C++, it seems unli
126.
by jfoutz 3y ago
If you just want one, there are surprisingly effective and super cheap pumps, search around for `everbuilt drill pump kit`. local hardware store probably has one for a few dollars.
127.
by jfoutz 3y ago
You did the right thing. Stay strong! When it's all uniform and consistent it's magic. When it's mushy and weird, it's a lot less magic.
128.
by jfoutz 3y ago
I got to spend an afternoon entertaining a logo designer a few years ago. It was really fun and educational. I had some sense of _cool_ logos, and why the FedEx logo was so neat. Learning from that guy though was really eye opening. He had
129.
by jfoutz 3y ago
I don't think they were endangered at the time. I think Roosevelt was acutely aware of man's impact on nature. Furthermore, I think Roosevelt was aware of the need to protect and preserve "the wild" for example: "It
130.
by jfoutz 3y ago
Well, yeah. Let me clarify a little bit. I think there are some folks that just like killing. And some of those folks have the money to spare. I can think of a family or two that didn't have a lot. But a truck and a spotlight, not to h
131.
by jfoutz 3y ago
I'm not a hunter. I grew up in a fairly rural area. I spent a fair amount of time fishing with grandpa, going camping, and just walking around in the woods. I don't do that as much anymore, but I probably should. From the hunters
132.
by jfoutz 3y ago
when MacBooks got the inertial sensor for parking the hard disk, I hacked up a script to estimate velocity and precision. It was bad. It was fun to have friends drive around, and see how well it did. It was great for screwing around. But ye
133.
by jfoutz 3y ago
I think so, yeah. The space age made precision manufacturing relatively accessible. The U.S. military had a pretty insatiable appetite for these kinds of things for all sorts of stuff. submarines, torpedos, aircraft, drones, and on and on.
134.
by jfoutz 3y ago
you know, it's weird. I have a Miata. It's not particularly fast, but it's fun to drive. Went on a bit of a road trip over the summer, and parking was tight at one place I stayed, so was valet only. They had to get a janitor
135.
by jfoutz 3y ago
It is! And I'm a big fan of test systems that optionally invert the logic and require failure - to weed out bullshit tests. But there are some things that are challenging to test for. Tests sample the space, proofs define the space. yo
136.
by jfoutz 3y ago
I've been thrashing around with agda (as a hobby) for a few months. Maybe it's time to take lean for a spin. My thinking is still pretty fuzzy. But I feel like there's something important and valuable with the idea of "t
137.
by jfoutz 3y ago
Wasn't mars supposed to be the next stop, with a similar approach? https://en.wikipedia.org/wiki/Saturn_C-5N with maybe some design choices coming from https://en.wikipedia.org/wiki/Project_Or
138.
by jfoutz 3y ago
It’s unsolved. The bread part is poker, and the meat part is chess. Yes, there is a ton of io, but the meat can pick the strategy. Try this call no more than 3 times in 60ms, and get back to me. It’s complicated and frustrating and not alwa
139.
by jfoutz 3y ago
I've been dabbling with Idris and agda and coq. I think I'm pretty much settling on agda, because I can appeal to Haskell for help. It's tough finding things that aren't just proofs, actually running a program isn't
140.
by jfoutz 3y ago
Maybe take a look at cobol. I know, I know. But it was designed for non programmers. Their syntax in this case is Perform . . . Times The language might give some insight by offering a different perspective
141.
by jfoutz 3y ago
How does that work? I'm not a lawyer. I'm a lazy programmer. So, does the defense get to subpoena the logs, and depose a programmer to explain why some random request returned a 502? Does the defense get, like, red team access? Al
142.
by jfoutz 3y ago
I like this one, https://marshallbrain.com/manna1 more of a story than a specification though.
143.
by jfoutz 3y ago
What does cold war in this context? My mom went to China with a group a few years ago, and had a great experience.
144.
by jfoutz 3y ago
I misunderstood. when you said > Adding points to the set can only ever shrink the size of the smallest triangle that the set defines. I thought you meant, adding points would shrink the size of the smallest triangle. Rereading the threa
145.
by jfoutz 3y ago
> Adding points to the set can only ever shrink the size of the smallest triangle that the set defines. I don’t think this is true. Any 3 points almost in a line will have a very small area. Adding points inside the triangle would help,
146.
by jfoutz 3y ago
I wonder what happens when lawyers realize they can subpoena all that. My client was subject to a hit and run, please provide all data related to red Subarus in San Francisco on April first from 1 pm to 2 pm pacific. Yeesh. Seems like a lot
147.
by jfoutz 3y ago
Er, I'm way out of touch with modern c++, what implementation do you buy? Borland used to have tons of little helpers and utils to smooth over some rough edges. I'd imagine ms vc++ has tons of stuff to support this? Again, I haven
148.
by jfoutz 3y ago
jq is great. I don't know how many times I've had to explain to engineers the invalid numeric literal error means your json is bad. no really, don't trust me, copy it into the ide. it's not jq. your message is malformed.
149.
by jfoutz 3y ago
I don't. but I think the things you want to look for, if you start from scratch, are 1. evil mode https://evil.readthedocs.io/en/latest/overview.html#installa... 2. the leader key https://github.co
150.
by jfoutz 3y ago
I'm not familiar with the price restrictions. I thought, the way insurance worked was, I take a little money from a lot of people, and when some rare event happens, I pay out that one person whose house burned down. I don't know t

More ›