Kornel

kornel@mastodon.social

I compress pixels (<a href="https://ImageOptim.com" target="_blank" rel="nofollow noopener" translate="no">https://ImageOptim.com</a> <a href="https://pngquant.org" target="_blank" rel="nofollow noopener" translate="no">https://pngquant.org</a> <a href="https://gif.ski" target="_blank" rel="nofollow noopener" translate="no">https://gif.ski</a>). Web Standards & <a href="https://mastodon.social/tags/RustLang" class="mention hashtag" rel="tag">#RustLang</a>

Posts

Post #3858530
The Bun's #Zig to #Rust rewrite is an advertisement for Anthropic, at the cost of hurting both languages. It already made a stink for Zig. Now, when this mountain of unstable, auto-converted LGTM'd code is going to have embarrassing bugs, it's going to make a stink for Rust: "see, Rust adoption was pointless, it's still buggy!"
Post #3663120
I'm switching from #macOS to Linux. So far keyboard shortcuts are the hardest obstacle. Muscle memory refuses to change, so I work like I've seen a keyboard for the first time yesterday. Lack of separate Ctrl & Cmd seems like a deeper problem than just doing things differently. It halves available keyboard combos. It turns out I've been using lots more than just Cmd+C vs Ctrl+C.
Post #3631829
Autocorrect changed "abstraction layer" to "obstruction layer". It has a point. I need to start using this term.
Post #3476140
#Rust being a modern language is not enough, you need postmodern: https://lib.rs/crates/slopc
Post #3457476
USA revolving around several trillion-dollar companies, and EU having hardly any, is supposed to imply economic superiority, but to me it sounds "if you're so good at growing, why don't you have more tumours?"
Post #1111347
#Code reviews seem to be the biggest bottleneck in software development right now. Open source package ecosystems are victims of their own success. There&#39;s a long tail of iffy packages that nobody has reviewed, and nobody wants to. For the top projects, maintenance is tough. Stakes are high. Reviews are hard. Contributions are meh quality (even before LLMs). It&#39;s not just code, but a people problem too. GitHub&#39;s primitive workflow wastes everyone&#39;s time. Someth...
Post #942391
GenAI broke copyright law, and I don&#39;t mean just infringing the rights, but disrupting the core foundations that copyright laws were built on. Copyright enforcement assumes ability to identify whose work has been copied, but models can untraceably mashup everyone&#39;s works. This completely messes up what a derived work is, identifying whose work has been infringed, what is fair use and remixing. Forcing old definitions to fit this either makes copyright meaningless or a maximalis...
Post #942390
@deshipu That&#39;s the core of the problem: the existing law doesn&#39;t clearly codify the difference between GenAI (ab)uses and benign uses of ML. Setting a precedent that models are infringing derived work could be abused, e.g. spammers could make a case that antispam filters are illegal, because model weights were derived from their precious copyrighted spam emails. These obviously aren&#39;t the same thing, but the laws we have predate GenAI and weren&#39;t written to make...
Post #942389
In today&#39;s Coding Black Mirror episode: what if AI code generators get sped up to emit tens of thousands of tokens per second? For now we&#39;re pretending LLMs are just sloppy devs and try to review the output, which is already exhausting. When it gets to the point of being able to rewrite the whole project on every keystroke, source code won&#39;t be the source any more, but a discardable compiler output. Switching languages will be like applying Photoshop filters?