Erik Funder's Avatar

Erik Funder

@weuts

Likes compilers and dev tooling Open-source governance curious ๐Ÿ‡ฉ๐Ÿ‡ฐ in ๐Ÿ‡จ๐Ÿ‡ฟ I have opinions.

80
Followers
203
Following
49
Posts
30.07.2024
Joined
Posts Following

Latest posts by Erik Funder @weuts

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

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

20.02.2026 13:51 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Yes - Iโ€™ll now go check

06.05.2025 10:57 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

See you there!

23.04.2025 08:18 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
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}");
    }
}

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}"); } }

committing #rustlang drop crimes
yes, `Fib` is a struct here, not a function call

Playground: play.rust-lang.org?version=stab...

03.04.2025 18:30 ๐Ÿ‘ 37 ๐Ÿ” 4 ๐Ÿ’ฌ 6 ๐Ÿ“Œ 3

I am confused ๐Ÿ˜… talking about functional programming here?

12.03.2025 07:18 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

I am looking forward to the recording of this ๐Ÿ˜Š - 1am CET is sadly not going to work for catching it live ๐Ÿ˜Œ

10.03.2025 16:51 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

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 ๐Ÿค”

24.02.2025 15:10 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Moved to Czechia recently, guess I should try it ๐Ÿ˜

22.02.2025 16:54 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Uff ๐Ÿ˜ฎโ€๐Ÿ’จ faraway wishes for better days ahead ๐Ÿ˜”

20.02.2025 12:50 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

I have never heard this before, but good analogy and good reading. Thanks ๐Ÿ˜Š

18.02.2025 13:21 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

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

14.02.2025 15:58 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

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

14.02.2025 12:07 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Thanks for pointing me in the direction, itโ€™s a nice Thursday night activity scrolling through their posts ๐Ÿ˜Š

13.02.2025 22:36 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

๐Ÿ˜‚

10.02.2025 21:31 ๐Ÿ‘ 5 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Poor turtles, they just want the โœจspicy waterโœจ ๐Ÿ˜‚

10.02.2025 13:50 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

๐Ÿ˜ฎ you beat the gambling addiction

13.01.2025 10:56 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

What might I be looking at?

25.12.2024 00:52 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

I couldnโ€™t agree more - I find Gos ethos quite perplexing, but this somehow matches my intuition about it ๐Ÿ˜…

20.12.2024 21:18 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

I would love to pay a few dollars for reading this, but Iโ€™m not gonna start a subscription Iโ€™ll have to cancel ๐Ÿ˜ฎโ€๐Ÿ’จ

20.12.2024 15:35 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Thank you, I hate it ๐Ÿ˜…

09.12.2024 15:00 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

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?

05.12.2024 12:10 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

(Yes, this is a bad regex joke)

03.12.2024 20:33 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Not ok: #10 #100 #1000 โ€ฆ
Ok: #1 #abawaba #a10 #10a

03.12.2024 20:33 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

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

01.12.2024 17:41 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

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 ๐Ÿ˜Š

30.11.2024 08:07 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

And cargo only strips release binaries - โ€˜cargo build โ€”releaseโ€™ and thereโ€™ll be a binary in the target/release directory

29.11.2024 10:37 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

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

29.11.2024 10:28 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 0

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 ๐Ÿ˜

29.11.2024 09:25 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Which makes you a great Rustacean to follow ๐Ÿ˜Œ

29.11.2024 08:52 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

I will definitely look into that, thanks โค๏ธ

29.11.2024 08:47 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0