HNHacker News
TopNewBestAskShowJobs

kangda123

57 karma · joined January 15, 2022

submissionscomments
kangda123··on How to cheat at settlers by loading the dice (2017)
What are some other good games with open trading?
kangda123··on OCaml's Wings for Machine Learning
As far as my experience, there's little code in Python that I would like to replace with OCaml. Python stuff is research code and small services that were written hastily.

I would love to replace my Go code with OCaml. It was always kind of on the verge though. On one hand, once you use a proper type system, you cannot look at Go. On the other, Go's multicore is just so much better than Async/Lwt. In terms of programming, in terms of debuggability, surely in terms of performance too. Having proper multithreading in 5.0 suddenly makes OCaml strictly superior in my (rather biased) opinion.

kangda123··on Amazon to display tariff costs for consumers
Uncertainty costs money. It's normal to require extra pay for extra risk.
kangda123··on The Vietnam War ended 50 years ago, but the battle with Agent Orange continues
I dunno man
kangda123··on Learning Theory from First Principles [pdf]
It's quite simple: there's world beyond shipping ML products at scale. Some of it far less and some far more lucrative.
kangda123··on Bybit loses $1.5B in hack but can cover loss, CEO confirms
It's a different ball game. The resources that went into executing this kind of hack were probably far higher than most wallets are worth anyway.
kangda123··on Dutch DPA fines Uber €290M because of transfers of drivers’ data to the US
> Can the EU for some reason not enforce its privacy laws on Uber if Uber keeps its data somewhere else?

Yes. Even assuming these laws still work if data is in another jurisdiction (prob. not), they become unenforceable. If someone sells your data in, say, Somalia, how could EU gather evidence and start a legal process?

kangda123··on C++ patterns for low-latency applications including high-frequency trading
Not OP but it varies wildly between companies. JS and Citadel are both top tier trading shops and they could not be more different when it come to wlb.

It's not hard to sniff out during the process though.

kangda123··on Wells Fargo Fires Over a Dozen for 'Simulation of Keyboard Activity'
There was an even crazier detail to this story. While he thought he's fleecing tfl, he ended up paying more than he would have if tapping out properly.
kangda123··on In defence of swap: common misconceptions (2018)
I wonder if there's knobs to fix that. One of the organizations I worked at had a very aggressive OOM killer.
kangda123··on Whistleblower Josh Dean of Boeing supplier Spirit AeroSystems has died
"That is, in any given recent year, if you take a sample of 1000 random males, within a year, almost 16% of them will have died."

Surely this can't be true.

kangda123··on Nestlé adds sugar to infant milk sold in poorer countries, report finds
I used to think the same but I'm not convinced anymore.

The issue is, it's really hard to come up with leakproof regulation. Companies have far more resources to look for loopholes than governmental agencies to design the law. An extreme example of this is the financial sector, where regulators have pretty much thrown in the towel. They just write vague law to be able to prosecute whatever after the fact.

BUT if we expect companies to behave ethically and act on that, then the incentives for businesses are effectively altered, and it's much harder to find loopholes in that.

kangda123··on Japan brings negative interest rates era to an end with first hike in 17 years
The moves pricing that in already happened.
kangda123··on Single dose of LSD provides immediate and lasting relief from anxiety, study say
From for a friend, 80-100 mcg is pure bliss without the psychedelic effects kicking in too much.

Do read more on how to do it properly though. Many factors can have greater impact on the experience than the actual dose.

kangda123··on Atomics and Concurrency
There are model checkers such as nidhugg (C++), dscheck (ocaml). They take a test case and reach all possible terminal states by trying different interleavings.

Crucially, they don’t have to try all interleavings to reach all terminal states, making the enumeration quite fast.

kangda123··on Ask HN: For advice: I'm a mathematician looking for a plan B outside of academia
Quantitative research might be an option. One pro here is, if they like you, they will be happy to take you on and teach whatever concrete skills you’re missing.
kangda123··on Origins of the Sicilian Mafia: The Market for Lemons (2017)
Interesting, do you have any sources for this?
kangda123··on Ask HN: How do you synthesize books that you read?
Math actually takes it to an extreme. I did not expect that and spent a few months reading math textbooks thinking I'm studying it. Maybe doing some basic exercises and moving further right after.
kangda123··on An introduction to lockless algorithms (2021)
The Art of Multiprocessor Programming is really good
kangda123··on Ask HN: Math for Programmers?
It really depends on the area of CS. The math used in ML and FP don’t have a lot in common.
kangda123··on Long-sought math proof unlocks more mysterious ‘modular forms’
Wasn't category theory rejected even by many mathematicians as too abstract to be useful? (i.e. show non-trivial results).

I think for many things those super abstract theories let us take some small steps that are not apparent to wider audience.

kangda123··on How Ukraine tamed Russian missile barrages and kept the lights on
I mean isn't Russian propaganda claiming that most western government are made up of Nazis at this point?
kangda123··on They say that stocks go down during the day and up at night
It depends. Sure an obscure crypto or betting exchange does not have many competitors, but that's not because no one cared, but because even with perfect strategy it's going to be hard to make $$ if daily volume is 10k. How much can you reasonably extract?

Conversely, traditional stock markets is where relatively unsophisticated players do multi-million transactions all the time. This is where the money is. You might need to fight for it or it might be handed over on a silver plate by some redditors.

kangda123··on Hacking Go's runtime with generics
Ease of use
kangda123··on Being fatter than Homer Simpson
While I don't think that wanting is completely meaningless, the last bit rings very true.

Ultimately you have to reshape your life and environment a little bit.

kangda123··on Ask HN: How to get a job at Jane St., Two Sigma, etc.?
Just random thoughts:

Be pretty good at what you are doing (absolutely no need to be a genius though, at least for SWE). Classic Google interview stuff, although they do put emphasis on slightly different things.

Knowing maths helps, knowing low latency helps, but its not required - any quant shop needs a ton of normal software.

If you don't have friends in the industry, etc. going through a good recruiter might actually help.

kangda123··on Did an NYU professor get fired because students hate organic chem?
I doubt that's what people actually learned
kangda123··on Cold Showers
Can you actually determine things like that with an engine?

A Python function can be called from within or from outside of your codebase with different callsites passing different types.

kangda123··on Cold Showers
It is just a fair bit harder to figure out the types as program grows.
kangda123··on A Computer Scientist Who Parlays Failures into Breakthroughs
Just a form of dyslexia maybe?
Page 1 of 2Next →