andoando

34 ms·

721.
by andoando 2y ago
Thatd be great. Is there somewhere I can message you?
722.
by andoando 2y ago
I feel like HN is just the right size. Reddit is a whole another ball game.
723.
by andoando 2y ago
In the very very first iteration (before I was thinking about this deeply at all), I made this. https://github.com/ando818/creativegen/blob/master/moldpiece... Basically you have some basic shapes like l
724.
by andoando 2y ago
Neat, thanks. This really needs an automatic stepper though, or just a gif maker.
725.
by andoando 2y ago
Its been a wild ride thinking about this. Start paying attention to how many times you use spatial relations to talk about abstract things that seemingly have nothing to do with physical reality. Even in programming we often use language li
726.
by andoando 2y ago
Well consider this: There is some set of words which describe quantum physics perfectly. If what I am saying is true (that human language maps to transformations of space-time) then this theoretical computer should be able to represent quan
727.
by andoando 2y ago
For simple programs you can also imagine just implementing a Turing machine where the symbols are colors.
728.
by andoando 2y ago
I have a similar issue with Spotify too. Everywhere on my page is stuff I am completely bored of listening to, but since its the only thing I can easily access, I end up listening to the same things and Spotify thinks I want more of it. Ins
729.
by andoando 2y ago
I have a belief that there is a 1 to 1 relationship between any algorithm, or even any mental conception, and a visual representation. I got this idea reading one of Steven's pink book, in which he says that any abstract word can be br
730.
by andoando 2y ago
Still trying, but a programming language for visuals where one can define some primitive transformations like two blocks being added, a block moving through space, etc and use transformations to create bigger transformations and so on.
731.
by andoando 2y ago
Holy shit! Ive been trying to do something just like this for ages. Wish the sample programs were shown in action.
732.
by andoando 2y ago
Thanks! Will do, it ever pans out :<|
733.
by andoando 2y ago
That's a lot of classical music lol
734.
by andoando 2y ago
There is a ton. What I said isn't much of my own interpretation, its Turing own description of the machine. The first section of the paper literally says "We may compare a man in the process of computing a real number to machine
735.
by andoando 2y ago
Take a look at Turing words in his formulation of the Turing machine and I think it becomes quite clearly the man spent time thinking about what he is doing when he is doing computations. The tape is a piece of paper, the head is the human,
736.
by andoando 2y ago
Holy shit its Gilfoyle. This is pretty cool but what Im thinking about is more like a general purpose language which is primarily visual. Imagine for example a for loop has a visual representation which shows a visual transformation from 10
737.
by andoando 2y ago
Don't have much to show yet, but I am working on a programmatic way to create visuals and animations. Think lambda calculus but with graphical transformations.
738.
by andoando 2y ago
I am not a fan of this article. The vary foundation of computer science was an attempt to emulate a human mind processing data. Foundational changes are of course harder, but it does not mean we should drop it all together.
739.
by andoando 2y ago
That sounds interesting, can you tell me a bit more? What does formal methods in regards to timing semantics mean? Im in the same boat. I like abstract logic/math and ML never caught much of my interest. I want to start applying but Im
740.
by andoando 2y ago
Its crazy how many people don't understand this. I can't believe how many people think they could predict the market with candle light sticks or whatever. If a method for predicting the market is so readily available that someone
741.
by andoando 2y ago
That sucks. I cant imagine trying to work a job and do a phd at the dame time. That would take out any joy of it for me. I can definitely see a lot of utility depending on what you do research in. I bet a lot of ML doctoretes are making big
742.
by andoando 2y ago
Interesting thought. Perhaps we'll discover a language that is in some way of higher order than Turing complete.
743.
by andoando 2y ago
Yeah I am at the same place. Considering going for a phd because at this point I cant muster any kind of interest in corporate tech.
744.
by andoando 2y ago
I dont quite think of functions and abstractions as the same. Abstractions seem to do more with having a self referential property. Though I suppose that can be seen as the identity function f->f. IIRC Church was heavily influenced by Tu
745.
by andoando 2y ago
But now you can write your own json parser
746.
by andoando 2y ago
A set of distinguishable states IS binary. You have something, and you have something else. Any more states can be broken down into binaries. It makes sense after all. If you have anything less than a binary then everything is the same, and
747.
by andoando 2y ago
Yes and Im saying a CPU is unrolling a repetition. You put in a long linear stream of current. At each step it creates an output, which can be repetitive, or not repetitive. The generated sequence is still finite unless were talking about a
748.
by andoando 2y ago
A CPU is only capable of generating loops so long as one feeds it enough power. In essence it is creating a constant length loop which is bounded by how long the machine is turned on for. These dominoes are distinct in that they cannot flip
749.
by andoando 2y ago
But a loop can be constructed with just these gates. CPU, memory, and etc sre just a collection of these gates, connected by these gates. For sure, you need to go further in this direction to build a general purpose computer, but it is in t
750.
by andoando 2y ago
Thanks! checking it out now

More ›