xiaq

35 ms·

301.
by xiaq 11y ago
It was and still is called newsgroup.
302.
by xiaq 11y ago
True, but the point is that in principle you can write very detailed, fully formal proofs, in exactly the same manner programs are written. The rest of my comment then discusses why it is not written that way. Doing formal proofs manually
303.
by xiaq 11y ago
True. But still, I think the problem lies more in the fact that mathematicians skip too many steps in their prrofs (see another comment of mine) than the inherent abstractness of mathematics.
304.
by xiaq 11y ago
> Programs deal with specific things, types and data that you manipulate and see with your eyes. Maths deal with abstract concepts for which finding examples can be pretty difficult. Have you forgotten the pains that you went through try
305.
by xiaq 11y ago
To clarify the last sentence: I am not criticizing mathematicians for not doing formal proofs. Often mathematical publications are not final "products" but explorations into new methods. Requiring formal proofs on every publicatio
306.
by xiaq 11y ago
> Programming has existed for, say, 50-100 years. We have recorded mathematical history going back thousands, with contributions from most of the most brilliant human beings to ever exist. Mathematics with a solid logic foundation has al
307.
by xiaq 11y ago
GTK 1! I never thought it existed :)
308.
Internet of Temperatures(jpmens.net)
2 points by xiaq 11y ago|0 comments
309.
by xiaq 11y ago
I don't know why others upvote, but I did this out of nostalgia. Back in my high school when I just started programming in C++, C::B was the IDE I used.
310.
Fzf: A command-line fuzzy finder written in Go(github.com)
2 points by xiaq 11y ago|0 comments
311.
by xiaq 11y ago
As someone owning an iPad Air and thus forced to use mobile Safari, this is hardly any news for me. Back in 7.1 scrolling or zooming a page "too fast" led to an immediate crash. Onto 8.0, it still did but the threshold was apparen
312.
by xiaq 11y ago
Not to mention that when the binary you are downloading happens match particular keywords.
313.
by xiaq 11y ago
I have never really used Scala, but by reading its documentation it feels like that the designers are cramming all sorts of features into the language without carefully considering what concrete problems they are going to solve.
314.
by xiaq 11y ago
What the author calls the tedious way still seems 10 times easier than configuring a LXC instance on Linux...
315.
by xiaq 11y ago
Obviously they are trying to marginalize him...
316.
PIC – A Graphics Language for Typesetting (1991) [pdf](plan9.bell-labs.com)
37 points by xiaq 11y ago|0 comments
317.
by xiaq 11y ago
> how's the install experience these days? It really depends on how you define "experience". For me, I like the manual installation procedure like everything else on Arch. Sure, it is not "easy". But the point is
318.
by xiaq 11y ago
The Anti-Mac Interface ( http://www.nngroup.com/articles/anti-mac-interface/ ) argues for the advantage of text over GUI in a more vivid way: > The see-and-point principle states that users interact with the comp
319.
by xiaq 11y ago
Congrats! But shouldn't some kind of official announcement be made on perl6.org?
320.
by xiaq 11y ago
It might be much more useful to develop a Tcl-to-JavaScript compiler instead of a browser plugin...
321.
by xiaq 11y ago
A blog I frequent has more interesting thoughts on disabling comments: http://prog21.dadgum.com/57.html
322.
by xiaq 11y ago
> IMO China would have contributed much more to science if it was not "putting it's whole country's effort to make this happen". How do you come to this conclusion? If China was not "putting it's whole count
323.
by xiaq 11y ago
> If you’re buying things that the regime appreciates, like dishwashers and baby supplies, your credit score increases. If you’re buying videogames, your score takes a negative hit. > But China has already announced that it, or someth
324.
by xiaq 11y ago
It was the Unix motto. Before GNU ruined man pages...
325.
Ldapjs(ldapjs.org)
2 points by xiaq 11y ago|0 comments
326.
by xiaq 11y ago
This paper won the Ig Nobel prize this year. The authors were not able to go to the ceremony and sent a video in which every researcher uttered a "huh" - as hilarious as their research :)
327.
Zsh Navigation Tools(github.com)
2 points by xiaq 11y ago|0 comments
328.
by xiaq 11y ago
Somewhat anecdotal, but try IPv6.
329.
by xiaq 11y ago
> That's all. The winter of China's network comes. Is there technical reason to believe that shadowsocks or similar technology is the last stand against automated censorship? I would just say this is just yet another stage in t
330.
by xiaq 11y ago
Shadowsocks is the most popular solution for circumventing China's GFW these days. It has the advantage of obfuscating the traffic, thus making it hard for GFW to detect it, unlike say SSH or OpenVPN traffic, which are easy to detect.

More ›