koito17

5 ms·

31.
by koito17 6mo 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
32.
by koito17 6mo 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
33.
by koito17 6mo 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".
34.
by koito17 6mo ago
The intent is to have a proof of some proposition. The Lean runtime crashing doesn't stop the lean-zip developers from formally modelling zlib and proving certain correctness statements under this model. On the other hand, the Lean ker
35.
by koito17 6mo ago
Yeah, the title made me think the author found a bug in the Lean kernel, thus making an invalid proof pass Lean's checks. The article instead uncovers bugs in the Lean runtime and lean-zip, but these bugs are less damning than e.g. the
36.
Tell HN: Zed is sunsetting text threads
7 points by koito17 6mo ago|0 comments
37.
by koito17 7mo ago
> What's preventing Japanese engineers from doing the same? The fact they don't really need it in their life (or job). English is definitely necessary if you work service jobs in Tokyo (to deal with tourists), but not much anyw
38.
by koito17 7mo ago
I wonder how the figures look for countries outside of the United States. For what its worth, I ended up getting a tech job in Japan instead. Ironically, the requirements at U.S. startups are much higher, and U.S. startups fit the stereotyp
39.
by koito17 7mo ago
Additionally: - cherry blossoms have been consistently blooming earlier each year - some areas have been breaking historic high temperatures over the past 3 years (e.g. 伊勢崎市) - even this year, there were several 20C days in Tokyo where the
40.
by koito17 7mo ago
I'd love to see a Japanese version of this. "Bet which of one of JR Chūō Line, JR Saikyō Line, and Tokyo Metro Tōzai Line will NOT get a delay certificate printed today".
41.
by koito17 7mo ago
In my case, the question was "how are you using AI tools?" And trying to see whether you're still in the metaphorical stone age of copy-pasting code into chatgpt.com or making use of (at the time modern) agentic workflows.
42.
by koito17 8mo ago
I assume the reason is that `await` de-schedules the current microtask. In fact, even if you immediately return from an `await`, the de-scheduling can introduce behavior that otherwise would be absent without `await`. For this reason, code
43.
by koito17 8mo ago
I don't have any specific suggestions, but I do want to give thanks for implementing functionality to block pushes if the email field is *not* using an anonymized mail address. It's one thing to offer anonymous e-mail addresses, b
44.
by koito17 8mo ago
Even more importantly, there's just a lot of people in China. New York City's population is approximately 8.8 million; that is the scale of a mid-sized Chinese city. The population exceeds 1 billion, which is difficult to compreh
45.
by koito17 8mo ago
Yup. To this day, Firefox remains the only browser with a *parallel* CSS engine. Chromium and WebKit teams have considered this and decided not to pursue since it's really easy to get concurrency wrong. If I recall correctly, the CSS e
46.
by koito17 8mo ago
Even if made illegal, how does enforcement occur? The United States, at least, is notorious for HR being extremely opaque regarding hiring decisions. Then there's cases like Japan, where not only companies, but also landlords, will mak
47.
by koito17 8mo ago
GPUI development predates Sequoia's funding by about two years.
48.
by koito17 9mo ago
Nice concept. One question: was the data generated by an LLM? Don't mean this in a snarky way. The Lichess entry links to a non-existent HN thread[1], and "Show HN: Lichess" does not appear in HN search results. I found a hit
49.
by koito17 9mo ago
The fact sites do evil things with these headers is why I configure Firefox with network.http.referer.XOriginTrimmingPolicy set to 2. It "breaks" sites, but often in good ways (such as the site in TFA).
50.
by koito17 9mo ago
Right, the risk is encoding a vacuously true statement. I consider "false implies Q" and tautologies to be vacuously true statements, since both are truths that fail to convey any meaningful information. In any case, the worst cas
51.
by koito17 9mo ago
In the case of Lean, propositions are encoded as dependent types and the user typically has to encode that themselves then make use of e.g. tactics to derive a term of said type. Writing a statement you don't understand then later ge
52.
by koito17 9mo ago
To add to the author's list of examples, the regex test site Regex 101 ( http://regex101.com/ ) relies on WebAssembly. To verify this in Firefox, you can set javascript.options.wasm to false, and you will be instructed t
53.
by koito17 9mo ago
> there is already a swastika unicode glyph It's a Chinese character and there are two variants. The left-hand variant (卍) represents 和 (peace) in religious contexts, whereas the right-hand variant represents 力 (power). The specific
54.
by koito17 9mo ago
I used to be a daily Emacs user (both at work and for personal projects). Since trying out Zed a little over a year ago, now I only use Emacs for Magit and the occasional IRC message through the built-in ERC client. For VS Code users, there
55.
by koito17 9mo ago
Happy New Year from Japan! The perfect square year is now over...next one is 2116. Silly thing to note, but I am thankful for being able to live in such a year. Additionally, 2025 was quite transformative to my life. Where I am today, in te
56.
by koito17 10mo ago
This is what I find a bit alarming, too. My M3 Max MacBook Pro takes 2 full seconds to boot Slack, a program that used to literally be an IRC client. Many people still believe client-side compute is cheap and worrying about it is premature
57.
by koito17 10mo ago
Yeah, I'm aware of extensions like Stylus and use it on a few sites. But my brain is irrational and doesn't treat it the same as having a snapshot of HN during Christmas.
58.
by koito17 10mo ago
United States to Japan. I was a bit eager to start work after three months of waiting for the HSP 1b visa. Tried to keep myself busy with side projects, and got quite far with embedded Rust. But the lack of a "regular schedule" fr
59.
by koito17 10mo ago
Merry Christmas, everybody! Love seeing the custom HN theme every year. Sometimes after Christmas, I avoid refreshing an HN tab, so I get to see the theme just a little bit longer :) This year is a bit special to me. I recently moved countr
60.
by koito17 10mo ago
This reminds me of a story where an OCR error[1] likely contaminated training data (and the English language) with the term "vegetative electron microscopy". The article I linked also shows that some journals defended the legiti

More ›