jfoutz

22 ms·

211.
by jfoutz 4y ago
The biggest surprise (for me) from the dart mission was that the asteroid wasn't one big rock. It's more like, dust and gravel and boulders all stuck together with gravity. As much as I love a certain Michael Bay movie about a rag
212.
by jfoutz 4y ago
Let's set aside that it's Meta for a moment. Any company with multiple rounds of layoffs is unhealthy. Think Chrysler in the 70's pre Iacocca. They face troubles that leadership is incapable of handling. Companies like that g
213.
by jfoutz 4y ago
Doesn't the post office still use the handwriting detectors to automatically route mail? Aren't those from the 80's? That's pretty much all before my time. It seems like, AI research produced some fantastic results, but
214.
by jfoutz 4y ago
reddit. they switched to python for various reasons.
215.
by jfoutz 4y ago
That is a fantastic doc. It's thoughtful and kind hearted. it puts the focus and responsibility for work right where it needs to be. You could almost say, it's just express the vision and delegate. But the devil is in the details,
216.
by jfoutz 4y ago
Setting aside very old things like knives and fire, all I can think of is cell phones. Very very few of us seven billion outside that bubble.
217.
by jfoutz 4y ago
Took me a while to understand this comment. I'm not a biologist. A nerve, is a whole big bundle of axons[1]. Looks like each bundle carries hundreds or thousands of connections down to a muscle. 1 http://www.medicine.mcgill.
218.
by jfoutz 4y ago
Regular Expressions make me feel like I need to read and practice more theory of computation.
219.
by jfoutz 4y ago
just yesterday someone commented about https://fredrikj.net/calcium/index.html which is pretty darn amazing. pi and e are essentially first class, but a lot of transcendentals aren't. seems like a really neat appr
220.
by jfoutz 4y ago
The standard reply to any sort of gravity storage is "geography and land availability". I don't find that argument compelling enough to dismiss gravity storage outright, but I'll admit Oklahoma is pretty darn flat. Chemi
221.
by jfoutz 4y ago
What’s the other way to parse? I totally don’t see it.
222.
by jfoutz 4y ago
Buffalo buffalo buffalo Buffalo buffalo, is hard to parse because English is very expressive. And you kinda have to know words have different meaning in different context. If I explain buffalo is another word for bison, and also buffalo mea
223.
by jfoutz 4y ago
It’s funny you mention HN. With comments and voting and no js.
224.
by jfoutz 4y ago
in agda, I think ctrl-c ctrl-a is the "I feel lucky" button. Plfa is definitely good, Connor Mcbride is pretty good too https://www.youtube.com/playlist?list=PLqggUNm8QSqmeTg5n37ox... and yes programming with hole
225.
by jfoutz 4y ago
off the top of my head, coq agda idris. you can sort of do this with ghci and :hoogle. the simplest example is foo : A -> A since we know absolutely NOTHING about A, all we can really do is give it back to you, so foo turns out to be ide
226.
by jfoutz 4y ago
sometimes, especially when I'm trying to figure out something new, I like keeping the old exploratory code so I can grep through it or easily compare different approaches. It's less cognitive load than dealing with tags or branche
227.
by jfoutz 4y ago
hazard lights, or turn signal seem missing. You'd generally want to move over to the shoulder. Emergencies definitely do happen but parking, in the fast lane, in the tunnel is _incredibly_ dangerous.
228.
by jfoutz 4y ago
At the moment, the only one I know for sure is Agda. I suspect java would work as well, not sure about golang unicode var naming.
229.
by jfoutz 4y ago
This one is funny, the history doesn't really matter, but might as well throw it out there. Buffalo wings are named after the city Buffalo in New York State. It's that spicy buttery style of baked on sauce that got popular and spr
230.
by jfoutz 4y ago
If you follow the username link, you’ll see account age. Which more or less follows the pattern you’re looking for.
231.
by jfoutz 4y ago
does one half and two fourths have the same name? I thought reducing to simplest form was one of those things that made it tough to go from naturals to rationals.
232.
by jfoutz 4y ago
I have an old hp laser jet I keep around. Occasionally I’ll hook it up to print things out of spite.
233.
by jfoutz 4y ago
> It's unclear to me how you could separate knowledge and reasoning yeah, me too. There are a few cases I'd point your attention to. 1, preschool toys, kids somehow manage to put the square peg in the square hole. I mean, they
234.
by jfoutz 4y ago
back when radio stations played records, record companies would pay DJ's to play specific songs or albums [1]. I was a scandal at the time. It's almost quaint now. 1 https://en.wikipedia.org/wiki/Payola
235.
by jfoutz 4y ago
you've blown chunked transfer encoding, which is a client MUST https://www.rfc-editor.org/rfc/rfc2616#section-3.6 If you control both ends, no big deal. If you're just working out some protocol, no big deal.
236.
by jfoutz 4y ago
I think (I'm no expert) 1000 made sense at the time. All of measurement seems to be more or less made up on the spot, and everybody agrees to stick with those units. Nice short writeup of the history of length here[1]. I'm not kno
237.
by jfoutz 4y ago
I have no firsthand knowledge, but from the screenshot alleged to be the email, it did look a lot like a phishing email.
238.
by jfoutz 4y ago
Me too. I'm not proud of that. but it looks like somebody had their eyes on that issue Expires: Tuesday, November 14, 2023 at 3:59:59 PM Pacific Standard Time
239.
by jfoutz 4y ago
I have a few opinions about distance running. A coworker explained it has a way of turning down the volume on the rest of your perception. Something about running 10 miles makes other problems less anxiety inducing. They're still impor
240.
by jfoutz 4y ago
The old old joke is “all correct”. I want to say it was about Andrew Jackson’s horrible spelling.

More ›