LudwigNagasena

Singapore is the opposite of the ivory tower rule. Most high-ranking officials hold either a master's or a professional degree. You wouldn’t find many PhDs with no prior executive experience.

The problem with Python is that the whole ecosystem is based on CPython’s implementation details, so every change inevitably breaks something and requires effort of package maintainers to fix compatibility. There is no test suite an agent can follow.

Because you still need short-lived branches for editing, CI/CD gates, bisecting, and an audit trail.

It’s obvious that such boneheaded methods don’t work. So what’s next? First, we need to deal with basic word substitution, which seems theoretically feasible. Then we need to deal with encodings such as Caesar cipher, replacing spaces with zero-width spaces, Base64, etc. Your account will be flagged and reported for outputting obfuscated text. What’s next after that? Ooops, you output too many vim commands instead of outputting text directly, your account is flagged and reported to Europol. You think you can bypass that with Deepseek? No, it will be banned alongside VPN.

What does a diagnosis have to do with any of that? How is that a whole other bag worms, that’s exactly the topic at hand.

Looks like a sale-leaseback. Similar in spirit to an asset-backed loan.

In Bayesian statistics that’s called credence. Weird that they felt the need to invent a new term.

It’s hard to meaningfully compare prices across countries due to differences in tax regimes.

Russia recently moved to its own SSL certificates due to sanctions. Now you cannot use a bank without allowing the government to MITM you.

That example doesn't use any TUI.

> Posts like his Calling someone a "nazi" is a permission slip for violence is simply untrue no matter who you are or where you live.

It is simply true. Lots of people think it’s okay to punch nazis. There was a whole public debate about that around 7 years ago when a famous nazi got punched. The phrase “punch a nazi” got quite popular after that.

It’s Ruby on Rails in the world of distros. If you find other distros tasteless and unpolished, you may want to try Omarchy. At least that’s how I see it (I find most Linux distros and development frameworks tasteless and unpolished).

I don't see much value in knowing that dependent types can be used to encode logical quantifiers or similar stuff in applied programming. Maybe there is actual value that it creates after you grok those concepts (beyond the general applicability of any concept or metaphor in your thinking), but I don't see it.

"Functional programming" in applied programming usually just means using less mutable state and using stuff like `map` and `reduce` to make semantics of code more predictable and move the burden of optimizing actual implicit mess it creates to compiler/interpreter.

> I feel like no serious work with this ambition

What ambition? The book is an applied introduction for people who aren’t even familiar with what ∃ means. It’s 200 pages, which is at best comparable to a semester-long course.

Looks like a novelty item made with the purpose of testing their hardware production capabilities before producing a real product.

Also, translated pages transform newlines into \n.