xjia

17 ms·

91.
RFC 5424 – The Syslog Protocol(tools.ietf.org)
4 points by xjia 10y ago|0 comments
92.
by xjia 10y ago
This reminds me of a book titled Grammatical Inference [1]. If you are interested in the blog post, you might also be interested in the book as well. It's a different kind of "learning" though. [1] http://pagespe
93.
Show HN: SPACE 16.12 with redesigned UI – multi-tasking with your VR headset(getspace.io)
3 points by xjia 10y ago|1 comments
94.
by xjia 10y ago
Did you mean "git add --patch"?
95.
by xjia 10y ago
Remind me of FreeCol [1] [1] http://www.freecol.org/
96.
by xjia 10y ago
Do you mean C/C++ and Rust interop? Maybe link them together to form the final executable binary? Can you share more experience on how do you do that?
97.
Apple to set up R&D center in Shenzhen, bolster China ties(reuters.com)
2 points by xjia 10y ago|0 comments
98.
by xjia 10y ago
Does the topic branch feature help? I personally always use it.
99.
by xjia 10y ago
+1. AFAIK Gerrit is still being used for kernel-related projects.
100.
by xjia 10y ago
s/its/his/ ?
101.
by xjia 10y ago
> if I lean in closer to a space will it get closer Yes, that is how it works.
102.
SPACE wants to move your office into VR space(techcrunch.com)
3 points by xjia 10y ago|0 comments
103.
by xjia 10y ago
I remember doing similar things when using ReadProcessMemory https://msdn.microsoft.com/en-us/library/windows/desktop/ms6...
104.
by xjia 10y ago
units are likely to be aggressively refactored, no?
105.
How HTC and Valve Built the Vive(engadget.com)
4 points by xjia 10y ago|0 comments
106.
Show HN: neper is a Linux networking performance tool(github.com)
4 points by xjia 11y ago|0 comments
107.
by xjia 11y ago
Anyone can compare this to Boost.Nowide?
108.
by xjia 11y ago
Is RCU better suited for this ?
109.
by xjia 11y ago
I see.. Do you think it would be better for a project starting from scratch? i.e. without that two "old" channels
110.
by xjia 11y ago
So what were the problems you've encountered?
111.
by xjia 11y ago
Thanks for the summary. However, what do we have on the formal proof side?
112.
by xjia 11y ago
AFAIK MSR sponsored lots of research in this area. Program verification is still not that easy. [edit] http://research.microsoft.com/en-us/projects/slam/
113.
by xjia 11y ago
What are those tools?
114.
by xjia 11y ago
According to the original text, tech firms are only required to provide necessary technical support in decryption, not simply handing over the keys. http://news.xinhuanet.com/politics/2015-12/27/c_128571798.ht
115.
A-Frame – Building Blocks for the VR Web(aframe.io)
2 points by xjia 11y ago|0 comments
116.
by xjia 11y ago
Related: https://git-scm.com/book/en/v1/Git-Internals-Git-Objects (and other sections in that chapter)
117.
by xjia 11y ago
You may also like http://www.cse.unsw.edu.au/~gernot/benchmarking-crimes.html
118.
by xjia 11y ago
(76% + 81% + 80% + 75% + 70%) / 5 = 76% http://www.cse.unsw.edu.au/~gernot/benchmarking-crimes.html
119.
by xjia 11y ago
no redirect to https?
120.
by xjia 11y ago
It is interesting to see C# outperforms Java. What exact behaviors of the languages are contributing to the speed-up?

More ›