xiaq

48 ms·

451.
by xiaq 12y ago
The 0 is a positive one. > / 1 -0 -Inf BTW this is just IEEE floating point.
452.
by xiaq 12y ago
> - Nonzero-exit modeled as exceptions. (I think elvish is doing this, but I haven't reviewed the code in detail.) No really. I have not yet decided how error/exception ( http://www.haskell.org/haskellwiki/E
453.
by xiaq 12y ago
One of the most frequent things you do in shells is invoking external programs. Unlike in Windows where a CreateProcess does the invocation, in Unix systems this is (traditionally) achieved by a fork/exec combo. See http://e
454.
by xiaq 12y ago
Thanks ridiculous_fish. I'm still more or less following fish development, and elvish owes a lot to fish. For now syscall.ForkExec ( http://godoc.org/syscall#ForkExec ) is sufficient for me. It is written to avoid async-
455.
by xiaq 12y ago
> - A story for passing typed data around between processes (potentially in different languages) rather than just builtins. I'm not sure exactly what the story should be, but it should exist. I haven't thought much about FFI ye
456.
by xiaq 12y ago
(Also see my reply to thinkpad20.) I'm not sure about Haskell, but Clojure's -> is still a serial construct (functions invoked one after another), but pipeline is parallel.
457.
by xiaq 12y ago
There is only very primitive file name completion for now, but programmable completion is planned.
458.
by xiaq 12y ago
I was actually shown this by another Haskeller once, and I agree that Haskell is a very expressive language allowing for a myriad ways of doing things, including the concatenative paradigm. But I have always doubted that if the language doe
459.
by xiaq 12y ago
I anticipated that use of backquote might not be popular, but this particular case was unknown to me. The decision actually arises from avoiding using both single and double quotes for quoting ( http://prog21.dadgum.com/172.h
460.
by xiaq 12y ago
PowerShell is a great source of inspiration (I went through a PowerShell reference book before I started Elvish), but IMO it's too complex and has too many (avoidable) pitfalls.
461.
by xiaq 12y ago
Because it's both a real programming language and a shell, which is rare.
462.
by xiaq 12y ago
Author here. Wow, I completely didn't expect this to hit HN this early. I did a talk at FUDCON Beijing 2014 (slides: http://go-talks.appspot.com/github.com/xiaq/elvish-fudcon201... ) and warned that "this
463.
by xiaq 12y ago
Baidu was founded in 2000. Google in 1998. However, Robin Li (founder of Baidu) seems to have begun his research on search engines earlier than Google founders. Therefore in some sense Baidu is older than Google, but that's not the m
464.
by xiaq 12y ago
The GP has actually grabbed some of my sentiment. I doubt that it's just an outright expression of the frustration over Windows 8 from the government people as customers and doesn't have much conspiracy behind it, which the tone
465.
by xiaq 12y ago
> My point is that Facebook and Google would've been the dominant actors on the Chinese market today, not Weibo, QQ and Baidu, if the CCP hadn't been actively working against the US companies. To some degree I agree about this
466.
by xiaq 12y ago
Chinese here, would love to share some observations: 1) It's likely that the ban on Windows 8 has nothing to do with "power-saving". To me power-saving is just a buzzword in the title of the notice. 2) This notice is concerne
467.
by xiaq 12y ago
Fully typing variadicity in Python is only possible with dependent typing, since Python allows you to build the argument list dynamically. Generally speaking you can't even determine the number of arguments statically: args = []
468.
by xiaq 12y ago
There was a feature named "app ops", once released accidentally and disabled afterwards [1]. There are also other 3rd party solutions [2]. I remember that some ROMs go even further and prompts you each time an app uses a specific
469.
by xiaq 12y ago
Typed Racket is pretty decent. However, behold the byzantine Scheme numerical tower and the effort to type it: http://www.ccs.neu.edu/home/stamourv/papers/numeric-tower.pd...
470.
by xiaq 12y ago
> There is nothing special about map and filter, they are not idiomatic Python because there are better ways to do the same things. True, list comprehension is often used instead. But a complete typing system should be able to type-check
471.
by xiaq 12y ago
This module doesn't seem to make it possible to type-annotate map and filter, which are Python builtins. I believe that dynamic typing results from frustration over generics, rather than over static typing in general. (Type stuttering
472.
by xiaq 12y ago
Run tmux on remote machines too. Assign different prefix keys for local and remote sessions. Has been working well for me.
473.
by xiaq 12y ago
I would say it's a proof that mutability is overcomplicated if you have to define it in such ways...
474.
by xiaq 12y ago
You missed a 能 after 我.
475.
by xiaq 12y ago
Use this as a poor man's scp: tar c path/to/files | ssh host tar x
476.
by xiaq 12y ago
This release contains some great improvements of Typed Racket! They should have made it v6.1 :)
477.
by xiaq 12y ago
IMO the seemingly minor detail that there are local software companies providing support for Linux desktops is actually the key to their success...
478.
by xiaq 12y ago
Mono has had a C# repl for quite some time: http://www.mono-project.com/CsharpRepl Good to see the same thing coming to vanilla .Net!
479.
by xiaq 12y ago
> Alibaba, which filed for its IPO on May 6, isn’t just the “Amazon of China”—it’s also the Dropbox, PayPal, Uber, Hulu, ING Direct, and more. Hulu is a Chinese company. Edit: I was mistaken by the fact that it has a Chinese name and a p
480.
by xiaq 12y ago
This is not actually an inconsistency. "an" is used when the next word starts with a vowel phonetically, not when orthographically.

More ›