criloz2

Those CEOs are killing their companies with this AI hype.

It is not supposed that null is the bottom value in the universe of all the values that your program can recognize? Why people need to complicate it?, and yeah in that definition `null == null`, but a `null_pointer != null` because null pointer is at the bottom of all the possible pointer value, and null by itself is not a pointer. The same for (0,null), (false, null) and ("", null). null should only be equal to itself.

And lastly undefined != null, because undefined is related with structures indicating that a field was not defined when the structure was created

Arts need a story behind it to be relevant, art without drama and real struggles from an individual is not really worth the time, it's just souless and boring. These kinds of tools are good for memes, and that is.

Wow, this is really amazing, thank you

Graph drawing tools are also very underwhelming, they work pretty good for small graphs until you have something like 500 nodes or more, then eventually their output becomes complete incompressible or very difficult to look at it, they miss the ability to automatically organize those graph in hierarchical structures and provide a nice interface to explore them, we are used that everything around us have some kind of hierarchy, I think that is the same kind of problem that will need to be solved in order to have a generic graph data type, also this kind of thing will need to be implemented at the compiler level where those graph generic algos will be adapted to the generated hierarchy of structures, and if you add a theorem prover that can check that certain subgraph will always have certain structures you can statically generated those procedures and for the other super graphs those methods will be generated dynamically at runtime.

So whoever solve the problem for generic graph drawing will have the ability or the insight to implement this too.

I thought that jokes were not allowed here

It's the same as saying "American as a burger", arepa is just a traditional food in Colombia, a bread made of corn

A community that is unwelcoming to new users, is dying? who would have thought?

The universe, for me, without any doubt, is a simulation, I even believe that the the algorithms that would explain how the universe reached this level of complexity would be the same that explain intelligence, I think that we got all wrong believing that matter come before consciousness when, in reality, it is the other way around. And languages are a big part of all the equation, physics and space are all languages.

Why are being downvoted?, there have been crazy comment on this website, hyping to the max ChatGPT and how all the humans now are useless, I was just ignoring HN for the past weeks because it have been ridiculous

Why people will upload their code to GitHub (if they are working in some state-of-the-art tech) is beyond me, you will be easily replaced by microsoft and they will say that was a product generated by gpt, see what happened in Amazon store with the popular products

I am with you, but There are ways to mitigate that, one is to make a script that check the URL output for this particular case, another way is to instruct the bot to translate user input to queries and then check whether they can run or not. But yeah, using those bots without constant human supervision seem like a terrible practice

I am also in the process of learning cat theory, I don't have a cs background, but I ending working as full-stack developer because it was economically more rewarding, I will recommend to programmers to have a good understanding of set theory, binary relations and order theory (linear orders, partial orders, lattices), it gives you very powerful abstractions that allow you to write new algorithms about anything.

I have been using copilot for two months and I find it more annoying than useful, am the only one that feel like this?, I also used tabnine, and it gives a lot of syntax errors in rust, so I could barely use it for a week. I definitely can agree that copilot is better than tabnine, but I feel like writing code is the easy part of programming, and copilot doesn't offer a crazy help to justify the monthly payment and that my private code is uploaded to Microsoft servers. Not only that, but I find that my IDE suggestion are good enough most of the time.

Most people don't really appreciate the thing that they have until the day that they lost it. That why human history cyclical

It is not the work of the government to do those things.

It is possible to make a set that contains all the set except itself, operationally this pretty simple, I am working on creating a language programming based on set theory, so this will be an easy way to define some notion of universal set.

fn contain(u0:(universal, set), u1:(universal, set)){ return false }

fn contain(u:(universal, set), s:set){ return true }

but don't how much logical sense it will make

This make much more sense, so most time the cardinality which people refer is with respect to the set of natural numbers, but according to you, we can have this relation between any two sets. The problem is not make those things clear in the wording. Why not just called it "the cardinality order relation", and try it always like a binary relation, instead of a property that each set has in insolation.

If you are counting a set, you necessarily are creating a map between the item of the set you are counting and the natural numbers, this is basics, how come that you can say such statement about the sizes of power set of natural number and natural number?, from where the notion of the cardinality comes if not from counting, and counting implies a map to a natural number, so the set of natural number is bigger than its selves?

This feels really arbitrary to me, I am more found to think that exist two additional disjoint categories just unbounded and bounded, and we can have unbounded countable sets and bounded countable sets, and an order relation between the cardinalities of unbounded countable sets just don't exist, it doesn't make any logical sense. In which point you stop walking both sets to compare their size?

Self-driving is not the solution and will show its crack in the future, the solution is probably a cloud service administrate by the city that feed direction to the cars and rules (that reduce or increment the degree of freedom of choices), do optimization and sort many other things, cars probably will still need cameras to take small decisions, but this can be made optional.

and with those Netflix salaries, it does not look that worth the risk to begin with it

I doubt that some guys from any country outside europe, can become the ceo of some of the more prominent companies. Probably can happen in UK, but doubt that it will happen in any other country of europe, or Elon Musk in Japan, nah I don't see that happening.

People criticize USA, a lot for racism and discrimination but the reality is that there are not other country in the planet where immigrant can be integrated so fast to the workforce and don't find themselves trapped under a glass ceiling, it probably happens but with less frequency than other countries, other countries are competing with their limited pool of talent that people in power let succeed against the world itself.

Talent can come from everywhere, and USA will continue to dominate the innovation scene for years to come

I have thought a lot about this, and computers don't really need physics to exist, they are mathematical object that can implemented in about any medium that provide the minimal set of atomic operation, after that, you will have a Turing complete machine, it will be able to simulate itself, and all the laws of physics, I am more inclined now to think that the first thing to come into existence was a computer, before even atoms were a thing

what if is impossible to simulate a brain without ending creating exactly another one, brain use tiny space and mass, and in that confined space is very efficient doing a lot of calculation that we are not even aware of, using the least amount of energy and dissipating the least amount of heat possible.

have you ever feel that your brain is suffering from overheating?

trying to interpret a fractal without context, it can be anything. dark matter is just the graph of morphisms between the identity functors of the local objects of a subregion of the space, without this graph, you will not be able to interpret those dnas

very interesting video, and yes the whole universe is modeled by a wave function, but we probably will never get access to it because of it necessary to observe the whole surface to get it, is like an atom trying to get a wave function of your body, it has not enough information for that.

but in reverse it works, you can get a wave function of the probabilistic states of your cell just observing your surface, if you are dead, they will be dead just a simple example

we can observe the whole surface of the sun and get an idea when it will die (because we have access to its wave function), also we can make valid conjectures about the probabilistic state of every atom and subparticle inside the sun.

not at the moment, is something that I am formalizing, it just the general idea, Extraordinary claims require extraordinary evidence, it will take time, but I feel that I am in the right path

another interesting thing about black holes

gravity functor is very easy to communicate, it depends on an accumulator of mass, and it tends to stability, if the black hole is alone, it will be the mass of the black hole or is the black hole is eating matter, the mass of the black hole can be described as a wave function, just to be clear a wave function is any function which only domain is time (the independent variable)

while light needs to interact with a mass in a very complex way (reflection), if the inner system of a black hole is so unstable that the reflection cannot be collapsed to a wave function that will explain black holes

so if you believe me the functor that communicates the light will disappear, but the functor that communicate the gravity will be still there

can this mean that there is a system where the gravity functor is not stable?