HNHacker News
TopNewBestAskShowJobs

tianyicui

1,520 karma · joined October 27, 2010

Member of Technical Staff @ DeepSeek, Harness Team
submissionscomments
tianyicui··on DeepSeek Harness developer preview
ning.wang@deepseek.com
tianyicui··on DeepSeek Harness developer preview
Basically never? Unless it's purely for fun and meme I guess.
tianyicui··on DeepSeek Harness developer preview
> Anything you think hn doesn't know about deepseek that it should?

We do hire people who are currently located outside of China (say North America, Europe, or anywhere) if they're open to work in our Beijing or Hangzhou offices.

tianyicui··on DeepSeek Harness developer preview
Sorry for the confusion. I'm not a native English speaker. What I meant is "currently in developer preview".
tianyicui··on DeepSeek Harness developer preview
Hi I'm one of the authors of DeepSeek Harness. It's just an early developer preview version we're presenting in MIT license currently. Expect lots of rough edges and compatibility-breaking changes. Any feedback and suggestions are more than welcome!
tianyicui··on Jane Street and the OCaml Compiler (2018) [video]
FWIW, Jane Street is not a hedge fund nor take outside client money.

(Edit: I work at Jane Street.)

tianyicui··on Storage engine design
It seems the kind of query for N time series at a specific timestamp or across a small span will be inherently slow because of O(N) block read? Is there some way to support this kind of query efficiently?
tianyicui··on Ask HN: What's your favorite online course?
Buddhism and Modern Psychology by Robert Wright (author of The Moral Animal). It uses evolutionary psychology, modularity of mind, and other modern cognitive science theories to explain why some modern version of the buddhist teachings (like meditations) work. It includes interesting interviews and solid book/article recommendations. It's very eye-opening to me and gave me a whole new perspective about happiness and meaning in life.

https://www.coursera.org/learn/science-of-meditation

tianyicui··on Ask HN: Who is hiring? (January 2015)
Jane Street - New York City, London, Hong Kong - Software Developer (Functinoal Programming) INTERN / VISA

Jane Street is a technology-focused proprietary trading firm. We are looking to hire great software developers with an interest in functional programming. OCaml, a statically typed functional programming with similarities to Haskell, Erlang, F# and SML, is our language of choice. We’ve got the largest team of OCaml developers in any industrial setting, and probably the world’s largest OCaml codebase. We use OCaml for running our entire business, supporting everything from research to systems administration to trading systems. If you’re interested in seeing how functional programming plays out in the real world, there’s no better place. The atmosphere is informal and intellectual. There is a focus on education, and people learn about software and trading, both through formal classes and on the job. The work is challenging, and you get to see the practical impact of your efforts in quick and dramatic terms. Jane Street is also small enough that people have the freedom to get involved in many different areas of the business. Compensation is highly competitive, and there’s a lot of room for growth.

