doall

10 ms·

31.
by doall 9y ago
Is there any good abbreviation or a nickname for this DB? Initially I thought I could get used to it, but after many years watching in HN I haven't succeeded yet. Perhaps you cut the word in half, but it just creates another two strong
32.
by doall 9y ago
Wow that's great! Another question. It is always possible that I have some downtime (unstable network connection, accidentally shutdown my pc, power outage, etc) and it may become unfair that users having significantly less downtime (b
33.
by doall 9y ago
Considering for hosting. One concern is that I have to expose my IP address to unknown users. I don't know if it's possible, but it will be great that if I can hide my location and purely lend my GPU with less security concerns.
34.
Lunavity: A Backpack Multi-Rotor for Jump Augmentation(lunavity.com)
1 points by doall 9y ago|0 comments
35.
by doall 9y ago
I like the overall idea of this equation, but IMO it seems to not hold for some cases. Think about some cases when reality is far lower than expectations or reality is very close to expectations but still lower than expectations. According
36.
by doall 9y ago
After studying and felt in love with machine learning, I think I have succeeded in analytically dealing with my perfectionism. In my case, I was always trying to achieve a local minimum with the cost of 0, and it was overfitting. I was more
37.
by doall 9y ago
Hackable doesn't always mean crackable :)
38.
by doall 9y ago
If you have genuine curiosity about HoTT why not post to the mailing list? https://groups.google.com/forum/#!forum/homotopytypetheory You will get answers from real experts with updated views.
39.
Shen Programming Language for Android(chatolab.wordpress.com)
44 points by doall 9y ago|16 comments
40.
by doall 9y ago
Not Common Lisp, but there is a Shen interpreter on iOS. https://chatolab.wordpress.com/2017/07/10/shen-programming-l...
41.
Mathematician in Kyoto cracks formidable brainteaser(asahi.com)
4 points by doall 9y ago|3 comments
42.
by doall 9y ago
The main reason I'm still sticking to Mac is because I sometimes do iOS app development and I want first class support for it.
43.
by doall 9y ago
Examples of Lisp-2 compiler using Java and ASM: Shen to JVM bytecode compiler in Java 6 https://github.com/otabat/shen-jvm Shen to JVM bytecode compiler in Java 8 with indy https://github.com/hraberg&#x
44.
by doall 9y ago
JVM GC is an interesting topic since recently there was a proposal for the ZGC project in the OpenJDK mailing list. http://mail.openjdk.java.net/pipermail/announce/2017-October... " ZGC has been designed with
45.
by doall 9y ago
It will be great if I can bookmark the position where I quit reading a paper.
46.
by doall 9y ago
Hacker culture preferring facts, logic and deep discussions. Bad comments go to the bottom or get hidden and usually doesn't bother you. Thankfully great administration by dang. And as a Lisper the service running on a Lisp dialect is
47.
by doall 9y ago
Interesting to see. Is there a Chinese or Russian government version of this?
48.
Interview with Vladimir Voevodsky-Part2 (2012, English Translation)(translate.google.com)
1 points by doall 9y ago|0 comments
49.
Interview with Vladimir Voevodsky-Part1 (2012, English Translation)(translate.google.com)
1 points by doall 9y ago|0 comments
50.
Vladimir Voevodsky, Revolutionary Mathematician, Dies at 51(nytimes.com)
2 points by doall 9y ago|0 comments
51.
Vladimir Voevodsky 1966–2017(ias.edu)
4 points by doall 9y ago|0 comments
52.
by doall 9y ago
Comments from the members of Homotopy Type Theory - Google Groups. https://groups.google.com/forum/#!topic/homotopytypetheory/K...
53.
by doall 9y ago
What a huge loss :( I have been dreaming that one day we will have a fully developed type system for programming languages based on HoTT and I can develop a new language based on that.
54.
BGP leak causing Internet outages in Japan and beyond(bgpmon.net)
1 points by doall 9y ago|0 comments
55.
by doall 9y ago
Recently I'm seeing many Lisp contents in HN and always seeing tosh's name. Thanks for the posts tosh!
56.
by doall 9y ago
> BTW: I was born in Japan. Then your nationality is Japan or not? Interesting to hear. > Nice try to completely avoided the actual facts of the rape of Nanking, the Bataan Death March and Unit 731. Regardless of what the U.S. does no
57.
by doall 9y ago
> The japanese committed millions of atrocities in World War II. Killing combatants in war is different from "torture and murder millions of surrendered civilians and POWs" or "committed millions of atrocities". Pleas
58.
by doall 9y ago
>Japan wasn't ready to surrender unconditionally. It didn't surrender after Hiroshima. They only surrendered a week later after Nagasaki. Before that they were only ready to surrender if the US agreed to let them keep the terri
59.
by doall 9y ago
> The US only had two bombs. They weren't even sure they'd work. It worked. It didn't have to happen twice. It shouldn't have been used like a human experiment. > It might take months to make and deliver more. Wait
60.
by doall 9y ago
>You really should read a good history of the war. You only talk about one side of the history, and you should definitely learn from both sides. > You don't understand how many people were still dying every day because of it, and

More ›