Elektrine
EN
Log in Register
Paige Chat Timeline Communities Gallery Videos Email DNS VPN Uptime Kairo
Back to Timeline
Remote

Kornel

@kornel@mastodon.social
mastodon 4.7.0-beta.1
  • Open on mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski).
Web Standards & #RustLang

3845 Followers
1128 Following
26 Posts
Joined November 01, 2016
my homepage last updated in 2003:
https://kornel.ski
tootfinder:
searchable

Posts

Open post
kornel
Kornel @kornel@mastodon.social · Jul 16, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social
Boosted by Furbland's Very Family-Friendly Account™ @GroupNebula563@mastodon.social
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!"
2
0
4
0
Open post
kornel
Kornel @kornel@mastodon.social · Jul 08, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social
Replying to @marshray@infosec.exchange
@marshray@infosec.exchange I've had Caps Lock = Control on Mac. It's easy to set it to Control on Linux too, but then what do I do about the physical control key? I'd have to remap every shortcut in every app?
0
1
0
0
Open post
kornel
Kornel @kornel@mastodon.social · Jul 08, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social
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.
4
4
0
0
Open post
kornel
Kornel @kornel@mastodon.social · Jul 06, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social
Autocorrect changed "abstraction layer" to "obstruction layer". It has a point. I need to start using this term.
26
0
9
0
Open post
kornel
Kornel @kornel@mastodon.social · Jun 29, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social
#Rust being a modern language is not enough, you need postmodern: https://lib.rs/crates/slopc
32
0
25
0
Open post
kornel
Kornel @kornel@mastodon.social · Jun 28, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social
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?"
65
0
38
0
Open post
kornel
Kornel @kornel@mastodon.social · Apr 30, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social
Replying to @weiznich@social.weiznich.de

@weiznich Unfortunately the Path API has a no-alloc conversion from &str, so there's no room for a new field. Adding fd there would require stuffing it into the path, which seems hacky and could backfire.

The Path isn't good anyway. Can't even store \0 for C APIs nor UCS-2 for Windows. Useless for browser FileSystem APIs (WASM).

1
1
0
0
Open post
kornel
Kornel @kornel@mastodon.social · Apr 30, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social
Replying to @pid_eins@mastodon.social
@pid_eins Rust's std::fs and std::io were an MVP for the 1.0 release, and unfortunately mostly stayed like that. Back then Rust still had to prove that the memory safety and data-race guarantees could even work, that it could be stable and backwards-compatible language, while having even bigger unfinished gaps in the language and libstd. Now std::fs sticks out as the weak point, but Rust couldn't take moonshots in every aspect all at once. It would never ship.
8
1
0
0
Open post
kornel
Kornel @kornel@mastodon.social · Apr 30, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social
Replying to @Ambraven@social.mochi.academy

@Ambraven@social.mochi.academy if … { f } else { &A::new() } used to be impossible, but recent Rust versions actually allow that. It automagically makes a variable in the outer scope of the if. It's supported only in certain syntactically-simple cases.

3
2
0
0
Open post
kornel
Kornel @kornel@mastodon.social · Apr 15, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social
Replying to @blp@framapiaf.org
@blp inherent methods on some `Type` may not be using the `T` specifically (e.g. `Vec::len`), and self.foo() and foo(self) are equivalent-ish in Rust, so a function with unused generics must exist as a thing. tbh, unused T on a standalone function is as rare and suspicious as in a struct, so the inconsistency in enforcement could be just a historical accident.
3
0
0
0
Open post
kornel
Kornel @kornel@mastodon.social · Apr 13, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social
Replying to @kornel@mastodon.social
Maybe High-Fructose Corn Syrup would be a good analogy for #LLM code? It's a crap nobody would want, except that abundance of subsidized corn creates an incentive to stuff it into everything.
35
2
16
0
Open post
kornel
Kornel @kornel@mastodon.social · Apr 13, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social
Replying to @kornel@mastodon.social
I'm not saying that would be a good thing, but the imbalance between the volume of code LLMs can generate vs code that people can maintain is so massive that I can't imagine things staying the way they are. It makes better-than-LLM quality expensive and bottlenecked in comparison. This creates incentives to shift to quantity over quality, and to find ways to make do with buggy code.
25
2
5
0
Open post
kornel
Kornel @kornel@mastodon.social · Apr 13, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social
Replying to @kornel@mastodon.social
Our model of software is still like manufactured goods: there's one product released, and everyone gets an identical copy. I think LLMs will turn software into #houseplants - every user will have a slightly different clone, grow it, kill it, start a new one. Maintainers don't want LLM code. Too much to review, too little value, merge headache. For users incentive to submit is also low: very slow process, with low chance of success. But an LLM can keep reimplementing their pet feature.
25
1
5
0
Open post
kornel
Kornel @kornel@mastodon.social · Apr 13, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social
Boosted by Greg Bell @ferrix@mastodon.online
Replying to @kornel@mastodon.social
LLMs can spit code-alike outputs 24/7, faster than humans can read it. This is a DoS attack on open source. A maintainer can't trust that the person submitting a PR has properly reviewed the code, so they have to do all the review work anyway. There's zero benefit. If the maintainer wanted LLM-generated code, they could ask an LLM themselves, and skip the trust issues and slowness of dealing with a random middleman submitting it. Something's gonna break.
150
7
69
0
Open post
kornel
Kornel @kornel@mastodon.social · Apr 13, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social

