retrocryptid

Oh man. I was just reminded of ClearCase and Perforce and sort of threw up a little in the back of my mouth. You young whipper-snappers who didn't have to use ClearCase and have only used hg or git don't know how bad it could be. When ClearCase was properly configured, it was fine. But having used it at IBM, DSCCC and Bell Canada, only IBM managed it properly. At DSCCC, we had 40 Sun workstations on a single thin-net segment, each of them trying to mount an NFS share from ClearCase. You had to get there at 6AM to be one of the first five people to log in because if you didn't it was unlikely you COULD even log in. I kept a copy of the part of the code I was working with on a tape and would go into the lab and restore it from tape, do some work, then back it up to tape at the end of the day (the lab machines were reformatted at midnight every day.)

But... yes... this is just using NFS locally to see what's already in GIT, which is perfectly find and as Julia says, allows you to appreciate the structure of the git repo. Ignore this old man yelling at clouds.

That being said... it's actually somewhat uncommon for humans to drive into flooded streets. To the degree that people think it's notable enough to take videos and post them to social media. I don't have the data, but would be interested to see how many times per passenger mile travelled human-directed and remotely-operated vehicles like Weymos drove into flooded streets.

I can appreciate the cameras and lidar on the Weymos don't give their remote operators a lot of good data about the depth of water on the road-way. As you point out, humans in cars often don't get this right. I think the humans that don't drive into deep water are the ones who a) give any amount of water on the roadway a big NOPE and b) people familiar with the local environment and use multiple visual clues to judge the true depth of the flooding.

I thought Weymo's were supposed to be "supervised" by humans in the Philippines. Maybe driving in circles in the suburbs and driving into flood waters happens only when the cars are out of mobile data range? Did Weymo pay their mobile phone bill? Does the (somewhat) autonomous system on the car decide when to flag a human for help? I would have expected a human to be watching all the time. Are they experiencing labor problems in the Philippines? Maybe Weymo doesn't want to pay their remote operators as much as the remote operators want to get paid?

