Sure if it’s in the Wiki the documentation is not too bad. But just looking for the documention of the lib functions via DuckDuckGo is somehow really hard. And if it’s not in the Wiki or you want the home-manager module, I’ll basically default to first looking at the options on 3rd party websites and then reading the source code for them. (Also the NixOS wiki is obviously not as comprehensive / big as the Arch Wiki)
- 1 Post
- 13 Comments
Paulemeister@feddit.orgto
Programming@programming.dev•Should I teach students who doesn't know computer science C or JavaScript first?
2·20 days agoI’ve studied with (now) engineers and there is large portion of people having a hard time with even the concept of a function. We learned C(++) at the time. I guess being forced to learn about what the hardware does kinda messed with people being able to just think about algorithms. As a first programmig language to just write some basic functions I like Python, but to be honest I don’t understand what’s going really going on behind the scenes either. But C is a really solid choice, as what’s really happening is easy to reason about (at least unoptimized) and every other language will have to abstract these same concepts.
Paulemeister@feddit.orgto
Privacy@lemmy.ml•Sheesh, the US is sure getting scary. Well, it's a good thing it would be impossible to trace Signal to someone via metadata like a phone number, right?
1·24 days agoAh ok now I get what you mean. Hashing for phone numbers is ineffective so it’s a two way lookup. Is the population using Signal small enough that this doesn’t just equate to surveiling everybody?
Paulemeister@feddit.orgto
Privacy@lemmy.ml•Sheesh, the US is sure getting scary. Well, it's a good thing it would be impossible to trace Signal to someone via metadata like a phone number, right?
1·24 days agoThe question is: What privacy do I loose by signing up to Signal with a phone number instead of hypothetically a username.
If you are being monitored, they know your phone number. With that they know you are using Signal, but nothing more. Messaging through Signal is safe.
If you are not being monitored, nobody knows you are using Signal. Messaging through Signal is safe
Paulemeister@feddit.orgto
Privacy@lemmy.ml•Sheesh, the US is sure getting scary. Well, it's a good thing it would be impossible to trace Signal to someone via metadata like a phone number, right?
2·25 days agoI still don’t get it. What is bad about signing up with your phone number? All readable Info that governments can force out of Signal is. “Yep this guy uses Signal, signed up last year” so nothing is lost (except if they use that as a sign you are a terrorist, but then they just wanted to monitor you anyway in the first place)
Paulemeister@feddit.orgto
Fuck AI@lemmy.world•Windows 12 Reportedly Set for Release This Year as a Fully Modular, Subscription-Based, AI-Focused OS
2·1 month agoI think modularity is a great step for windows. The legacy support is killing a streamlining of the platform. If it was truly modular we could easily rip out AI and Edge… If they really go full send on AI in the OS I don’t think that OS could ever be used for businesses. Thinking about an AI windows sitting in a wind park inside of a windmill gathering measuring data frightens me (already rather use Win7 but the security goes out of the window once you need an outside connection)
Paulemeister@feddit.orgto
Technology@lemmy.world•Gentoo Linux Begins Codeberg Migration In Moving Away From GitHub, Avoiding CopilotEnglish
141·2 months agoDude AI companies do not give a fuck about the law. It’s hard to prove a specific piece of data was used to train a model so they put everything in they can. There’s literally a lawsuit about this, where Microsoft and others claim using code on GitHub to train is fair use.
As far as I can tell this lawsuit is about copyright infringement of open source code, but as we where talking about an open source project leaving GitHub because of this, that’s what’s relevant.
I myself would not be surprised if they could not withstand the urge to put more high quality code from enterprise users into their training data, but as they are not suing and we don’t know their code, that’s speculation.
Paulemeister@feddit.orgto
Not The Onion@lemmy.world•Republicans Complain That Cars Have Become Too Safe, Say It Must Be ReversedEnglish
14·4 months agoFrom what I’ve heard the lack of buttons is actually a cost saving measure, if you put in an infotainment system anyway
Paulemeister@feddit.orgto
Privacy@lemmy.ml•Why is it so hard to get friends to leave Discord, WhatsApp, Instagram, and others? Anyone else feel this?
21·7 months agoWould you say that it’s irrelevant that for example Signal is open source and makes an effort to make the code they run on their servers verifyable? Or that the messenger is made by a foundation? I will have to look into the backdoor allegations in the other thread, if true it should be pointed out in the code. I still think that is preferable to a complete black box like WhatsApp or Telegram
Paulemeister@feddit.orgto
Privacy@lemmy.ml•Why is it so hard to get friends to leave Discord, WhatsApp, Instagram, and others? Anyone else feel this?
4·7 months agoWhat are your thoughts on the privacy of telegram? It has always seemed fishy to me (could just be the prevalent usage of it in conspiracy theory communities though)
What I mean is for Headings to appear in a bigger size and so on, basically the difference between obsidian source and view mode. Also Not rendering Latex is a dealbreaker as well
Nice rendering of headings, bullet points, checkboxes, code blocks, images and so on. I know there is something available for vim if you are using a terminal emulator that supports displaying images, but as far as I know besides a language server for markdown helix can’t do that. If there is something I’d like to try it




The first one is fine but it always seems like it shows a huge amount of packages, just not the one I’m looking for, also I don’t find nixos options on there. For that like using mynixos. I really like being able to click on a parent options and see all of it’s children (They also show some home-manager stuff). And the options page for home-manager is a horrible user experience. For that I usually use extranix.com. Thanks though.