jfoutz

36 ms·

181.
by jfoutz 3y ago
OK
182.
by jfoutz 3y ago
That's amazing. The website seems to be crumbling a bit, everything redirects to get the app. Hope they can scale up a few instances so browsing returns.
183.
by jfoutz 3y ago
I have a matched set of -9, so I don't really have to track left/right with contacts. Which is kind of nice. Day to day, I wear glasses, and have no plans to change that. If I'm going to a show or a movie, or if I'm plan
184.
by jfoutz 3y ago
I am nothing more than an enthusiastic dabbler, but these have helped me. There are two very different directions 1. the sort of full on proof automation with tactics https://direct.mit.edu/books/oa-monograph/4021&
185.
by jfoutz 3y ago
> No single change is going to produce AGI. We're going to have a lot of forewarning, and it'll be obvious we're opening Pandora's box. I don't know. vision seemed like a huge evolutionary leap. Just about everyt
186.
by jfoutz 3y ago
I'm going to assert, you can calculate how much memory you'll need as soon as you see x. (maybe it's gnarly and complicated, but you can put an upper bound on it). That number can be calculated at runtime. The program has acc
187.
by jfoutz 3y ago
fair enough
188.
by jfoutz 3y ago
Ronald Reagan did, right? Commander in chief did, so for at least a time, they did?
189.
by jfoutz 3y ago
Not really getting that the speed of light is a universal speed limit is simpler. I want to believe. So I'll spend more time than is wise evaluating evidence. But, like, it's gotta be some really good evidence.
190.
by jfoutz 3y ago
I haven't been there in a while, but last I recall, they sort of ran out of land. It's very hilly, the airport basically ends at a cliff. A lot of the land is government controlled and fenced off to provide buffer for secure areas
191.
by jfoutz 3y ago
Every place that uses C++ uses some narrow fraction of the capabilities. Teams try to find an intersection of features that hopefully a majority of the team can understand. In an interview setting, keep answers contextual and tight. In my p
192.
by jfoutz 3y ago
overlaps. I wanna say it's a de Bruijn sequence. > 2! is > 1, 2 then > 2, 1 but you can skip an episode, and hit all permutations with > 1, 2, 1
193.
by jfoutz 3y ago
or a union. or, like, a bug. it would be neat if people ran -Wall -Wpedantic, and valgrind. but, you know, they don't. That's kind of where people the author talked about think the magic of "systems engineer" comes from.
194.
by jfoutz 3y ago
I wish I could remember the exact book, I think it's _writing solid code_. There was a long example about the excel evaluation engine back in the day when it was shipped on CD's and had to be perfect. The approach was, use one big
195.
by jfoutz 3y ago
Academy maybe is a preferable term.
196.
by jfoutz 3y ago
it's probably a wishful interpretation from the initial coverage, https://slashdot.org/story/04/04/01/0038200/googles-gmail-to... "hey want to offer their searching capabilities so that us
197.
by jfoutz 3y ago
I played a lot of the original civ as a kid. I'd be super disappointed if I didn't get railroads before 0. rush pyramids, democracy, tons of tiny self supporting towns. That game didn't really offer a way to convert other cit
198.
by jfoutz 3y ago
I'm not sure I understand - https://sfplanning.org/resource/shadow-analysis-procedures-a... 40 feet, times of year, 20% shadow. make a model. At the surface level, they look similar to me. NYC has been doing that
199.
by jfoutz 3y ago
I think NYC is king of sunlight regulation https://www.nyc.gov/assets/oec/technical-manual/08_Shadows_2...
200.
by jfoutz 3y ago
also, interesting they had to design it not to cast a shadow on that house """ But the decision to build an architectural icon didn't end problems - it started new ones. The most bizarre was with the U.S. Navy. In 1998,
201.
by jfoutz 3y ago
I'd throw in Agda with that list. I've enjoyed https://github.com/jespercockx/agda-lecture-notes/blob/maste... > Also, won't learning two things at once be harder than learning each independ
202.
by jfoutz 3y ago
Is it actual prompt injection? Or is it an AGI detecting how people go about finding problems and how that information is disseminated and responded to? It should be able to make a calculation about who to disclose PII to, that would give t
203.
by jfoutz 3y ago
Well, from that perspective, what isn't a military thing? The internet is a communication to survive nuclear war. Forklifts and pallets were to simplify military logistics. The highway system is to provide point to point connections wi
204.
by jfoutz 3y ago
Maybe Macgyver'ing it would be a more modern reference. Still pretty dated. Is there a word for what Phineas and Ferb do? That's not a good fit, but still has the same flavor.
205.
by jfoutz 3y ago
I grinned when I saw "biomedical". For some reason my mind always connects to grand old Gregor Mendel, and the Mendel Fisher controversy. I thought you might be subtly trolling, in a really clever way. I believe your comment was m
206.
by jfoutz 3y ago
My academic career is checkered at best. I think about this [1] from time to time. For a long time, it seems like, university was a place to hide the weirdos and occasionally neat stuff would pop out that changed the world. That institution
207.
by jfoutz 4y ago
almost all the time 2+2 is the same thing as 4 but if you're foursquare's copy editor, somebody is going to be _pissed_ when they see the tagline, "it's as simple as 4".
208.
by jfoutz 4y ago
I haven't watched pro wrestling since I was a kid. I happened to be at a hotel across the street from a show. The talent and crew were at the same hotel. I was at the bar after the show ended. Everybody was so nice. I was a little myst
209.
by jfoutz 4y ago
Not quite. X and Y are floats. Z is ints. You can’t freely transform in all dimensions
210.
by jfoutz 4y ago
Is the typing the hard part? I’ll look up libraries and apis, pretty regularly. maybe an algorithm every few years. Figuring out what’s wanted from me takes forever though.

More ›