rutrum @ rutrum @lm.paradisus.day

Posts

20

Comments

196

Joined

2 yr. ago

Thanks for sharing this codec wiki. Looks like an incredible project.

Futhark is another language with the same goals, executed differently.

I like the motivation of the problem: use mathematical rigor to guaruntee something that is complex and certainty is a requirement, like crypotcurrency, is valid.

Its pronounced "coke" I believe. Its named after the french mathematician Thierry Coquand. Apparently coq is also a name for rooster. According to wikipedia, computer science in France frequently names things after animals? Idk dont we all?

You could always dip your toe into a tiling window manager instead of a desktop environment. Its got an initial learning curve, and it helps to have something to do to learn it, and not just playtesting it.

I needed to write in fields of a pdf and ran this quickly only to find out there wasnt such a feature. If I missed something let me know, it looks like great software.

I think a bigger concern is if someone managed to access bitwarden on a logged in instance. Think, leaving your laptop open, or someone steals it from you. If theres two apps for logging then both apps need to be accessible/compromised.

Do you self host or are you running a nextcloud-managed instance?

Sometimes the app just shows a barcode that they scan. I always screenshotted the barcode and deleted the app. Better yet, save the barcode in catima https://catima.app/

First wow character. Not sure how I came up with it. I knew I wanted it in "two parts" so I could name all my wow characters the same way: rutrum, vinrum, seprum...and many others Im sure. Havent logged into world of warcraft in many many years.

Wow, I never considered swap. I've had this problem with my laptop for the last year. I'll fix this, thank you.

Are these complaints about the free tier? I can see how they might start witholding options for that. Removing the delete option doesn't seem right.

I've never thought of mixing something into the grounds. I've tried adding things like nutmeg/cinnamon into coffee never getting good results (gritty!). I'll have to try this technique.

I think Bulletproof coffee goes a step further and adds some kind of oil as well. I've seen it made with coconut oil and butter. I've never blended it either. When I add butter, a lot of it floats on the top, which adds some changing flavors as you drink off the top.

Not as out of the ordinary: butter. I prefer grass fed cow's butter.

Where do you learn the skills to work on your car?Do you recommendations on first projects to tackle? I'd love the experience and to save the trouble of finding a mechanic I trust.

Can a frequent Kdenlive user comment on the speed performance of this update? The marketing makes it sound incredible, plus the Qt6 update.

Im not familiar with screenwriting. Can you elaborate on whats involved and whats expected in a tool for scripting?

Open source to some extend, but their whole thing about these emojis is that they are 3d and animated. But the repo only contains png renders if the 3d models. So you arent able to modify or animate the 3d models directly.

Imo they released enough to call it "open source" and get good PR from it without actually giving the raw source files to the community (their competitors). I was not pleased with this when they announced it 2 years ago. Its still the same.

One of the problems with Yuzu (to nintendo) was that it contained the encryption keys pulled off nintendo switches. By removing commit history you actually can permanently remove this part of the code. There might be a more clever way to do this. Thats my best guess.