HNHacker News
TopNewBestAskShowJobs

xiaodai

1,545 karma · joined September 28, 2017

submissionscomments
xiaodai··on Classification of Finite Simple Groups Formalized in Lean
what a monster of an effort!
xiaodai··on EA is shutting down BioWare
all these big studios are a waste of space. can't even run BioWare well.
xiaodai··on Rust Style Guide
why is google using github, a Micro$oft product?
xiaodai··on Today's PHP security release, and how we're strengthening security
PHP is unsafe by default. Yep. Living up to its reputation.
xiaodai··on Show HN: SimCity, but with Permits
would you rather a china where 996 is technically against the law but you have to suffer it and no protection at all for your property rights and you can be moved for the three gorges dam for little compensation? i would much rather amtrack then the wenzhou crashing bullet trains from china where the executed's bullet fees are charged to the parents.
xiaodai··on It's still ok to enjoy programming
i run an offline recreationaly programming club. the interest in it has never been higher. I also go to my local go club and interests in that spiked after AlphaGo's match with Lee Sedol so yeah. I think programming as an recreational activity will survive.

I mean, I loved Human Resource Machine but not so much 7 billion humans (as the programming got repetitive).

xiaodai··on Muse Spark Open
need to qualify with open and US. Lol!
xiaodai··on Why isn't the industry freaking out about DeepSeek 4.1 Flash?
cos it's shit.
xiaodai··on TiVo to charge money for skipping commercials in your own recordings
can't believe tivo is still around.
xiaodai··on A faster way to calculate the day of the week
look up table?
xiaodai··on How does IKEA come up with names for its products?
Not with AI that's for sure
xiaodai··on 7.1 Earthquake in Japan
also earth quake in china.
xiaodai··on Scriptc by Vercel: TypeScript-to-Native compiler, no JavaScript engine in binary
how can you compile it if javascript is a valid subset of typescript? confused.
xiaodai··on “We have information that Moonshot distilled Fable for the development of K3”
imagine if a company's MO is to PAY Claude to use their model and distill the results. That's fair use of their model!
xiaodai··on Incremental – A library for incremental computations
pardon my ignorance but is Ocaml performant enough? Why isn't something like this coded in say, C++?
xiaodai··on China’s open-weights AI strategy is winning
Amen! Europe used to complain about the US stealing their intellectual property! The nuclear bomb would have been possible if not for Jewish scientists from Europe going to America! So until about 100 years ago, US was FAR behind Europe in technology and science.
xiaodai··on China’s open-weights AI strategy is winning
maybe cos llama was shite?
xiaodai··on How Our Rust-to-Zig Rewrite Is Going
Why? Zig is clearly not memory safe like Rust.
xiaodai··on OnePlus halts operations in USA and Europe
He's Swedish. Wow
xiaodai··on OnePlus halts operations in USA and Europe
they were such hot property in the past!
xiaodai··on Stripe and Advent have made a joint offer to acquire PayPal – sources
how things have changed! the grand daddy is being acquired!
xiaodai··on Show HN: For 10 World Cups, my model's 2 favorites had the champion every time
but does the model predict the right match up along way? if not it's just wrong wrong make a right
xiaodai··on Show HN: For 10 World Cups, my model's 2 favorites had the champion every time
how statistic significant is it.
xiaodai··on Show HN: Wyrm – Solve algebra by touch, built on an open-source soundness engine
I have always wanted to make this! Can it accept user-define algebra stuff? like group theory stuff so more rules can be implemented.
xiaodai··on GLM 5.2 is nearly as accurate as a human book keeper
i suspect the key word here is nearly.
xiaodai··on Road to Elm 1.0
wait? elm is not dead?
xiaodai··on Python 3.14 compiled to metal – no interpreter
it's been tried 10 million times. so yeah
xiaodai··on It's not about physical vs. digital games, it's about ownership
we gotta accept that "owning" a digital asset will be a thing of the past. ppl need to update their mental model and evolve.
xiaodai··on Why jet engines aren't made in China
Assuming China has spent 50 years already on jet engines, yeah. All these article just write off China.

Rote learning, no democracy. Proper jet engines WILL come out of China soon. lol. Just watch this space.

xiaodai··on macOS Container Machines
so basically dockers
Page 1 of 18Next →