<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Hacker News: koito17</title><link>https://news.ycombinator.com/user?id=koito17</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Thu, 21 May 2026 03:20:37 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=koito17" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by koito17 in "Incident Report: Railway Blocked by Google Cloud (Resolved)"]]></title><description><![CDATA[
<p>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.<p>With that said, I would not say few companies rely on GCP. Search for "GCP" in this month's HN hiring thread. There are 23 hits, more than Azure's 21. AWS has 90 hits, which I guess shows its sheer dominance in the startup space. But these figures more or less agree with my intuition of the major clouds being AWS/GCP/Azure.</p>
]]></description><pubDate>Wed, 20 May 2026 06:23:26 +0000</pubDate><link>https://news.ycombinator.com/item?id=48203805</link><dc:creator>koito17</dc:creator><comments>https://news.ycombinator.com/item?id=48203805</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48203805</guid></item><item><title><![CDATA[New comment by koito17 in "Japan’s robot wolf sells out as record bear attacks drive demand"]]></title><description><![CDATA[
<p>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 population, (b) proximity to mountains.</p>
]]></description><pubDate>Sun, 17 May 2026 00:26:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=48165032</link><dc:creator>koito17</dc:creator><comments>https://news.ycombinator.com/item?id=48165032</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48165032</guid></item><item><title><![CDATA[New comment by koito17 in "Zerostack – A Unix-inspired coding agent written in pure Rust"]]></title><description><![CDATA[
<p>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 use `cargo add` instead of manually editing the Cargo.toml, you will almost certainly get out-of-date dependencies added to your project.<p>Manually checking the dependencies used by this project, I was pleased to see they are all the latest version. That doesn't mean there are no issues lurking in transitive dependencies, of course.<p>As for getting an LLM to review the code, I think we can get all opinionated very fast. For instance, when I was eyeballing the code, some of the enum methods converting to/from strings made me think "this could've been a single #[derive] with strum." That would make the code in provider.rs a lot more concise, at the cost of importing one crate (with no dependencies!)<p>Lastly, for fun, I decided to get DeepSeek V4 Pro (with Max thinking) to "audit" the codebase. The output mentioned no obvious signs of hidden telemetry, but it did note that the project sets the panic handler to "abort", which I have strong opinions on... Presumably the OP wanted to avoid linking against libunwind to save a few kilobytes of binary size, but now you have a binary that immediately aborts and doesn't give the user a stacktrace of what just crashed. I would rather have a ~50 KiB larger binary if it means getting useful debug info during a panic. Additionally, if there are async tasks that panic, they can't be recovered to display a generic error message; instead the whole process just aborts.</p>
]]></description><pubDate>Sun, 17 May 2026 00:15:44 +0000</pubDate><link>https://news.ycombinator.com/item?id=48164981</link><dc:creator>koito17</dc:creator><comments>https://news.ycombinator.com/item?id=48164981</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48164981</guid></item><item><title><![CDATA[New comment by koito17 in "ClojureScript Gets Async/Await"]]></title><description><![CDATA[
<p>I noticed borkdude posted this thread *and* he is listed as a contributor for this release.<p>For the longest time, I recall the opposition to async/await support being twofold:<p>1. adding support would require deep changes across the CLJS compiler (theller, creator of shadow-cljs, once tried and concluded this)<p>2. macros from libraries like Promesa provided similar convenience<p>There were some other arguments brought up at the time (e.g. just use core.async, expression-oriented languages aren't a good fit with async/await, etc.), but they were usually specific to one person rather than something you'd see repeated in forums.<p>In the Clojurians Slack, borkdude once stated he wasn't convinced it'd be impractical to add support. It seems that he eventually took the time and made it happen. Extremely thankful for that.</p>
]]></description><pubDate>Fri, 08 May 2026 17:11:43 +0000</pubDate><link>https://news.ycombinator.com/item?id=48065996</link><dc:creator>koito17</dc:creator><comments>https://news.ycombinator.com/item?id=48065996</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48065996</guid></item><item><title><![CDATA[New comment by koito17 in "MPEG-2 Transport Stream Packaging for Media over QUIC Transport"]]></title><description><![CDATA[
<p>MPEG-2 TS is a container. H.264 is a coding specification. They are totally different things.<p>One can find MPEG-2 TS in surprising places (see: DOCSIS encapsulating Ethernet frames into TS packets).<p>If I had to guess why MPEG-2 TS, it'd probably be the for the fact it's a well-supported streaming format in both hardware and software. If you tried using QuickTime or MPEG-4 containers, you'd have to rely on hacks like ensuring the moov atom preceeds mdat.<p>Matroska may be worth considering (especially the subset used by WebM to make it stream-friendly and quicker to seek), but no idea how widespread hardware support is for (de)muxing that.</p>
]]></description><pubDate>Thu, 07 May 2026 17:19:52 +0000</pubDate><link>https://news.ycombinator.com/item?id=48052058</link><dc:creator>koito17</dc:creator><comments>https://news.ycombinator.com/item?id=48052058</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48052058</guid></item><item><title><![CDATA[New comment by koito17 in "Honker – Durable queues, streams, pub/sub, and cron scheduler in a SQLite file"]]></title><description><![CDATA[
<p>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. Ironically, Honkey attempts implementing NOTIFY/LISTEN through polling.<p>k3s has been running on my home server for about three years now (using the default SQLite backend), and there doesn't seem to be excessive CPU usage despite dozens of watches existing in the simulated etcd. Of course, this doesn't say much about Honker, but it's nonetheless worth pointing out that sometimes the choice of database forces one towards a certain design.<p>[1] <a href="https://github.com/k3s-io/kine/blob/648a2daa/pkg/logstructured/sqllog/sql.go#L452" rel="nofollow">https://github.com/k3s-io/kine/blob/648a2daa/pkg/logstructur...</a></p>
]]></description><pubDate>Thu, 30 Apr 2026 18:17:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=47966296</link><dc:creator>koito17</dc:creator><comments>https://news.ycombinator.com/item?id=47966296</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47966296</guid></item><item><title><![CDATA[New comment by koito17 in "Waymo in Portland"]]></title><description><![CDATA[
<p>> Japan is geographically well-suited<p>Most of the rail has get around mountainous, uneven terrain subject to earthquakes, strong winds, and heavy rain. California <i>should</i> be able to build rail parallel to the I-5, a long, flat terrain without extreme weather or strong earthquakes. The problem seems to be a political one, not an engineering one. In fact, if the Interstate Highway System did not already exist, I doubt the U.S. today would be able to accept and complete it.<p>> one long line with a few branches<p>I currently live in Japan, and that does not really match what I've observed. There are three distinct railway companies in my area (JR, Tokyu, Yokohama Municipal Subway), each with their own dedicated rail, trains, power supply, etc.<p>The situation is more like "a disjoint union of graphs, where some of the graphs are connected".</p>
]]></description><pubDate>Wed, 29 Apr 2026 02:53:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=47943692</link><dc:creator>koito17</dc:creator><comments>https://news.ycombinator.com/item?id=47943692</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47943692</guid></item><item><title><![CDATA[New comment by koito17 in "GitHub CLI now collects pseudoanonymous telemetry"]]></title><description><![CDATA[
<p>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.<p>Also, I believe GitHub Actions cache cannot be bulk deleted outside of the CLI. The first time I [hesitantly] used the gh CLI was to empty GitHub Actions cache. At the time it wasn't possible with the REST API or web interface.</p>
]]></description><pubDate>Wed, 22 Apr 2026 14:07:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=47863882</link><dc:creator>koito17</dc:creator><comments>https://news.ycombinator.com/item?id=47863882</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47863882</guid></item><item><title><![CDATA[New comment by koito17 in "Slop Cop"]]></title><description><![CDATA[
<p>> what do these LLM clichés look like in Japanese?<p>Besides text reading like a machine translation, the tell-tale signs often involve things like:<p>- itemized lists (I know, it's ironic that I'm using them here)<p>- frequent use of conjunctions<p>- use of demonstratives that feels redundant<p>- full-width colons, especially in titles<p>- subheadings that always end in abstract nouns<p>- bold text, especially at the beginning of a line<p>The demonstrative bit may be hard to express, but to give you an idea: when communicating in Japanese, words that can be understood from context may be omitted. Explicitly writing out words understood from context can sometimes make a sentence sound redundant.<p>Before LLMs were widespread, SEO spam in the Japanese net tended to be affiliate sites with predictable, template paragraphs. I get reminded of those sites whenever GPT starts a response with 「結論から言うと、〇〇」, since that's exactly how those affiliate sites wrote back in the day.</p>
]]></description><pubDate>Sat, 18 Apr 2026 17:47:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=47817895</link><dc:creator>koito17</dc:creator><comments>https://news.ycombinator.com/item?id=47817895</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47817895</guid></item><item><title><![CDATA[New comment by koito17 in "Slop Cop"]]></title><description><![CDATA[
<p>How does this site tokenize text? Split on ASCII whitespace?<p>Inputting Japanese sentences of any length flags the whole sentence as "Dramatic Fragment: A standalone paragraph with ≤4 words".</p>
]]></description><pubDate>Sat, 18 Apr 2026 03:29:42 +0000</pubDate><link>https://news.ycombinator.com/item?id=47812899</link><dc:creator>koito17</dc:creator><comments>https://news.ycombinator.com/item?id=47812899</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47812899</guid></item><item><title><![CDATA[New comment by koito17 in "Lean proved this program correct; then I found a bug"]]></title><description><![CDATA[
<p>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 kernel having a bug would mean we may discover entire classes of proofs that were just wrong; if those statements were used as corollaries/lemmas/etc. for other proofs, then we'd be in a lot of trouble.<p>When I see a title transitioning from "Lean said this proof is okay" to "I found a bug in Lean", I'm intuitively going to think the author just found a soundness (or consistency) issue in Lean.</p>
]]></description><pubDate>Tue, 14 Apr 2026 07:28:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=47762410</link><dc:creator>koito17</dc:creator><comments>https://news.ycombinator.com/item?id=47762410</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47762410</guid></item><item><title><![CDATA[New comment by koito17 in "Lean proved this program correct; then I found a bug"]]></title><description><![CDATA[
<p>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 kernel, which must be trusted to be correct, or else you can't trust any proof in Lean.</p>
]]></description><pubDate>Tue, 14 Apr 2026 04:30:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=47761267</link><dc:creator>koito17</dc:creator><comments>https://news.ycombinator.com/item?id=47761267</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47761267</guid></item><item><title><![CDATA[Tell HN: Zed is sunsetting text threads]]></title><description><![CDATA[
<p>Received the following e-mail this morning.<p><pre><code>  Hi there,
  
  We're sunsetting Text Threads in next week's Stable release and wanted to give you a heads up as someone who's used the feature.
  
  Text Threads were Zed's original AI interface, built before the Agent Panel existed. As the Agent Panel matured with tool use and other agentic capabilities, development on Text Threads stopped. Rather than maintain a surface area we're not actively improving, we're removing them so we can focus on building a better interface for working with agents.
  
  We’re actively working on making the Agent Panel feel more like an editor, so the ideas behind Text Threads will carry forward in a more capable form.
  
  Thank you for using Zed. 
  – The Zed team</code></pre></p>
