Avatar

The unlit path

@theunlitpath

Avatar

given the function that outputs your decision, this is what happens if you try to run it

that's why even if you're deterministic (in the sense of existence of that function) you have free will (in the sense that this function doesn't force a choice)

I would simply use a fixpoint operator.

is that like fix in haskell? Which is a way of writing a recursive function, so it still needs a base case

I was thinking of a reflective oracle (https://arxiv.org/abs/1508.04145) which lets a stochastic function consult its own output before computing anything. It's based on the Kakutani fixpoint which is only semicomputable (unlike the computable Kleene fixpoint that Haskell's fix is based on), so my comment was half-joking.

Life, January 17, 1949. A correct prediction!

There's something funny going on in the caption. While it's literally correct, it kinda suggests that the rocket is accelerated in orbit around the Earth by the Earth's rotation, and decelerated in orbit around the Moon by the Moon's rotation. (Note how it orbits the Earth counterclockwise and the Moon clockwise.) Perhaps a misconception slipped in? The same misconception is involved in the Superman movie where he makes the Earth rotate backwards by flying fast around it.

Avatar

special word for use on mondays and tuesdays only

In Morocco, as elsewhere, certain words must be avoided on certain occasions. Thus the Aiṯ Sáddĕn insist that in the morning, or in the presence of a shereef, an earthenware pan (afan or, if small, ṯäfanṯ) shall be called úmlil or ṯúmlilṯ (“white”), and an earthenware kettle (lmáʿun) ṯúmlilṯ; and that in the morning a sewing-needle (ṯäsärutt) shall be called ṯälmĕfṯắḥt (“a small opener”), a big needle (issĭgyni) älmĕfṯäḥ (“opener”) [...].

— Edvard Westermarck, Marriage Ceremonies in Morocco, 1914. Quoted in “L’ago variabile del Marocco: leggenda o realtà?“ by Manuel Berbera and Ilenia Girlando, Annali, Sezione Orientale 78 (2018) 45–68.

what's the deal w rock guys and the standard 2-simplex

Rock guys really excel when their opponent plays scissors more than paper, that's half of the 2-simplex (a right triangle). But rock guys are the *best response* when their opponent satisfies s > 1/3, p < 1/3, which is the quadrangle (0, 0, 1) -> (2/3, 0, 1/3) -> (1/3, 1/3, 1/3) -> (0, 1/3, 2/3)

very good point; btw not related but have u seen the proof of brouwer fixed-point theorem using sperner's lemma? it's pretty sick

Oh yeah, that's a good one! You can use it to prove infinite-dimensional Brouwer, which the more topological proof doesn't do.

I like this variant too.

“Fuck you, Tederick,” I said to my uncle’s new boyfriend, “I can too make a better self driving car than those assholes at Tesla.”

“It’s Edward,” Tederick corrected me. “And you’re on. If you can make a self-driving car, I’ll eat my own hat.”

Before my uncle had returned from the kitchen with dessert, I had already gotten on my coat and was out the door. I was headed to my secret laboratory: the ramshackle postwar 1-car garage that I rented because my house was so full of parts I no longer could fit in it to sleep. Now, I wouldn’t need sleep, because I had a project.

My bedroll and mouse-infested sleeping bag were set aside, to make room on the cold concrete floor for all the components I’d need. As fit my theory about the practicality of self-driving cars, it was all simple parts. A bunch of military-grade microcontrollers I’d found in the dumpster of a defence contractor, which had gone out of business due to the establishment of world peace. A security camera setup that I sawzalled off a bank, because those idiots didn’t take the very simple precaution of adding additional cameras, to watch the first cameras, to make sure nobody like me stole them.

At last, I secured the most important component: a seafoam-green 1996 Toyota Celica with considerable front-end damage. Not my fault, of course, but that of the country club. How dare those rich pricks put a fence in the way of a shortcut on my commute? I saved like fifteen minutes a day in exchange for a little bumper paint. You can’t put a price on that. One sleepless night of wiring, soldering, debugging, re-debugging, de-re-debugging, throwing my laptop out the window, and then duct-taping the corpse back together well enough to try one last upload: and I had a working car.

I decided to let it drive me over to my uncle’s house, so that I could watch that fucker Tederald dine upon his chapeau. Of course, building a self-driving car and testing a self-driving car are two totally different things. Had I gotten a little more sleep the previous night, I probably would have tried testing the car from the front seat, rather than climbing onto the back bench and immediately falling asleep while the Celica merged onto the highway with the triumphant horns of a turbocharger bypass valve.

A couple hours later, I awoke in a strange place. Looking out the window, I immediately recognized it as a forest. The car had pulled us into a strange clearing, and eerie light began to seep in from the full moon overhead, which seemed, if anything, larger than normal. I was about to say something, shut the whole experiment down, when I heard the sound of more internal-combustion engines. The Celica soon found itself joining a circle of other late-nineties Toyotas, the insistent revving of their motors joining to form a demented chant of the piston.

It’s a good thing the feds don’t give a shit about reporting self-driving car accidents, because whatever they summoned in the middle of that circle, lit so bright by the collection of a hundred H4 headlight bulbs that I could barely make out its mind-bending contours, is definitely gonna cause some.

Alternate timeline where the CIA claims it has evidence that death gives meaning to life, and the US uses this as justification to invade Iraq.