Magos Logis Logan @jmw150@qoto.org

@rlamacraft public clean water here. Have not bought water in a decade.

@claudiom@mastodon.sdf.org Still not a main system release though.

@alexbuzzbee

Virgin:
rewriting in Rust

Chad:
writing a C->Rust compiler

@kataoka@mstdn.beer In World War Z a fake cure for the zombie virus was given out to quiet the public, in the USA.

Also ironically, China covered up the zombie outbreak as long as they could.

That book was great political comedy.

@hourmutt There was a blow?

@moyashimanjyu Right. It is basically Facebook, but worse.

@NightCat Bleh. There is always so much unneeded drama between states.

@thomasfuchs not sure if anyone outside of political office or special interest groups wanted war either.

@lupyuen Yeah.

It is an odd situation. My undergrad involved a lot of hardware and electrical engineering knowledge.

But now there are full CS PhDs that have never used as much as an operating system, besides Windows or MacOS. I am not sure what to make of it.

@lupyuen It is funny how wealthy people just picked up other hobbies besides hanging out at restaurants and other large social gatherings.

I have been trying to buy a good bike for about half a year now. All individual or small group activity stuff is sold out.

Not to mention there is now a block at our school for non-CS majors going into CS classes. Every parent saw who kept their jobs during the initial wave of the pandemic, and now want their kids to do computing.

The economy did not retract, not too much anyway. It has just changed, suddenly.

I like how you have to click on the image to see what I am even on about. 😅

Well, fewer than 10 days till classes start. Time to reset all of the scripts.

Also staying home again, because I am a soft skinned baby. (And we computer whisperers will probably get more done without having to change out of pajamas and drive places, right?)

Stay safe everybody.

Enjoyable math is optimal in the intuinistic style of thought. Profound math is optimal in the Platonists style of thought.

It was love at first sight.

Even after close to a decade, I still kick random problems apart with it. That is some good shit.

@MarcatoMarc

Lol partial heuristic search.

I use a map of previous locations I remember it being in. If it is not in the hash table, I give up, and note that I should clean the place (order, and gc) the place later.

@MarcatoMarc

*I wish I was not the search function.

I wish my office had a search function.

@zstark You should go for Debian. As a tech professional, I find it it a lot more comfortable and modifiable.

@zpartacoos It is similar to the people that think computer can't represent fractions accurately.

It is not a good upper bound in most cases. Not all constructive logics are equivalent, and the upper bound is not known.

@zpartacoos Yes, languages. The concept of representability is what matters, not computability.

By the formal defintion of computability, functions processable by a computer are only natural number functions. By representability, real number functions and more are processable by computers.