xiaodai
Re:Classification of Finite Simple Groups Formalized in Lean
on Tuesday October 27, 2026 @11:44PM (#50269133)
what a monster of an effort!
Re:EA is shutting down BioWare
on Wednesday October 21, 2026 @06:23PM (#50188496)
all these big studios are a waste of space. can't even run BioWare well.
Re:Google's Rust Style Guide
on Wednesday October 21, 2026 @06:22PM (#50188490)
why is google using github, a Micro$oft product?
Re:Today's PHP Security Release, and How We're Strengthening PHP Security
on Wednesday October 21, 2026 @06:15PM (#50188420)
PHP is unsafe by default. Yep. Living up to its reputation.
Re:SimCity, but with Permits
on Tuesday October 20, 2026 @06:12PM (#50173412)
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.
Re:It's still OK to enjoy programming
on Monday October 19, 2026 @06:47PM (#50159075)
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).
Re:Muse Spark Open
on Friday October 16, 2026 @05:29AM (#50116168)
need to qualify with open and US. Lol!
Re:Why Isn't the Industry Freaking Out About DeepSeek 4.1 Flash?
on Friday October 09, 2026 @01:37AM (#50016408)
cos it's shit.
Re:TiVo to charge money for skipping commercials in your own recordings
on Monday September 07, 2026 @02:54AM (#49594816)
can't believe tivo is still around.
Re:A faster way to calculate the day-of-the-week
on Thursday August 20, 2026 @01:36AM (#49370741)
look up table?
Re:How does IKEA come up with names for its products?
on Wednesday August 19, 2026 @01:07AM (#49357089)
Not with AI that's for sure
Re:Nashville uses eminent domain to block data center near zoo
on Wednesday August 05, 2026 @11:31PM (#49192100)
beginning of the end of the American empire. Building data centres can only be good.
Re:7.1 Earthquake in Japan
on Tuesday July 28, 2026 @07:34AM (#49082325)
also earth quake in china.
Re:Scriptc by Vercel: TypeScript-to-Native compiler, no JavaScript eng...
on Sunday July 26, 2026 @11:11PM (#49064802)
how can you compile it if javascript is a valid subset of typescript? confused.
Re:“We have information that Moonshot distilled Fable for the developm...
on Thursday July 23, 2026 @02:03AM (#49017464)
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!
Re:Jane Street: Incremental
on Tuesday July 21, 2026 @06:59AM (#48990642)
pardon my ignorance but is Ocaml performant enough? Why isn't something like this coded in say, C++?
Re:American AI is locked down and proprietary. It's losing
on Monday July 20, 2026 @09:55PM (#48987180)
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.
Re:American AI is locked down and proprietary. It's losing
on Monday July 20, 2026 @09:44PM (#48987131)
maybe cos llama was shite?
Re:How Our Rust-to-Zig Rewrite Is Going
on Friday July 17, 2026 @12:49AM (#48943446)
Why? Zig is clearly not memory safe like Rust.
Re:OnePlus halts operations in USA and Europe
on Friday July 17, 2026 @12:23AM (#48943307)
He's Swedish. Wow
Re:OnePlus halts operations in USA and Europe
on Thursday July 16, 2026 @10:51PM (#48942864)
they were such hot property in the past!
Re:Stripe, Advent offer to buy PayPal for more than $53B
on Wednesday July 15, 2026 @05:01PM (#48926954)
how things have changed! the grand daddy is being acquired!
Re:Show HN: For 10 World Cups, my model's 2 favorites had the champion...
on Wednesday July 15, 2026 @08:51AM (#48920075)
but does the model predict the right match up along way? if not it's just wrong wrong make a right
Re:Show HN: For 10 World Cups, my model's 2 favorites had the champion...
on Wednesday July 15, 2026 @08:48AM (#48920049)
how statistic significant is it.
Re:
on Saturday July 11, 2026 @08:23AM (#48871425)
I have always wanted to make this! Can it accept user-define algebra stuff? like group theory stuff so more rules can be implemented.
Re:GLM 5.2 is nearly as accurate as a human book keeper
on Thursday July 09, 2026 @08:26PM (#48854286)
i suspect the key word here is nearly.
Re:Road to Elm 1.0
on Monday July 06, 2026 @08:06PM (#48812106)
wait? elm is not dead?
Re:Python 3.14 compiled to metal – no interpreter
on Monday July 06, 2026 @07:23PM (#48811793)
it's been tried 10 million times. so yeah
Re:It's not about physical vs. digital games, it's about ownership
on Sunday July 05, 2026 @11:27PM (#48800338)
we gotta accept that "owning" a digital asset will be a thing of the past. ppl need to update their mental model and evolve.