Complete and accurate, thanks.
Yes the Prussian system is responsible afaik
They probably didn't want to take on the legal risk of the entity, more than anything.
Absolutely. I love it, but you need a fork for now.
It's alright, it's pretty alpha software. On v1.5.4, catalog filtered counts are broken, afaik. I went to main/v2 to fix it, and then the SQL parser in duckdb v2 is 10x slower, which was another wrench in the gears.…
because they're scared for their jobs
How many mathematicians write 100 papers?
Humans have near-identical incentives to cheat compared to LLMs
> This is because they don't understand that it does not run in reverse. It is not symmetrical. They underestimate the pain of a deflationary shock, where everyone (namely your employer) gets an incentive to not…
Eh, I'll bite. I haven't read the source but for one, there wasn't really even a US dollar until 1935. When banks failed, and they did unlike now when they artificially don't, you lost everything. There was no FDIC. All…
Yes, it's just a shiny piece of metal. However, it is a pure element and there is a limited amount of it, unlike pretty much anything else except maybe silver. Otherwise this happens.…
Ah sorry our contractor did all that highly illegal stuff. Too bad we can't pierce the corporate veil anymore... shucks.
That would be like saying that you can verify the software that CERN uses to measure the Higgs Boson because we verified general relativity.
Basically the modern web uses orchestration, for pretty much everything. Usually Kubernetes is doing that. Theoretically protocols like RAFT are formally verifiable, but their implementations in orchestration tools like…
You can't formally verify anything that uses consensus, which is the backbone of the entire web. It's a complete non-starter.
I laughed out loud when he said Cloudflare should have formally verified its systems.
I have worked at several ruby shops and everyone has used heavy IDEs like RubyMine and VSCode, jump to's and language server are far too important.
I mean arguing with tankies is just No True Scotsman ad infinitum, so I'm good to stop this here. Best
What specific way is history being "erased"?
Ever heard of the Little Rock Nine?
It's really fundamentally unimportant what you specifically believe. What is important is what people your age in the aggregate believe. This is an undeniable truth. It's therefore silly to engage in a conversation…
Without some kind of coherent post-Marxist revolutionary understanding of what communism is, this is just pure delusion. Most people don't have the ability to synthesize grand ideas for the direction of society, no…
Politics is a team sport..? I have nothing in common with tankies, sorry.
Okay here's a secret that you probably won't hear other than in some books that are hard to find. The youth desire a strong executive. They don't yet understand why it can be a bad thing, because they have little…
[flagged]
Complete and accurate, thanks.
Yes the Prussian system is responsible afaik
They probably didn't want to take on the legal risk of the entity, more than anything.
Absolutely. I love it, but you need a fork for now.
It's alright, it's pretty alpha software. On v1.5.4, catalog filtered counts are broken, afaik. I went to main/v2 to fix it, and then the SQL parser in duckdb v2 is 10x slower, which was another wrench in the gears.…
because they're scared for their jobs
How many mathematicians write 100 papers?
Humans have near-identical incentives to cheat compared to LLMs
> This is because they don't understand that it does not run in reverse. It is not symmetrical. They underestimate the pain of a deflationary shock, where everyone (namely your employer) gets an incentive to not…
Eh, I'll bite. I haven't read the source but for one, there wasn't really even a US dollar until 1935. When banks failed, and they did unlike now when they artificially don't, you lost everything. There was no FDIC. All…
Yes, it's just a shiny piece of metal. However, it is a pure element and there is a limited amount of it, unlike pretty much anything else except maybe silver. Otherwise this happens.…
Ah sorry our contractor did all that highly illegal stuff. Too bad we can't pierce the corporate veil anymore... shucks.
That would be like saying that you can verify the software that CERN uses to measure the Higgs Boson because we verified general relativity.
Basically the modern web uses orchestration, for pretty much everything. Usually Kubernetes is doing that. Theoretically protocols like RAFT are formally verifiable, but their implementations in orchestration tools like…
You can't formally verify anything that uses consensus, which is the backbone of the entire web. It's a complete non-starter.
I laughed out loud when he said Cloudflare should have formally verified its systems.
I have worked at several ruby shops and everyone has used heavy IDEs like RubyMine and VSCode, jump to's and language server are far too important.
I mean arguing with tankies is just No True Scotsman ad infinitum, so I'm good to stop this here. Best
What specific way is history being "erased"?
Ever heard of the Little Rock Nine?
It's really fundamentally unimportant what you specifically believe. What is important is what people your age in the aggregate believe. This is an undeniable truth. It's therefore silly to engage in a conversation…
Without some kind of coherent post-Marxist revolutionary understanding of what communism is, this is just pure delusion. Most people don't have the ability to synthesize grand ideas for the direction of society, no…
Politics is a team sport..? I have nothing in common with tankies, sorry.
Okay here's a secret that you probably won't hear other than in some books that are hard to find. The youth desire a strong executive. They don't yet understand why it can be a bad thing, because they have little…
[flagged]