As suggested at this thread to general āyeah sounds coolā. Letās see if this goes anywhere.
Original inspiration:
The post Xitter web has spawned soo many āesotericā right wing freaks, but thereās no appropriate sneer-space for them. Iām talking redscare-ish, reality challenged āculture criticsā who write about everything but understand nothing. Iām talking about reply-guys who make the same 6 tweets about the same 3 subjects. Theyāre inescapable at this point, yet I donāt see them mocked (as much as they should be)
If your sneer seems higher quality than you thought, feel free to make it a post, thereās no quota here
itās the actual fucking worst when the topics youāre researching get popular in TESCREAL circles, because all of the accessible sources past that point have a chance of being cult nonsense that wastes your time
Iāve been designing some hardware that speaks lambda calculus as a hobby project, and itās frustrating when a lot of the research Iām reading for this is either thinly-veiled cult shit, a grift for grant dollars, or (most often) both. Iāve had to develop a mental filter to stop wasting my time on nonsensical sources:
I think the worst part is having to emphasize that Iām not with these cult assholes when I occasionally talk about my hobby work ā Iām not in it to make the revolutionary machine thatāll destroy the Turing orthodoxy or implement anyoneās machine god. what Iām making most likely wonāt even be efficient for basic algorithms. the reason why Iām drawn to this work is because itās fun to implement a machine whose language is a representation of pure math (that can easily be built up into an ML-like assembly language with not much tooling), and I really like how that representation lends itself to an HDL implementation.
deleted by creator
oh absolutely! I get too much exposure to the crank side of all of those topics from my family, so I can definitely relate. now Iām flashing back to the last couple of times my mom learned the artificial sweetener I use is killing me (from the same discredited source every time; they make the ādiscoveryā that a new artificial sweetener causes cancer every few years) and came over specifically to try and convince me to throw out the whole bag
deleted by creator
that too! processed sugar was the devil too, as if granulizing cane sugar imbued it with the essence of evil. she also claimed they used bleach to make white refined sugar? I think the end goal was to get me to reject the idea of flavor. jokeās on that lady, my cooking is both much better than hers and absolutely terrible for you
Oh boy, I have thoughts about Kolmogorov complexity. I might actually write a section in my textbook-in-progress to explain why it canāt do what LessWrongers want it to.
A silly thought I had the other day: If you allow your Universal Turing Machine to have enough states, you could totally set it up so that if the first symbol it reads is ā0ā, it outputs the full text of The Master and Margarita in UNICODE, whereas if it reads ā1ā, it goes on to read the tuples specifying another TM and operates as usual. More generally, you could take any 2^N - 1 arbitrarily long strings, assign each one an N-bit abbreviation, and have the UTM spit out the string with the given abbreviation if the first N bits on the tape are not all zeros.
You could use the recent-ish Junferno video about Turing machines to demonstrate that point as well
Nonsense, we all know the robot god will be hacked together in Perl.
doing work thatās not trying to free us from the tyranny of century-old mathematical formulations? how dare you! burn the witch!
(/s, of course! also your hardware calculus project sounds like a nicer time than my batshit idea (I want to make a fluidic processorā¦ somedayā¦))
fuck yeah! this sounds like the kind of thing thatād be incredibly beautiful if done on the macro scale (if thatās possible) ā I love computational art projects that clearly show their mechanism of action. itās unfortunate that a majority of hardware designers have a āwhatās the point of this, itās not generating value for shareholdersā attitude, because thatās the point! I will make a uniquely beautiful computing machine and it wonāt have any residual value any capitalist assholes can extract other than the beauty!
if I ever finish this thing, I should make a coprocessor that can trace its closure lists live as it reduces lambda calculus terms and render them as fractal art to a screen. I think thatād be fun to watch.
Yep. I love beautiful machines with beautiful action in the same way.
One of my favourites Iāve seen was a clock with a tilt table, switchback running tracks running widthwise across that table, and switches by the track ends. A small ball would run across the track for 60s until it hits the switch, which would cause a lever system to flip the orientation of the tilt table (starting the ball movement the other way).
Saw it in the one London collection of typically-stolen antiquities, I donāt recall the origin of it.
For the processor: yep, something larger is the intent, but I think Iād have to start with a model scale first just to suss out some practical problems. And then when scaling it, other problems. God knows if Iād want to make this āyou can walk in itā scale, but Iāll see š
deleted by creator