Elektrine lite

← Feed

Koichi Nakayamada

koichi@hachyderm.io

<p>A Japanese developer and incoming UCLA Data Theory student. Interested in Open Source, Nix, and Zig. I share some thoughts and my writing.</p>

Posts

  • Post #2481359

    Hi there, Fediverse! I&amp;#39;m Koichi. I&amp;#39;m a Japanese Data Science student in the U.S, and an Open Source enthusiast. I&amp;#39;d like to share my project progress and my writing. Hope to connect with others who share the same interest. I&amp;#39;m interested in and learning Zig, ML, Linux, Nix/NixOS, and RiverWM. NixOS is pretty tough, but I think I need to keep learning patiently. It&amp;#39;s pretty fun and at least working. Look forward to sharing more! #introduction

  • Post #2481354

    Neovim is getting its built-in package manager, vim-pack, in v0.12. The boundary of what to make built-in might be difficult for projects that take a plugin-first approach, like Neovim. Stability is certainly a benefit, and some might say it’s core functionality, so it&amp;#39;s better to have it built in. But it might take away the opportunity for competition, and it might be better for the project to provide only the basic APIs. I think vim-pack is a move, given they’re trying to make things m...

  • Post #2481353

    What’s the best use of AI in software development? I know it’s a huge and “hot” topic. Some prefer artisanal, and some are fully addicted. As a learner myself, I prefer to set a clear rule: If you can write the code or think of the structure needed, use AI to shorten the time typing. Prototyping, non-essential projects, and tasks that require specific knowledge and searching are the only exceptions. An example of a non-essential project would be a personal website. I’m not interested in front-...

  • Post #2481352

    @gotofritz Hi!

  • Post #2481351

    I just found out that OpenCode’s web and desktop interfaces can display LaTeX. It’s just a web view, so it works for sure. Now I no longer need ChatGPT Plus for my math/physics learning and only use Kimi K2.6, etc., and store all the history locally! It’s still pwd-based, so I can let the LLM summarize progress in Markdown, and can git-track that repo! Since the last post, I&amp;#39;ve been using LLM for researching and learning, while actually reading the websites they cite as needed; not vib...

  • Post #2481350

    If you use terminal coding agents, what complaints do you have? I want to build a new, highly lean and extensible one in Zig and Lua. I&amp;#39;d like to hear as many opinions as possible. I&amp;#39;ve been using OpenCode and recently tried Pi. I like the idea of Pi, but it&amp;#39;s in the npm ecosystem, so there&amp;#39;s a security concern. It&amp;#39;s minimal but made for the author himself (as he says it&amp;#39;s not entirely bare-bones), so it&amp;#39;s still opinionated (tree, HTML sha...

  • Post #2481347

    RE: https://hachyderm.io/@kristoff/116488267530388091 This was so refreshing to read, and it made me love Zig even more as a learner. From my reading, I think the essential distinction is whether the contributors actually think about and acknowledge the changes (and the design of those changes) they&amp;#39;re making. In light of that, the AI ban itself isn&amp;#39;t the &amp;quot;perfect&amp;quot; borderline, I think. It&amp;#39;s because there are a lot of developers who can utilize AI as a...

  • Post #2481346

    I think we&amp;#39;re almost at the point where, if we don&amp;#39;t vibecode and use an LLM as our extended keyboard, we don&amp;#39;t need the frontier models. The more intelligent the frontier models get, the lower the cost of the same level of intelligence we need for such a use case. GPT5.5 Low, MiMo v2.5 Pro, and MiMo v2.5 are the ones I love using, but no matter what models they are, we&amp;#39;ve reached the threshold, and the price is gonna get lower. Vibecoding, coding without learni...