m4lvin

8 ms·

1.
by m4lvin 2mo ago
really, epub without conversion? Which kindle can do thay?
2.
by m4lvin 3mo ago
How about these? - rate limit overall messages, maybe even percentage wise: if some ip sent more than 70% of all messages in the last minute, mute it. - let other users mark/report spam and if three others agree something is spam, bloc
3.
by m4lvin 4mo ago
Expected Lean 4, the programming language and proof assistant, but got the management philosophy ;-)
4.
by m4lvin 4mo ago
As Wikipedia says, "some official plugins proprietary". So "can be" is doing a lot of work in that sentence. I would at most compare it to saying that VS Code is open-source.
5.
by m4lvin 5mo ago
Okay, but how do I use this as a replacement when the mic is not working on Linux?
6.
by m4lvin 2y ago
I think one reason for the web interface is that the device stays usable. If it would export a block device then it would need to unmount the file system on itself or at least block changes. If I remember correctly in the old days before MT
7.
by m4lvin 2y ago
The trick is that the human only needs to read and understand the Lean statement of a theorem and agree that it (with all involved definitions) indeed represents the original mathematical statement, but not the proof . Because that the p
8.
by m4lvin 2y ago
pass is the best. If your phone is android, I'd recommend https://passwordstore.app/ plus syncthing :-)
9.
by m4lvin 2y ago
Thanks for making me look up rerere which I first thought would be a typo but actually seems like a really useful thing :-) https://git-scm.com/book/en/v2/Git-Tools-Rerere
10.
by m4lvin 2y ago
For anyone looking for a free alternative that works without google play services: https://f-droid.org/packages/de.nulide.findmydevice/
11.
by m4lvin 3y ago
No, but many ereaders at least provide a pin code lock which the rm2 does not.
12.
by m4lvin 3y ago
Once more I an happy to use the ESR version of Firefox where stuff like this tends to only land much later. Add on top of that the Debian patches and default settings and it's a fine user-agent again :-) Edit: oops, looks like 115 is t
13.
by m4lvin 3y ago
They also wrote Wheesp but it should be Weesp.
14.
by m4lvin 3y ago
Good point, but I think the feature that I can paste any fediverse URL into the search field on my own mastodon instance and view it there, solves around 40% of the problem. There are also already browser extensions which automatically redi
15.
by m4lvin 3y ago
Nice example, which opened a small rabbit hole for me: what does "first occurrence wins" mean for options that are meant to be used multiple times, such as "Port" in sshd_config. The man page only says "Multiple opt
16.
by m4lvin 3y ago
Come to Debian, tomorrow is the perfect day in fact :-)
17.
by m4lvin 3y ago
I think PureOS includes GUFW by default. Does that count or do you mean something else by application firewall?
18.
by m4lvin 3y ago
Okay, but where is the comparison list for Manjaro? ;-)
19.
by m4lvin 3y ago
The pro1x from fxtec with lineageos plus termux is useful :-)
20.
by m4lvin 3y ago
Cool, thank you!
21.
by m4lvin 3y ago
Fun analogy, but I think a better match would be that Thunderbird immediately says that it is an email program. From my first look I had no idea whether this is an app to connect to Nostr or a completely separate and iOS only network.
22.
by m4lvin 3y ago
Can you explain why nostr is (apparently?) your favorite over scuttlebutt? Are the protocols similar? https://scuttlebutt.nz/
23.
by m4lvin 3y ago
How does damus relate to nostr? Your landing page does not explain this at all. Is this because already the concepts of (distinguishing) client and network would be considered too technical for your target audience?
24.
by m4lvin 3y ago
This also solves remote-support problems for me! Afaik there is no VNC Server / TeamViewer / AnyDesk / etc (server!) for Android, but telling someone to plug their phone into some computer I can control is easy enough :-)
25.
by m4lvin 3y ago
Might as well jump to Nextcloud then :-)
26.
by m4lvin 3y ago
Do you have some explicit examples?
27.
by m4lvin 3y ago
But exactly this example got fixed! I maintained "inofficial" debian packages for quite some time, but since Debian bullseye came out `sudo apt install nextcloud-desktop` just works :-)
28.
by m4lvin 3y ago
Beautiful! Thank you for sharing :-) (Just saw that you quoted the n+1 rule in the preface, hehe.)
29.
by m4lvin 3y ago
If I look at the first animation from the right angle and play with the slider then I can see countersteering.
30.
by m4lvin 3y ago
Palestine too. The changelog of tzdata is a fun read: https://metadata.ftp-master.debian.org/changelogs//main/t/tz...

More ›