Viewing profile — jaddood

Why not use formally-verified software?

You could also choose to use formally verified software for sensitive research.

As mentioned, it should be pronounced "rung," but in any case, removing the i and suddenly making it a word and pronouncing it in a very unexpected way is really pretty stupid. I t…

I wonder if there's any possibility of genetically engineering the fungi and using them to extract more energy from contaminated areas and nuclear waste as a form of biofuel. That …

I used Openshot to edit an (originally) 2 hour-long video on my Linux machine [1]. It was not a very complicated edit, but included adding a logo throught the whole video, and trim…

Sewage contains other volatile products that would evaporate and condense along with water. Cleaning sewage water for use in drinking is probably much, much harder than doing it wi…

Did you just forget Esperanto?

This is a very good idea, and could be used by Google or other advertisement agencies (if only they want to.) You may pay the revenue the ads make and get the stuff you want to lea…

A more reasonable thing to do is to form a council of computer scientists, psychologists, sociologists, economists, politicians, and people otherwise capable of having a useful opi…

From the paper, > The only difference between Theorem 1 and its quantum equivalent in [13] is that the quantum algorithm has no ε approximation factors (so ε=0 and 1/ε does not app…

Hello! Could you give an overview of the proceedings of your job as a researcher in quantum computing? For instance, how do you start your day job, what do you do during the day (h…

Be crazy. Do crazy things like Elon Musk does. Everything remembered was not ordinary.

What???? Who told you that? What kind of proof do you have? It seems to me that it's just some meaningless sentence just to make empathy with dystopian views of the world, but with…

This kind of reminds me of Norwegian mythology where, as far as I can remember, there was an icy world in the North and a fire in the South, and as the fire melted the ice, a thin …

You don't really need a river to pump hydro up and down. As long as you have some kind of container for the water (usually a dam though not necessarily so,) you can pump any water.…

I am sure the people at CERN have reasons in choosing machine learning for that purpose, but I don't see it ideal for this case. Machine learning might be able to give you your res…

If the matter was only about weakening the external monopolies, than the tactics are definitely really really bad. The pain and trouble that this legislation would generate to Euro…

The problem here, I think, is that although humans can be studied without knowing the structure of their brains, (psychology, sociology, etc...) machines of today cannot. The reaso…

In case anyone wants to dig into the follow up on Lp norms, here it is: http://www.johnmyleswhite.com/notebook/2013/03/22/using-norm...

This is extremely similar to the 'microscopic planner for shell' that I wrote and often use. Take a look at https://news.ycombinator.com/item?id=14126006 I also add a few aliases t…

Wow! That's a lot of stuff to dig into! Thanks a lot for sharing! xD

Wow! That's a lot of stuff to dig into! Thanks a lot for sharing. xD