iiinova — where your digital self keeps evolving

“You’re the one putting people out of jobs” ..but is _so much work_ we want done. Job loss from productivity improvement frees us up to take care of each other or move on to the next big problem! We as a society have to choose to do that.

011

“What then?” Idk, I continue? If I ever get done automating all of the things (impossible in my lifetime, but), idk, I’ll go be a farmer or run a coffee shop or something. If I cause society that much productivity I won. I did more than enough.

100

“What are you going to do if you automate all of the things?” Work on other stuff, maybe get fired, but I think it looks banger in a CV if I can describe how I made myself unnecessary

100

Erik Funder @weuts.bsky.social · 05/09/2026

I like agents more and more: I can automate so many things. I’ve spent two weeks on some spicy merges, and next time I think agents can do 98% of the work 👌

100

@ersc.io please, I really want to be able to push conflicts such I can move work between machines without having to carry all of .git/.jj

000

Erik Funder @weuts.bsky.social · 20/02/2026

Got nerd sniped by an interview question and did a wildly unsafe but memory efficient solution: play.rust-lang.org?version=stab... Can anyone spot something I missed making `remove_popped` unsound? #rust

play.rust-lang.org

Rust Playground

A browser interface to the Rust compiler to experiment with the language

Metaflame @metaflame.dev · 03/04/2025

Reposted by Erik Funder

committing #rustlang drop crimes yes, `Fib` is a struct here, not a function call Playground: play.rust-lang.org?version=stab...

Screenshot of a Rust code snippet:
fn main() {
for n in 1..=15 {
let mut out = 0;
Fib(&mut out, n);
println!("Fibonacci for n={n}: {out}");
}
}

6374

Erik Funder @weuts.bsky.social · 12/03/2025

I am confused 😅 talking about functional programming here?

Erik Funder @weuts.bsky.social · 10/03/2025

I am looking forward to the recording of this 😊 - 1am CET is sadly not going to work for catching it live 😌

130

Erik Funder @weuts.bsky.social · 24/02/2025

I’m not sure it’s supposed to do that 😂😅 No, but really, I’m impressed, confused and curious about how different terminal emulators are going to handle it 🤔

Erik Funder @weuts.bsky.social · 22/02/2025

Moved to Czechia recently, guess I should try it 😁

Erik Funder @weuts.bsky.social · 20/02/2025

Uff 😮‍💨 faraway wishes for better days ahead 😔

000

Erik Funder @weuts.bsky.social · 18/02/2025

I have never heard this before, but good analogy and good reading. Thanks 😊

000

Erik Funder @weuts.bsky.social · 14/02/2025

Amazon doesn’t really operate where I am, but am trying to avoid buying morally questionable stuff e.g. IKEA furniture and fast fashion

Erik Funder @weuts.bsky.social · 14/02/2025

That should ideally get _better_ with more MIR optimizations and cranelift backend, but yeah..

000

Erik Funder @weuts.bsky.social · 13/02/2025

Thanks for pointing me in the direction, it’s a nice Thursday night activity scrolling through their posts 😊

Erik Funder @weuts.bsky.social · 10/02/2025

Poor turtles, they just want the ✨spicy water✨ 😂

000

Erik Funder @weuts.bsky.social · 13/01/2025

😮 you beat the gambling addiction

Erik Funder @weuts.bsky.social · 25/12/2024

What might I be looking at?

100

Erik Funder @weuts.bsky.social · 20/12/2024

I couldn’t agree more - I find Gos ethos quite perplexing, but this somehow matches my intuition about it 😅

Erik Funder @weuts.bsky.social · 20/12/2024

I would love to pay a few dollars for reading this, but I’m not gonna start a subscription I’ll have to cancel 😮‍💨

Erik Funder @weuts.bsky.social · 09/12/2024

Thank you, I hate it 😅

000

Erik Funder @weuts.bsky.social · 05/12/2024

Is it a MacOS or Zed thing that Zed just correctly picked up on me using ‘mv’ to rename the project folder behind its back?

000

Erik Funder @weuts.bsky.social · 03/12/2024

(Yes, this is a bad regex joke)

Erik Funder @weuts.bsky.social · 01/12/2024

Oh boy I appreciate quick editor startup - thanks @zed.dev

Erik Funder @weuts.bsky.social · 30/11/2024

Yes, thanks, have played with Haskell before, but probably not enough. The rest I don’t think I’ve written at all - this is perfect 😊

And cargo only strips release binaries - ‘cargo build —release’ and there’ll be a binary in the target/release directory

Oh, it’s cargo which does binary stripping automatically - if you run strip on the binary it goes from 3.7MiB to .35MiB. If you want it smaller (enough for small micro controllers) you’ll have to drop the standard library - but that’s suddenly a lot more painful

220

While it is, it is tiny, the problem used to be the standard library being statically linked, but I remember they began stripping the binary automatically, so I’m unsure why you are still seeing big binaries - I’ll be back once I’ve reproduced 😁

120

Which makes you a great Rustacean to follow 😌

030

I will definitely look into that, thanks ❤️

While I haven’t written it much, I’m very familiar 😅. It’s very neat you don’t need more for a Turing complete language, but I think it’s probably a better exercise to use it as a compile target, rather than writing it yourself.. Thanks for the suggestion though 😊

000

Other than not having bothered to debug why their systemd daemon takes until it times out after 1:30 minutes to shut down when I turn off my system I’m mostly avoiding it because I don’t understand it well - I guess I should work on that

Erik Funder @weuts.bsky.social · 28/11/2024

Yes - to be fair to Discord they expect the client to be self updating, but when used together with a package manager it is quite a pain

Erik Funder @weuts.bsky.social · 28/11/2024

The part of the rust compiler which figures out what trait a given method call corresponds to, is flawed and hard to extend. People are working on making a new and better one, allowing new features, and fixing old soundness holes, but it doesn’t work in all situations yet.

160

Fair, then I pity anyone who has pair programmed with you 😁

Yes, it is nice, I like it 😊

Nothing filthy about that - will never hate on someone for writing a particular programming language - just may not be a fan myself 😁😌

031

I don’t know if that can be solved by the intro chapter hinting more to how jjs unifying look at the world is very simplifying, but when going straight to action, I as a reader don’t have much opportunity to realize that for myself

000

Erik Funder @weuts.bsky.social · 21/11/2024

This is great for sending to someone when I have the social capital to “make” them try jj, and/or have already convinced them it is worthwhile, but does very little to argue that jj is worth trying.

100

Uh, that’s a throwback 😅. I remember looking at it when Google still considered making it the second browser language, but both it and I have probably developed enough that I should take a fresh look. Thanks! 😊