#Code reviews seem to be the biggest bottleneck in software development right now.

Open source package ecosystems are victims of their own success. There'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's not just code, but a people problem too. GitHub's primitive workflow wastes everyone's time.

Something's gonna break.

27
5
9
0
Open post
kornel
Kornel @kornel@mastodon.social · Mar 18, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social
Replying to @iainvdw@mastodon.social
@iainvdw@mastodon.social @happyborg@fosstodon.org Currently we think before writing code, because writing it and changing it takes effort (and even for LLM-generated slop code it takes time, and burns money and rainforests, so it's better to get the spec right first) But the thing I've been wondering about is that if generation speed improves significantly, it will change the problem from "should we write it like this?" to "I've written it. Is this what you wanted? How about this? Or that? Here's 10 more with benchmarks"
0
4
0
0
Open post
kornel
Kornel @kornel@mastodon.social · Mar 18, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social
Replying to @happyborg@fosstodon.org
@happyborg@fosstodon.org It's not entirely the same problem as earlier attempts at making natural-language compilers. The "large" part of LLM gives it more context and a bit of "common sense". It's still a guess, but drawn from a more likely distribution. The learned context is so strong they can sometimes surprise Babbage and give right answers to wrong questions. Yeah, they routinely fail at software engineering we have today, but I wonder how much the world will adapt to "cheap but inaccurate" code.
1
2
0
0
Open post
kornel
Kornel @kornel@mastodon.social · Mar 18, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social
Replying to @kornel@mastodon.social

Visual Basic's On Error Resume Next can be galaxy-brained to On Error LLM("rewrite the program to stop doing that")

5
0
2
0
Open post
kornel
Kornel @kornel@mastodon.social · Mar 18, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social
Replying to @pointlessone@status.pointless.one
@pointlessone@status.pointless.one that's true. I'm speculating that high-enough quality may be way more difficult to achieve than scaling meh-quality to high volume, and people will adapt and run with whatever is more available. Vibe coding tools may be designed to generate hundreds or thousands versions of a program to brute-force solutions. Dunno what it means for really big and complex projects. They'll stay as-is? Get sidelined by a flood of smaller buggier ones?
1
1
0
0
Open post
kornel
Kornel @kornel@mastodon.social · Mar 18, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social
Replying to @iainvdw@mastodon.social
@iainvdw@mastodon.social Yeah, no idea. I guess the real source will move to a higher level, like a human-language requirements spec. I wouldn't be surprised if coding-oriented design specs were also auto-generated from even higher-level spec/prompt. What's striking to me is that GitHub stops making sense in such world. It'll be easier than ever to fork and modify projects and even merge different forks, but also futile to do it on a shared codebase. It's disposable single-use code.
0
2
0
0
Open post
kornel
Kornel @kornel@mastodon.social · Mar 18, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social

In today'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'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't be the source any more, but a discardable compiler output. Switching languages will be like applying Photoshop filters?

9
6
2
0
Open post
kornel
Kornel @kornel@mastodon.social · Mar 05, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social
Replying to @kornel@mastodon.social
Copyright has always been a tricky balance. Trying to distinguish between inspiration and a ripoff. Let authors make a living, but not put the entire shared culture behind a paywall. Allow education, parody, commentary without creating loopholes for freeloaders (with lots of grey areas, flaws, gaps, and abuses in practice). If copyright didn't exist, we'd have even more paranoid DRM used to defend commercial interests. If copyright was harsher, we'd get more walled gardens and DMCA-silencing.
4
0
0
0
Open post
kornel
Kornel @kornel@mastodon.social · Mar 05, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social

@deshipu@fosstodon.org That's the core of the problem: the existing law doesn'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't the same thing, but the laws we have predate GenAI and weren't written to make it legally clearly different.

fosstodon.org

ɗ𐐩ʃƕρʋ (@deshipu@fosstodon.org) - Fosstodon

0
0
0
0
Open post
kornel
Kornel @kornel@mastodon.social · Mar 05, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social

GenAI broke copyright law, and I don'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'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 maximalist dystopia.

16
1
5
0
Open post
kornel
Kornel @kornel@mastodon.social · Feb 22, 2026
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social
Replying to @drdrang@fosstodon.org
@drdrang but if I debug my HomeKit daily, I won't have to adjust the timer twice a year.
1
0
0
0
Open post
kornel
Kornel @kornel@mastodon.social · Mar 20, 2023
Kornel
@kornel@mastodon.social

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski). Web Standards & #RustLang

mastodon.social
Replying to @coldwarsteve@mastodon.scot
@coldwarsteve@mastodon.scot You can tell it's fake, because they'd never visit.
0
0
0
0

Remote instance

mastodon.social
Open on original server
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

Platform

  • Email
  • Chat
  • Timeline
  • Communities
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • Warrant Canary
  • Lite (no JS)
  • VPN Policy
  • Source code

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 17:27:24 UTC