You can learn more about Jane Street and our technology from our main site, janestreet.com. You can also look at a a talk given at CMU about why Jane Street uses functional programming (http://ocaml.janestreet.com/?q=node/61) and our programming blog (http://ocaml.janestreet.com)

More in http://careers.stackoverflow.com/jobs?searchTerm=jane+street and https://www.janestreet.com/join-jane-street/

(I personally work at the Hong Kong office. Feel free to get in touch via tcui@janestreet.com if you have any questions.)

tianyicui··on Ask HN: Who is hiring? (December 2014)
Jane Street - New York City, London, Hong Kong - Software Developer (Functinoal Programming)

(I personally work at the Hong Kong office. Feel free to get in touch via tcui@janestreet.com if you have any questions.)

Jane Street is a technology-focused proprietary trading firm. We are looking to hire great software developers with an interest in functional programming. OCaml, a statically typed functional programming with similarities to Haskell, Erlang, F# and SML, is our language of choice. We’ve got the largest team of OCaml developers in any industrial setting, and probably the world’s largest OCaml codebase. We use OCaml for running our entire business, supporting everything from research to systems administration to trading systems. If you’re interested in seeing how functional programming plays out in the real world, there’s no better place.

The atmosphere is informal and intellectual. There is a focus on education, and people learn about software and trading, both through formal classes and on the job. The work is challenging, and you get to see the practical impact of your efforts in quick and dramatic terms. Jane Street is also small enough that people have the freedom to get involved in many different areas of the business. Compensation is highly competitive, and there’s a lot of room for growth.

You can learn more about Jane Street and our technology from our main site, janestreet.com. You can also look at a a talk given at CMU about why Jane Street uses functional programming (http://ocaml.janestreet.com/?q=node/61) and our programming blog (http://ocaml.janestreet.com)

(More in http://careers.stackoverflow.com/jobs?searchTerm=jane+street and https://www.janestreet.com/join-jane-street/)

tianyicui··on Ask HN: Who is hiring? (November 2014)
Jane Street - New York City, London, Hong Kong - Software Developer (Functinoal Programming)

(I personally work at the Hong Kong office. Feel free to get in touch via tcui@janestreet.com if you have any questions.)

Jane Street is a technology-focused proprietary trading firm. We are looking to hire great software developers with an interest in functional programming. OCaml, a statically typed functional programming with similarities to Haskell, Erlang, F# and SML, is our language of choice. We’ve got the largest team of OCaml developers in any industrial setting, and probably the world’s largest OCaml codebase. We use OCaml for running our entire business, supporting everything from research to systems administration to trading systems. If you’re interested in seeing how functional programming plays out in the real world, there’s no better place.

The atmosphere is informal and intellectual. There is a focus on education, and people learn about software and trading, both through formal classes and on the job. The work is challenging, and you get to see the practical impact of your efforts in quick and dramatic terms. Jane Street is also small enough that people have the freedom to get involved in many different areas of the business. Compensation is highly competitive, and there’s a lot of room for growth.

You can learn more about Jane Street and our technology from our main site, janestreet.com. You can also look at a a talk given at CMU about why Jane Street uses functional programming (http://ocaml.janestreet.com/?q=node/61) and our programming blog (http://ocaml.janestreet.com)

(More in http://careers.stackoverflow.com/jobs?searchTerm=jane+street and https://www.janestreet.com/join-jane-street/)

tianyicui··on Teach Yourself Programming in Ten Years (1998)
link: http://www.starling-software.com/employment/programmer-compe...
tianyicui··on Write LaTeX - browser-based collaborative editor
I'm using LyX for all my LaTeX editing now. The editing and instant preview for math are wonderful.
tianyicui··on Microsoft refuses to comment as .NET developers fret about Windows 8
For HTML5, we already have one: http://hildr.luminance.org/Platformer/Platformer.html
tianyicui··on Exceptions are Bad
> [...] client code is free to not check for errors. The process will not stop nor even print backtrace if the programmer forgets to check; the process will happily go on with invalid / unsupported / mangled / whatever data. [...]

This statement is simply not true, at least in languages that actually have Either data types (read: Haskell). But I'm not sure how to implement the generic class Either in Java.

tianyicui··on Exceptions are Bad
> Now the proposal -- `Let's have a tuple: Either<error_code, return_value> '

The Either data type is not a tuple.

tianyicui··on ARM-based MacBook Air test sample spied
If this new MacBook Air has a touch screen to run all the current iPad apps, while all OS X apps can simply re-compile to an x86/arm Universal app to run on it, it would definitely be my dream laptop.
tianyicui··on Convert JSON To C# classes
It is possible to create class dynamically in C#. Although I don't know whether this library is doing it.
tianyicui··on Show HN: made a html5 game, polished it many many times
EC2
tianyicui··on A few of my Git tricks, tips and workflows
I alias `cherry-pick` to `chp`.
tianyicui··on Sshuttle - tunnel all your traffic through ssh
I just tried, it does have the ability to route DNS requests through the tunnel.

Out of curiosity, is it theoretically possible to route other kinds of traffic over this, e.g. UDP, ICMP(ping)? Thanks.

tianyicui··on Unladen Swallow Retrospective
> Our potential customers eventually found other ways of solving their performance problems that they felt more comfortable deploying.

Just curious, what are the "other ways"?

tianyicui··on From Redmond with Love - IE team sends cake for FF4
No wonder Firefox is planning to move to a shorter release cycle!
tianyicui··on Show HN: My collection of web-apps that I'm finally comfortable in sharing
Just tried ZetaBee Text, it's really great! Switched from WorkFlowy.

Feedback:

1. Why you have to limit length of the title?

2. Please add line-based bold, italic and color support. When list gets long I really needed them!

tianyicui··on LinearML:a programming language designed to write efficient parallel programs.
The tutorial is different from the article most people want. Most people just want something highlight the uniqueness of this language, not how to represent list and array. I like the kind of article explaining something (e.g. a particular parallel algorithm) used to be difficult in conventional languages but not in this new one.
tianyicui··on Composition is better than recursion in functional programming
Exactly what I was trying to say. BTW you should update your formatting a little bit.
tianyicui··on Composition is better than recursion in functional programming
Can't agree more! Just think about how code can scale to multi-cores / GPUs. It's all because composition is more _declarative_ than recursion. (Although recursion is still more declarative than C-style imperative programming.)
tianyicui··on CoffeeScript: The beautiful way to write JavaScript
It might also be a solution for programmers who don't tend to label themselves "LanguageX programmers".
tianyicui··on CoffeeScript: The beautiful way to write JavaScript
"Native implementations on the major browsers" will only harm coffeescript, since we'll never see rapid development and evolution of the language and maybe have to deal with the implementation incompatibility in different browsers.
tianyicui··on Full Text RSS Feed: Get the whole feed and nothing but the feed
I really wish one day Google will sell a page harvesting service. It can certainly profit since the cost is neglectable. But how big the market is?
Page 1 of 2Next →