jaddood

6 ms·

1.
by jaddood 7y ago
Why not use formally-verified software?
2.
by jaddood 7y ago
You could also choose to use formally verified software for sensitive research.
3.
by jaddood 7y ago
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 think, if one's really insisting on using &quo
4.
by jaddood 7y ago
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 would be quite an interesting way to use nuclear waste.
5.
by jaddood 7y ago
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 trimming some parts of the video. I'm not a great video edi
6.
by jaddood 8y ago
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 with just sea water.
7.
by jaddood 8y ago
Did you just forget Esperanto?
8.
Biointensive agriculture(en.wikipedia.org)
1 points by jaddood 8y ago|0 comments
9.
by jaddood 8y ago
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 learn instead. This way, Google gets its money, and you get to
10.
Does Your Language Affect How You Perceive Time?(babbel.com)
2 points by jaddood 8y ago|0 comments
11.
by jaddood 8y ago
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 opinion in the matter. That council would then have the task of
12.
by jaddood 8y ago
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 appear in the runtime). Thus, we can say that our algor
13.
by jaddood 8y ago
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 (how exactly do you do research,) how do you end your day, etc
14.
by jaddood 8y ago
Be crazy. Do crazy things like Elon Musk does. Everything remembered was not ordinary.
15.
by jaddood 8y ago
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 without any real reflection in the real world.
16.
by jaddood 8y ago
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 strip of life began forming.
17.
by jaddood 8y ago
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. The cheapest to pump is probably sea water. I'm n
18.
by jaddood 8y ago
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 results faster, but generally with a lot lower accuracy. B
19.
by jaddood 8y ago
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 Europe and to the whole world is much worse than say Google&#x27
20.
by jaddood 8y ago
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 reason for that is that humans are humans and barely differ from
21.
by jaddood 9y ago
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...
22.
Lebanon's astrophotographers aim for the stars(edition.cnn.com)
1 points by jaddood 9y ago|0 comments
23.
by jaddood 9y ago
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 to make it even quicker: alias
24.
by jaddood 9y ago
Wow! That's a lot of stuff to dig into! Thanks a lot for sharing! xD
25.
by jaddood 9y ago
Wow! That's a lot of stuff to dig into! Thanks a lot for sharing. xD
26.
Ask HN: CS as a philosophy
3 points by jaddood 9y ago|6 comments
27.
by jaddood 9y ago
I can imagine cutting trees, burning large areas of vegetation to allow for mining, which is even worse. Lands get deformed, parts of limestone mountains start collapsing. Plants never grow again in the area unless aggressive regenaration o
28.
by jaddood 9y ago
Agreed. Scheme itself is "not much of s language." It's like a language-agnostic language.
29.
by jaddood 9y ago
I believe that although it is not useless, the only real way to fight climate change, as in everything else, is to have educated and conscious people who will protect the environment with a moral cause not a legal, weak one.
30.
by jaddood 9y ago
It seems it is forbidden for the Turks to get cultivated like other people in the world... We live in an era of lack of information (which is probably like all other eras)

More ›