Viewing profile — koito17

Some people at my company take it to the extreme and let Codex run unattended overnight, bypassing permission for all commands. Running on the host, not even in a container or VM.

The devaluation didn't really get out of control until 2022 IME. In 2021 you were still able to divide by 100 and not be far off in conversion. Typically traded between 105 ~ 115. …

The Japanese name is actually 囲碁 (igo). 碁 (go) is just an abbreviation; I don't see it often in Japanese text, but for some reason the Anglosphere decided to adopt it. 囲 is a simpl…

I've heard there's been a lot of redevelopment in Nagoya, in preparation for a possible future earthquake from the Nankai Trough. Exactly one month ago, there was almost consecutiv…

> This is like a comment a golem built to raise the S&P 500 would write. That's neoliberalism for you.

They were looking at 16 variables, degree of about 10 in each one. That search space is simply too big for a plain bruteforce. So they did some sort of filtering to reduce the sear…

A little over 10 years ago I remember meeting a postdoc who believed he had something close to a counterexample to the Jacobian Conjecture. He and another person was bruteforcing p…

Recently had to touch a Python project at work. Just setting up the editor needed me to use 2-3 tools out of: pyright, basedpyright, ruff, ty, mypy, and possibly other tools I'm fo…

That's just the model quantum mechanics uses. It doesn't mean "we believe reality works this way". It means "at extremely small scale, probabilistic models from QM best predict the…

> approximately no one has heard of Just cause it isn't used for webshit doesn't mean "approximately no one" has heard of it. Lean is pretty much the most popular language mathemat…

Many organizations, surprisingly, still do things like using Kubernetes with TLS terminated at the ingress. In that case, you just need the splitter in the same network as the node…

Two things to note: 1. TypeScript doesn't aim to have a sound type system. i.e. there may be things the type system accepts that are actually unsafe. 2. this is more of an issue wi…

There is a mobile game I know of that had an outage as a result of a GCP service outage. That is the only time I've noticed GCP outages. With that said, I would not say few compani…

Pretty much every mountainous region in the mainland of Japan, except for Chiba prefecture, has bears. Most people do not live in the mountains, which is why bear sightings tend to…

Since the OP stated they used DeepSeek V4 Flash for generating a lot of the code, I decided to check whether there were any outdated dependencies. In my experience, with Rust proje…

I noticed borkdude posted this thread *and* he is listed as a contributor for this release. For the longest time, I recall the opposition to async/await support being twofold: 1. a…