koito17

6 ms·

1.
by koito17 6d ago
It looks close to the kind of documentation artifacts GPT 5.6 Sol would generate for me. That style is still rare enough that I prefer it over OP's "we installed shadcn + Tailwind and look like every seed-stage startup SaaS from 2
2.
by koito17 6d ago
The Japanese word used in the context of price lists would be something like 料金表 or 料金メニュー. When I see "tariff", my mind only thinks of 関税 , and I was just as confused as you were. Turns out its just an item in a price schedule.
3.
by koito17 12d ago
Finally got rid of Webpack in 2022, and now I'll be able to get rid of Babel, too. It's a bit mesmerizing to think that Vite at the time was still "that newish tool the Vue folk use", and now it's pretty much the st
4.
by koito17 16d ago
In Japan, the identity verification is quite strict to subscribe to a voice/text capable phone line. Still yet to get robocalls or spam texts. I'm sure they exist, but despite handing out my phone number to city hall and countless
5.
by koito17 19d ago
That would surprise me. I don't recall having to change my iPhone's region after moving to Japan. Transport IC cards in Apple Pay have "just worked". I am vaguely aware that some phone manufacturers silently remove certa
6.
by koito17 20d ago
Board members often have posts at multiple companies because of how little work they actually do. Meanwhile most companies prohibit side jobs for us plebians (sorry, "non-executives".)
7.
by koito17 1mo ago
I remember a few years back when there was 2 major outages per month. Thankfully this is encouraging me to stop working overtime for now and enjoy the rest of my night
8.
by koito17 1mo ago
All that achieves is companies introducing ads to boost revenue for next quarter's earnings. For a concrete example: LINE (most widely-used messaging app in Japan) has paid subscriptions, and even the highest tier subscription doesn&#x
9.
by koito17 1mo ago
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.
10.
by koito17 2mo ago
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. Nowadays the Yen is so weak that I unconditionally conv
11.
by koito17 2mo ago
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 simplification of 圍, and 碁 is a Japanese-specific letter tha
12.
by koito17 2mo ago
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 consecutive daily earthquakes in Kantō region. Always a good
13.
by koito17 2mo ago
> This is like a comment a golem built to raise the S&P 500 would write. That's neoliberalism for you.
14.
by koito17 2mo ago
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 search space to a pool containing "possible counterexamples
15.
by koito17 2mo ago
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 polynomials in about 16 variables, something like 80 - 700 te
16.
by koito17 2mo ago
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 forgetting that kind of do the same thing but throw error
17.
by koito17 3mo ago
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 behavior of electrons".
18.
by koito17 3mo ago
> 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 mathematicians use today for computer-assiste
19.
by koito17 3mo ago
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 nodes hosting the ingress controller. Or inspect the unencrypted
20.
by koito17 4mo ago
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 with mutation. If those properties were marked `readonly`
21.
by koito17 4mo ago
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 companies rely on GCP. Search for "GCP" in this mont
22.
by koito17 4mo ago
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 be limited to the areas with (a) significant human populati
23.
by koito17 4mo ago
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 projects, if you do not instruct models (even Claude 4.7 Opus) to
24.
by koito17 4mo ago
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. adding support would require deep changes across the CLJ
25.
by koito17 4mo ago
MPEG-2 TS is a container. H.264 is a coding specification. They are totally different things. One can find MPEG-2 TS in surprising places (see: DOCSIS encapsulating Ethernet frames into TS packets). If I had to guess why MPEG-2 TS, it'
26.
by koito17 5mo ago
For what it's worth, Kine (software that k3s uses to replace etcd with SQL databases) implements etcd watches on SQLite through polling[1]. The reason being that SQLite does not offer NOTIFY/LISTEN like MySQL and Postgres do. Iron
27.
by koito17 5mo ago
> Japan is geographically well-suited Most of the rail has get around mountainous, uneven terrain subject to earthquakes, strong winds, and heavy rain. California should be able to build rail parallel to the I-5, a long, flat terrain w
28.
by koito17 5mo ago
At my current job, I sometimes set up a Nix shell with the GitHub CLI, since that let's Claude Code associate a feature branch to a pull request. The LLM can then retrieve PR description, workflow results, review comments, etc. Also, I
29.
by koito17 5mo ago
> what do these LLM clichés look like in Japanese? Besides text reading like a machine translation, the tell-tale signs often involve things like: - itemized lists (I know, it's ironic that I'm using them here) - frequent use o
30.
by koito17 5mo ago
How does this site tokenize text? Split on ASCII whitespace? Inputting Japanese sentences of any length flags the whole sentence as "Dramatic Fragment: A standalone paragraph with ≤4 words".

More ›