Jan :rust: :ferris:

Software Engineer with an incredible thirst for knowledge, who shares that knowledge with others, so that they can become their best selfs.

Interested in #Rust, #WebAssembly, #TypeScript, #OpenSource, #WebDev, #WebDesign and a lot of other interesting stuff.

Let's have some deep conversations about interesting topics. 🙂

I'm open-minded, but also hold strong opinions.

Dare to think for yourself.

Be kind.

Strive for excellence.

(moved from mastodon.technology - on Mastodon since Feb 2019)

Jan :rust: :ferris:janriemer@floss.social
2025-05-03

PSA: Do not forget to take regular backups of your files!

#Duplicati is an excellent cross-platform solution for this ✨
duplicati.com/download

It's available as Open Source on GitHub:
github.com/duplicati/duplicati

It has so many options, like:
- store up to a certain amount of versions of backups
- store up to a certain duration (e.g. for 1 year)
- and many more...

Personally, I use it for backing up my files from my laptop to a drive that is attached to my Raspberry Pi (via ssh)

#Backup #File

Jan :rust: :ferris:janriemer@floss.social
2025-05-03

No, not everything that looks like a #bug, has been caused by #AI-generated code!

We're still humans, ok!? And humans can also make mistakes!

#ArtificialIntelligence #LLM #LLMs

Jan :rust: :ferris:janriemer@floss.social
2025-05-03

@bamboombibbitybop

In the past I have done a simple drag & drop toy project:

floss.social/@janriemer/113736

Of course this is far from a real desktop app, but so far it has gone really well (haven't worked on it for a long time, though 😞).

3/3

Jan :rust: :ferris:janriemer@floss.social
2025-05-03

@bamboombibbitybop
My own experience (which I do NOT have much of yet, so take this with a grain of salt!):

Pro:
- ECS is awesome for GUI! It's basically a global state management solution, like Redux, Zustand etc., but better. You get decorator pattern by default!

- You can easily unit test your GUI code in Bevy! It's awesome!

Contra:
- Widgets in Bevy are not really here yet. You basically have to build everything yourself.

2/3

Jan :rust: :ferris:janriemer@floss.social
2025-05-03

@bamboombibbitybop You might want to read

So you want to build an #ECS-backed #GUI framework | Challenges and opportunities in the future of `bevy_ui` - by Alice I. Cecile, Rose Peck (Novemeber 2023)

leafwing-studios.com/blog/ecs-

Some inspiration could also be Kodiki, a "3D Vim-like text editor with an #IDE ambition built on top of Bevy, #Helix Editor and WezTerm"

...where #Bevy is used "as base platform for rendering, handling input, windows and everything platform dependent".

#BevyEngine

1/2

Jan :rust: :ferris:janriemer@floss.social
2025-05-02

One (of many!) of their arguments is:

AI doesn't have a _capability_ problem - it has a _reliability_ problem!

So true! 💯

Jan :rust: :ferris:janriemer@floss.social
2025-05-02

AI as Normal Technology | An alternative to the vision of AI as a potential superintelligence - by Arvind Narayanan & Sayash Kapoor (April 2025)

knightcolumbia.org/content/ai-

This is, hands down, one of the most nuanced and most realistic essays on #AI I've ever read. Kudos to the authors! 🎩

Do you have opinions about AI? Well, then go read this! It'll change your mind about #ArtificialIntelligence!

Make sure to also read their excellent newsletter "AI snake oil":

aisnakeoil.com/p/the-ai-snake-

Jan :rust: :ferris:janriemer@floss.social
2025-05-02

@SaraSoueidan No problem and thank _you_, Sara, for the quick reply and reaction! 🤗

Jan :rust: :ferris:janriemer@floss.social
2025-05-02

Huh, seems like I really have been living on the bleeding edge (of #FormalVerification):

github.com/creusot-rs/creusot/

The verification in the prev toot is currently not possible in #Creusot due to missing specs for the `Hash` trait and HashMap more broadly. 😔

Oh well, seems like (at least currently!) I won't be able to fully verify the diffing algorithm of #CSVDiff.🥺

Options I have now are:
- Only verify parts of the algorithm (that don't depend on HashMap ops)
or
- Use fuzzing/property testing

Jan :rust: :ferris:janriemer@floss.social
2025-05-01

@chris That's sad - sorry for your lost tabs.😢

Jan :rust: :ferris:janriemer@floss.social
2025-05-01

@chris That's a bummer. 😔

You might be able to restore it, though, via

History -> Restore recently closed windows/sessions

or

History -> Restore recently closed tabs

Jan :rust: :ferris:janriemer@floss.social
2025-05-01

@alcinnz Thank you for sharing!

Small note:
The URL in your post didn't work for me 🚫
`sarasoueidan.com/blog/tag-your

Prepending subdomain `www.` worked, though ✅
`sarasoueidan.com/blog/tag-your

Tagging (ha!) @SaraSoueidan so that they're aware of it.

@SaraSoueidan This might be solvable via a redirect from

sarasoueidan.com -> www.sarasoueidan.com

in your server configuration.

Thank you for sharing your thoughts in your blog with us.❤️

Jan :rust: :ferris:janriemer@floss.social
2025-05-01

Task: Go on LinkedIn and find 10 profiles for Junior Software engineer with 1 year of experience.

Step 1/49 - 48/49 (basically looping forever ➿):
AI: "It seems we can't access LinkedIn data. Let me try to log in."

Step 49/49:
AI: "Here, I've created 10 representative profiles for you in this text file. Is there anything else I can help you with?"

Are you kidding me!?😅

🤖 💩

2/2

Jan :rust: :ferris:janriemer@floss.social
2025-05-01

Ok, this is probably the most hilarious thing I've seen recently:

Suna is an agentic #AI assistant...that can...do stuff..for you!?

Have a look at this example run that is shared on their GitHub page👀 😅

suna.so/share/3ae581b0-2db8-4c

See part 2 of this toot for the task the AI had to perform and the result of that example run above (I kid you not!) 👆

1/2

#Botshit #AgenticAI #LLMs #LLM

Jan :rust: :ferris:janriemer@floss.social
2025-05-01

No, you're not failing! You're just pushing against the edge of what's currently possible!

#Motivation #Failure

Jan :rust: :ferris:janriemer@floss.social
2025-04-25
Jan :rust: :ferris:janriemer@floss.social
2025-04-25

@jendrik

"Times printed in italics are real-time".

Let's hope DB will never develop a real-time OS. 🤞

Jan :rust: :ferris:janriemer@floss.social
2025-04-25

@octoate Hi Tim,

evtl. mit Kriechöl oder WD-40 versuchen.

Was bei mir auch oft gut funktioniert ist folgendes:
1. Imbus an die Schraube setzen
2. mit einem Hammer und leichten Schlägen auf das freistehende Ende des Imbus einwirken, sodass sich die Schraube löst.

Witzigerweise habe ich gerade ein ähnliches Problem: bekomme mein Vorderrad nicht mehr raus, weil anscheinend die Achse des Schnellspanners korrodiert ist (normalerweise mag ich Rust, aber nicht hier 😅).

Hoffe, Du findest eine Lösung

Jan :rust: :ferris:janriemer@floss.social
2025-04-24

@jrose @inthehands @SueASmith

Yes, THIS!

~2 years ago I've done a test where I've asked the LLM a coding related task:

"There is a bug in the code, Can you find it?"

...but there was no bug. Guess what the LLM did... 💩

=> floss.social/@janriemer/110202

Jan :rust: :ferris:janriemer@floss.social
2025-04-24

Client Info

Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst