Details
-
AboutInterested in operating system and compiler research among other things
-
SkillsShell, UNIX tools, Git, C, Go, Hare, Tcl, JS, Haskell
-
LocationParis
-
Github
Joined devRant on 1/1/2017
Join devRant
Do all the things like
++ or -- rants, post your own rants, comment on others' rants and build your customized dev avatar
Sign Up
Pipeless API
From the creators of devRant, Pipeless lets you power real-time personalized recommendations and activity feeds using a simple API
Learn More
-
Void installer bottom text (I do use Void though lol)
-
@We3D It is, a friend of mine uses it, it's hilarious
-
Haskell, hands down (and in fact I'd recommend Learn You a Haskell for Great Good in particular)
-
@kiki indeed lmao
Git is imho quite over-engineered nevertheless but yeah -
I don't even vaguely pretend to be a Git expert, but rebasing is useful and opens many more doors to using other Git tools, and this guide helped me a lot in figuring it out: https://git-rebase.io/
-
Just a quick reminder that Sourcehut exists, on the topic of decentralization and how GitHub unfortunately destroyed that aspect of Git: https://sourcehut.org/
-
I used LaTeX for a while (not only for my resume) until I switched to Troff recently and I much prefer it overall, check out Gavin Freeborn's examples and videos for an introduction: https://github.com/gavinok https://youtube.com/playlist/...
-
Me interested
-
Go and Haskell, in terms of interesting and useful languages at least
-
@NoMad I never had issues with Google Docs in Firefox in the past 2 years or so, but there were issues before
-
@NoMad For casting I feel you although I might recommend Mkchromecast: https://mkchromecast.com/
For document sharing, what do you mean? 😅 -
@NoMad IIRC they did that some time ago since supposedly third-party browsers based on Chromium allowed usage of Chrome Sync which wasn't supposed to be the case for anything but Chrome itself, and there was a version of Chrome for Linux for a while already, but hey, I'm very slowly migrating away from Google services anyway and use Firefox currently (despite its own issues, for the moment I at least want something usable that isn't based on the Chromium engine)
-
@NoMad Depends, some specific hardware is a pain in the ass but should be fine tbh
-
@heyjoe1984 *sweats in ReactOS and arguably even WINE somewhat*
-
@NoMad It has improved immensely since then, I use it for several games for instance (admittedly this is more Proton than WINE but still)
-
@NickyBones Funny you mention Dell since they usually have actually very good Linux hardware support, for instance I'm very happy with my Dell XPS 13, but indeed usually those on institutional contracts aren't as good
-
@NickyBones *points to Pop!_OS again since Ubuntu-based and therefore supports everything Ubuntu does while not doing the occasional weird shit Ubuntu does, plus hardware support*
-
@NickyBones Also understandable 😅 in my view Pop!_OS is great especially if you have Nvidia graphics cards since they have dedicated images and support for that, so you just burn the Nvidia image and install it and you should be fine, but for the long term, I would nevertheless recommend screwing around with a minimalist distro in a VM or even just perusing the Arch Wiki to solve some issues you might have (yes, it's so good that it works for other distros frequently), an all too neglected part of open OSes like Linux and BSD nowadays (in my view at least) is the learning experience and understanding at least a bit more how your system works, which is actually really helpful
-
@NickyBones Understandable 🤣😅 I never used System76 hardware, I hear it's good but yeah, I was more talking about general hardware support from various laptops I've installed Pop!_OS on, but for more knowledgable people in my view it is more than worth it to take the time to install (and learn about) a minimalistic distro on their personal machine such as Arch, Void, Gentoo, or Alpine, depending on taste since you'll get a system that *really* suits *you*; personally I am very happy with Void for a bit now after a stint with Arch for a bit since Void offers (imho) better packaging and dependency resolution with XBPS (I hear pacman improved now, but hey), and it uses runit which I happen to much prefer to systemd for service management, and generally Void errs a tiny bit more on the side of stability than Arch especially relative to the AUR at least for my taste (even though the AUR is amazing and Arch was generally stable enough for me for personal usage), so yeah 😅
-
I was never impressed with Ubuntu's hardware support nor with any Debian-based distro (including Debian itself) tbh, but I've had better luck with Pop!_OS in terms of hardware support if you wanna stick to that branch of distros
-
@NickyBones I am aware of the university tuition problem (even though it isn't really applicable where I live) and I will also do what I can to fix that social issue, but at least for me it seems like indeed if I can get a professorship, I have more agency to try and fix education in my field than were I in school, even though that isn't out of the question at some point as well
-
That's actually my plan as well, I want to be a CS professor but I am hopefully specializing in OS research more specifically; happy to see I'm not the only one with this plan 😅
-
@NickyBones Probably, no clue then if you didn't opt out 😅
-
I'm wondering if opting out of targeted ads could be the reason
-
@C0D4 I never used it yet, only follow conversations about it on the mailing lists sometimes, but I was indeed also impressed by that feature, since it seems that indeed they're not destroyed immediately and you can take a look at what fucked up, which is quite cool
-
GitLab is great indeed, I switched in fact right after GitHub's acquisition (still keep GitHub student benefits though of course); on the other hand lately I find that I'm liking Sourcehut (https://sourcehut.org) much better since it is more minimalistic/lightweight, respects more traditional Git standards, is really flexible (at least to me it seems much easier to self-host for instance), and has zero corporate interests which at least as far as I understand GitLab still has a bit of unfortunately...
-
@sbiewald @Midnight-shcode ok, thanks for the clarification concerning UAC guys 😅 sorry about that
-
@sbiewald Hmmm, I see, I had no clue about that, thanks for the clarification; I honestly just saw a demonstration with a rubber ducky some time ago doing exactly that and was a bit taken aback 😅 so I thought it might be vulnerable to more than just a rubber ducky
-
@sbiewald Indeed, I was more referring to the fact that hitting yes can be automated with a program without knowing the user's password, and asking to confirm a user's password like in the case of sudo, well, can't
-
(3/3, sorry 😅)
From what I've seen, but if someone more knowledgeable than me on this topic could confirm or correct me here that'd be great, Windows also does still appear to be a security nightmare, partially due to design choices (only simple yes/no by default with UAC? Seriously?), partially the fact that it's proprietary, and partially due to the fact that Microsoft has to support a ridiculous amount of backwards compatibility, mostly for old hacky enterprise programs. Also, a system with less programs running is indeed usually taking up less resources, but I have consistently noticed performance improvements for *general use* when people switched from Windows to Linux on their computers.
To summarize, sorry for the long posts: shell and coreutils, package manager, resource-friendliness, security, in fact in my view make Linux stay much more out of your way than Windows or macOS, if you're willing to get used to it, in which case you will really reap the rewards.