xiaodai

pardon my ignorance but is Ocaml performant enough? Why isn't something like this coded in say, C++?

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.

maybe cos llama was shite?

Why? Zig is clearly not memory safe like Rust.

He's Swedish. Wow

they were such hot property in the past!

how things have changed! the grand daddy is being acquired!

but does the model predict the right match up along way? if not it's just wrong wrong make a right

how statistic significant is it.

I have always wanted to make this! Can it accept user-define algebra stuff? like group theory stuff so more rules can be implemented.

i suspect the key word here is nearly.

wait? elm is not dead?

it's been tried 10 million times. so yeah

we gotta accept that "owning" a digital asset will be a thing of the past. ppl need to update their mental model and evolve.

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.

so basically dockers

should this article be renamed "How to count your chickens before the eggs even hatch?"

What a beautifully written article. It's extremely that I favourite an article but this is one.

i am a mathematician wanna-be. I have an undergrad honours degree in maths. As a retirement or pre-retirement project, I want to learn LEAN and contribute to it either via development or via developing the Mathlib or both!

Pointers welcome. As long as they are not null. Btw, I am also interested in compilers.

we have a tendency to look thousands of years in the past for wisdom. weird.

Python's default is gallop sort however radixsort is much faster and performs in O(n).

R has that too.

Totally RAD!

the julia solution was bad

Cos shipping things is not a concern

They should hire English teachers to fix their grammar. “Will hire no more engineers.” Wtf

Scammy. I can’t even preview one

can't bring myself to trust anything about privacy from a software with a weird-ass Chinese name.

Also as a great symbolism of our times: An Indian beat a Chinese. India is rising while China is already in decline.

get outta here!