<hr>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=47596567">https://news.ycombinator.com/item?id=47596567</a></p>
<p>Points: 7</p>
<p># Comments: 0</p>
]]></description><pubDate>Wed, 01 Apr 2026 03:46:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=47596567</link><dc:creator>koito17</dc:creator><comments>https://news.ycombinator.com/item?id=47596567</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47596567</guid></item><item><title><![CDATA[New comment by koito17 in "Working and Communicating with Japanese Engineers"]]></title><description><![CDATA[
<p>> What's preventing Japanese engineers from doing the same?<p>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 anywhere else.<p>Japanese is one of a handful of languages where one can complete a postdoc entirely within the language. Many languages are not like this. e.g. in the Phillipines, STEM subjects are almost entirely taught in English, since Tagalog simply doesn't have words to describe most of the concepts. The result is something like 90% of the coursework being in English, with random Tagalog words mixed in. The concept is called "Taglish" if I recall correctly.<p>This is unnecessary in countries like Japan, China, South Korea, etc. If you're applying to a graduate school in Japan (or China, or Korea), expecting to receive education in English is actually the edge-case, not the expectation.<p>Also, at least in my company, there is an interesting trend where people are deciding learning English isn't really necessary since AI translation has gotten "good enough" for most use cases.</p>
]]></description><pubDate>Sat, 07 Mar 2026 14:23:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=47287904</link><dc:creator>koito17</dc:creator><comments>https://news.ycombinator.com/item?id=47287904</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47287904</guid></item><item><title><![CDATA[New comment by koito17 in "Tech employment now significantly worse than the 2008 or 2020 recessions"]]></title><description><![CDATA[
<p>I wonder how the figures look for countries outside of the United States.<p>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 stereotype of Japanese work culture more than Japanese companies nowadays.</p>
]]></description><pubDate>Sat, 07 Mar 2026 02:02:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=47283661</link><dc:creator>koito17</dc:creator><comments>https://news.ycombinator.com/item?id=47283661</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47283661</guid></item><item><title><![CDATA[New comment by koito17 in "Global warming has accelerated significantly"]]></title><description><![CDATA[
<p>Additionally:<p>- cherry blossoms have been consistently blooming earlier each year<p>- some areas have been breaking historic high temperatures over the past 3 years (e.g. 伊勢崎市)<p>- even this year, there were several 20C days in Tokyo where the climate felt more like spring than winter<p>- 気象庁 is surveying for a new word to describe days with temperature exceeding 40C, since they are now becoming common in some areas.<p>Lastly, one joke my friends say is "In Japan there are four seasons: rainy season, summer, midsummer, and winter."</p>
]]></description><pubDate>Sat, 07 Mar 2026 00:40:59 +0000</pubDate><link>https://news.ycombinator.com/item?id=47283058</link><dc:creator>koito17</dc:creator><comments>https://news.ycombinator.com/item?id=47283058</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47283058</guid></item><item><title><![CDATA[New comment by koito17 in "Bet on German Train Delays"]]></title><description><![CDATA[
<p>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".</p>
]]></description><pubDate>Wed, 04 Mar 2026 13:03:44 +0000</pubDate><link>https://news.ycombinator.com/item?id=47246847</link><dc:creator>koito17</dc:creator><comments>https://news.ycombinator.com/item?id=47246847</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47246847</guid></item><item><title><![CDATA[New comment by koito17 in "Elevated Errors in Claude.ai"]]></title><description><![CDATA[
<p>In my case, the question was "how are <i>you</i> 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. Not sure how good of an idea this is, but at least it was a question that popped up <i>after</i> passing technical interviews. I want to believe the purpose of this question was to gauge whether applicants were keeping up with dev tooling or potentially stagnating.</p>
]]></description><pubDate>Tue, 03 Mar 2026 14:39:26 +0000</pubDate><link>https://news.ycombinator.com/item?id=47233046</link><dc:creator>koito17</dc:creator><comments>https://news.ycombinator.com/item?id=47233046</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47233046</guid></item><item><title><![CDATA[New comment by koito17 in "A better streams API is possible for JavaScript"]]></title><description><![CDATA[
<p>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 optimizers (like the Google Closure Compiler) treat `await` as a side-effect and do not optimize it out.</p>
]]></description><pubDate>Sat, 28 Feb 2026 09:38:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=47192890</link><dc:creator>koito17</dc:creator><comments>https://news.ycombinator.com/item?id=47192890</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47192890</guid></item><item><title><![CDATA[New comment by koito17 in "Tell HN: YC companies scrape GitHub activity, send spam emails to users"]]></title><description><![CDATA[
<p>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.<p>It's one thing to offer anonymous e-mail addresses, but it's also awesome that GitHub can help prevent mistakes that would otherwise leak a user's e-mail address. I am not sure how many people try to be privacy conscious on GitHub, but I assume most users don't, so it's nice seeing this little feature exist.</p>
]]></description><pubDate>Thu, 26 Feb 2026 13:46:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=47166012</link><dc:creator>koito17</dc:creator><comments>https://news.ycombinator.com/item?id=47166012</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47166012</guid></item></channel></rss>