NICE!

      Natalie mentions  the Newman &  Nagel's text "Gödel's  Proof," a
      (//the//?) 1958 classic on the subject. [[ 1 ]]  Having left IBM
      in December  1990, I spent a  month with the text,  dipping into
      mild insanity, taking to strange  wines to relieve myself of the
      fear that my previous years  long study of Whitehead & Russell's
      "Principia Mathematica" [[ 2 ]] was useless.
   
      I  really  appreciate  the  inclusion of  Alvir's  statement  on
      whether  or not  Gödel  thought he  proved  all logical  systems
      undecidable and incomplete.   About 80% into the  article is her
      quote:
   
      >> Often people will speak as if  the CH is the smoking gun that
      >> shows sometimes  mathematical questions have no  answer.  But
      >> in my  opinion, this situation provides  very little evidence
      >> that   there   are  “absolutely   undecidable”   mathematical
      >> problems, relative to any given permissible framework.
   
      Though  I  would have  added  a  reference to  Infinitary  Logic
      [[ 3 ]]  after dropping  the  reference  to L-omega-1-omega.   I
      suspect most  readers would find discussion  of higher-order and
      modern logic a bit confusing  without a pause for further study.
      But a guide post pointing  in the appropriate direction would be
      good.

      That this is  the only critique I have of  the article speaks to
      Wolchover's  skill  in communicating  complex  ideas  for a  lay
      audience.  I really  liked this article, so  thank you @baruchel
      for posting the reference to it.
   
   :: References
   
      1. https://search.worldcat.org/title/1543160023
   
      2. https://search.worldcat.org/title/933122838
   
      3. https://en.wikipedia.org/wiki/Infinitary_logic

I just hope they stop him before he nukes the west coast. He said something about ending a society, I just wonder if he meant he wanted to to nuke San Francisco.

Data point: A couple years ago I worked for a company that calculated sales tax for customers. They had developed expertise in knowing where each jurisdiction kept it's tax code and how to turn that tax code into software. I was peripherally involved in a proof-of-concept where a reasonably well skilled team trained some sort of model on tax code for one US state. They demoed it to the board of directors where one of the directors asked a somewhat complex question.

The model returned an answer that looked legit, but after the board meeting someone pointed out that the answer was wrong and had we given this answer to a paying customer, we might have been criminally liable. I'm not sure who would have been criminally liable. I don't think they would arrest the entire company.

This was over two years ago and Claude seems to be getting MUCH better over the last year, so maybe things are better now. But, as the Russians say, "доверяй, но проверяй" (trust, but verify.)

but the metric the OP was using was power density. nuke fuels are MUCH more energy dense than hydrocarbon fuels. but putting a reactor on each plane would probably have negative externalities.

but mixing your comment with a few others, maybe a nuke plant on the ground that cracks the co2 in the atmosphere to make carbon neutral hydrocarbon fuel.

it might be fun to try to make a modern wooden sailing ship cargo fleet.

maybe with an emergency diesel engine in the back.

i wish there was more talk about this. it seems i heard a lot about making hydrocarbons from co2 in the air + solar or algae a couple years ago. if your hydrocarbons are made this way it seems they would be carbon neutral.

i'm guessing there's more research to make it feasable since i haven't seen "carbon neutral gas alternative" at the local Chevron.

i would have given this guy credit if he compared cost of production for petro fuels when talking about energy debt.

also conflates power with energy, but fine.

if you talk about cost (dollar or kilowatt hour) per joule delivered to a vehicle and then compared the total cost of electric vs. the total cost of petro, i would listen. but he ignored the fact that petro fuels cost money, energy and water to produce.

and there some things electric motors can do that ice can't. an electric ekranoplan isn't too infeasible, but we know from soviet studies you can't keep salt water out of an aspirated motor when you're that close to the water's surface. turns out electric motors can be sealed against water.

and dissing physicists? wtf? makes me think he failed out of an engineering physics degree cause he didn't understand math. as we used to say, the limit of a bs or be as gpa approaches zero is bba.

Back in the day Convex Computer Corporation was laying off a large fraction of its staff.

The plan was to come into the warroom and just hang out. Your manager would come and get you and take you into a private conference room to discuss your package with an HR specialist. The packages were pretty decent, at least.

In gallows humor I drew some stick figures on a white board for each of my team with their unix logins below them. As people were RIFfed, I would go over and put a universal red circle and slash "no" symbol around the figures who were laid off.

My time came and I marked myself as a "no" and handed the red marker to a co-worker.

I remember being a little ticked off at my manager, but when I came back to say goodbye to everyone I noticed his figure / login name had been exed out. The last thing he did before metaphorically being shot in the head was to metaphorically strangle half his children.

"What was deluxe became debris, I never questioned loyalty. But this dead end demolishes the dream of an open highway."

Modern CS programs teach to what they perceive to be the interview their students will encounter after graduation: what is a tree data structure, how to craft a SQL query and how to calculate a CRC with a python library. More advanced CS/CE departments still teach discrete math and compilers/parsing for students intending to go to grad schools.

My experience with recent CS grads is it's easier to hire Art and Political Science grads and take the time to teach them programming and all it's fundamentals. At least they won't argue with you when you tell them not to use regexes to parse HTML.

Maybe we'll see a boost in worker productivity.

I couldn't find reference to quintrophy or quintrophy1x in the IACR eprint archive (or on a google search.) And I think you forgot the references to external review.

yup, there was just so much money flowing around. it was like the dot com era for aeronautical engineers and machinists.

we lived in rona hills for about 4 years. not biking distance, but close enough to visit frequently. and as a youngster they let me conduct the AF orchestra there at the AF 25th anniversary. Very good memories.

They tell the most pernicious lies about radiation.

not really.

I remember seeing this beast at the Air Force 25th anniversary in '72 at wright pat. Pretty sure the one I saw didn't ever fly again.

Apropos of Don't Look Up, 2024 YR4 doesn't yet have an official name (or at least I haven't heard it if it does.) So my friends have started calling it "2024 Dibiasky" as a joke.

I was sort of pulling for the asteroid and got depressed when I heard this, but then realized... 0.28 percent is not zero. There's still enough of a chance it'll hit that we're going to be forced to take it seriously.

In the states we're dismantiling our research and development infrastructure (will the last person at Stennis or JPL please turn out the lights) but China has been making strides and the ESA has a pretty decent record of launching things, so maybe there's enough time for them to plan, launch and execute a DART-like impact mission on 2024 YR4.

We will know we're living in a simulation if North Korea puts a nuke on a large rocket and successfully deflects it.

I guess this is for DOS only systems? I used elm on BSD/386 in the 80s, and honestly was a little surprised to learn it's still being maintained by Kari Hurtta. And then I was thinking, Pegasus can't be older than Pine, Alpine or Mutt, can it? But yes, it is. You learn something new every day.

no.

you might want to have a few special agents swing by big balls' apartment and go through whatever hard drives can be found. ive got to think they've already made an offsite backup.

I suspect there was a human who posted a link to the OP's post here on HN. It is -that- human who was being asked to provide context since they should have know that by posting a link to HN, they are posting a link to a community that may be different from the OP's original audience.

i.e.- this was not a rerquest or taner saner to provide context, but a request for @ericdiao to provide context.

Whether or not 30k tps is slow depends on what kind of transactions you're talking about and whether you're measuring the whole system or one core.

One of the nice things about HTTP(S) is it has rerdirect semantics (to shed load) and requests are easy to send through a load balancer. 30k requests per second for static web data is well within the capability of a modestly scaled cloud or random assortment of machines in someone's data-center.

Also remember old networks that fed mainframe apps used to be pretty slow. I'm more familiar with old school travel agent tech. it was not uncommon to have offices of 5-15 travel agents all sharing a single 56 kilobit data line. So much of the coolness of mainframes was being able to aggregate hundreds or thousands or tens of thousands of remote terminals in the time when a 1200 baud modem was considered "fast."

And when they say "transactions" they're not talking about web requests, they're talking about multi-phase commit over multiple sub transactions, all of which have to be unrollable if any of them fails.

When I was at IBM/AIX division in the early 90s, we were excited we could get 30 tpmC out of a $15k RS/6000. The AS/400 team down the hall would snicker at us and invite us to watch their $30k entry level machines doing something closer to 500 transactions per second.

But the thing is... they were using a much simpler data representation scheme that made it MUCH easier for data inconsistencies to creep into the process.

So... modern PCs are more architecturally similar to old mainframes than old 8/16 bit micros. And they're certainly faster. But those old systems had plenty of tricks up their metaphorical sleeves.

2024 YR4 isn't that great of a name. I'm guessing the discoverer gets to name it. Is there a more human-friendly name?

dude is definitely a dude. cheezed off that someone can take leave after a miscarriage.

Also... do you have the whole post somewhere. I didn't get past Microsoft's registration wall. It only let me see the first couple of lines.