i-use-nixos-btw

13 ms·

91.
by i-use-nixos-btw 3y ago
It would be unsettling for a software engineer to have little knowledge of the fundamentals. But software engineers aren't the only people using python. I work with data scientists - with degrees in data engineering from computer scien
92.
by i-use-nixos-btw 3y ago
There is no good measure for policy making. Goodhart and all that. But it does serve as an often-indirect measure, as part of a plethora of other measures, to simply explore the effects of policy. I’m not aware of policy that focuses on imp
93.
by i-use-nixos-btw 3y ago
> Why should you care if the caller uses the return value or not? Nodiscard is a way of “enforcing” a contract with the user about how your code needs to be used in order to avoid undefined behaviour. (I say “enforcing” in quotes because
94.
by i-use-nixos-btw 3y ago
The thing is, the way I’ve always learned things is by doing. See a problem, and learn different angles to see that problem, different methods to approach it, play around with it some more, and keep probing it until it makes sense through i
95.
by i-use-nixos-btw 3y ago
> I’m sorry but what do you expect Introductions to be introductions. > How did you manage to get a PhD in theory then? Certainly not by being a walking glossary. If that was involved, I’d not have done it. Same way that everyone does
96.
by i-use-nixos-btw 3y ago
> This is where singular homology really shines: You prove that simplicial homology is isomorphic to singular homology and don't have to worry about that ever again. Also functoriality only works if you have maps which preserve the
97.
by i-use-nixos-btw 3y ago
I’m saying this level is perfect. I am not a practicing physicist, but I have a PhD in the theory side of condensed matter from many years ago - mostly focused on numerical simulations. What is difficult is that most introductions to this t
98.
by i-use-nixos-btw 3y ago
Very few. I think I’m actually the target audience. I come from a physics academic background - with a focus on quantum computing on the physics side - and what I’ve seen so far (I’m about a third the way through) feels like it’s pitched at
99.
by i-use-nixos-btw 3y ago
This was a delightful read. Two contrasting points of view coming together without a flame war. For a second I had to double check that I was on the internet. Me, I don’t know where I stand. I think if it eliminated CSAM, terrorism and othe
100.
by i-use-nixos-btw 3y ago
I hadn’t heard of Kanboard, but it’s always a good sign when a FOSS project shared on here already has an associated Nix package! https://search.nixos.org/packages?channel=22.11&from=0&size=... I look forward to try
101.
by i-use-nixos-btw 3y ago
Anyone with any insight as to why this topic is suddenly in the limelight in so many places at the same time? I find it remarkable that, even though the UK government is desperate to demonstrate any form of tangible benefit to Brexit, and t
102.
by i-use-nixos-btw 3y ago
Common sense doesn’t dictate that. Ideology does. For every argument for it, there’s an argument against it - the disagreement between the two sides of it is rarely on the facts, but on the weight one holds on various things. And that’s whe
103.
by i-use-nixos-btw 3y ago
> Are public safety and a functioning society something to oppose? To some, that seems to be the case. Most of the replies I read misunderstood the wording. But some took a clear ideological stance against providing services to the polic
104.
by i-use-nixos-btw 3y ago
> analyst941 had such a source, and was able to reveal numerous details about iOS 17. That includes a promise of significant changes to the Control Center, the detail that Apple Maps Lock Screen directions could get a new look, a new gri
105.
by i-use-nixos-btw 3y ago
Looks like it to me. Imagine putting in all that effort only to miss the deadline by TWO DAYS.
106.
by i-use-nixos-btw 3y ago
I find the nix language beautiful. The vast majority of the issues I have faced have been down to nixpkgs. Of course, nixpkgs is an incredible project, but it lacks direction, uses bad practices everywhere, and pretty much all of the flaws
107.
by i-use-nixos-btw 3y ago
I think it does. See, if a comment like that crops up on a civilised society like this, it demonstrates that the barren wastelands of “the outside world” will have similar examples.
108.
by i-use-nixos-btw 3y ago
The reply made it clear that the problem is with the email landscape, not the protocol: > you're entirely dependent on how the other servers run by the recipients view you. A protocol can be bulletproof. But spammers will spam, bloc
109.
by i-use-nixos-btw 3y ago
Nobody said it does. The clarification of it detracting from email the standard is yours. It nonetheless demonstrates how Pareto allows popular providers to make decisions that negatively impact those who want to exercise the freedom grante
110.
by i-use-nixos-btw 3y ago
They’ve changed meaning, but companies do that all the time - especially under new leadership. Twitter has a huge user base and huge financial problems. If the plan is to FINALLY leverage the former to solve the latter then good on them. Tu
111.
by i-use-nixos-btw 3y ago
Nice idea. Not sure it’s fully ready yet, and I have a few suggestions. One, you need more content to explain the concept to the user. A table and an input box is not sufficient. Sure, I could mess around and figure it out, but for all I kn
112.
by i-use-nixos-btw 3y ago
I want this to make sense - so if anyone can point out where I’m wrong I’d appreciate it. According to Copenhagen, an observation is an action that changes the state, which Bob is unable to because that would imply that information escaped
113.
by i-use-nixos-btw 3y ago
I’m wondering what PDDL is for, in practical terms. Planning, yes, but that’s a verb that casts a very wide net. When might one write PDDL? Be it specific tasks, or industries it is used in - the examples I’ve found online all have a roboti
114.
by i-use-nixos-btw 3y ago
I have a love-hate relationship with Brave search. I love the browser, but the first thing I do (after disabling the crypto stuff) is change the search to Google. I’m tempted to change it to ChatGPT. For searching every day things, brave se
115.
by i-use-nixos-btw 3y ago
> maple/octave/mathematica/python I’m no mathematician, but I’d be very surprised if the overlap these tools have with mathematical research is very large.
116.
by i-use-nixos-btw 3y ago
Who could possibly have thought that it was a good idea? It makes absolutely no sense.
117.
by i-use-nixos-btw 3y ago
A general rule of thumb is that if it’s a theory of consciousness, take it with a pinch of salt. Unless it includes the word “quantum”, in which case take it with a truckload of salt, preferably intravenously.
118.
by i-use-nixos-btw 3y ago
Honest question - is bonding over the nationality of ancestors really that big a deal in the US? It seems to be a solid theme in this. It just strikes me as odd that a nation with such a patriotic mentality define themselves as Welsh, Irish
119.
by i-use-nixos-btw 3y ago
I was in the field briefly, but long enough to realise that graphene is a solution looking for a problem. At least for a while, the approach was a blind search - with huge funding available to anyone claiming to be researching graphene appl
120.
by i-use-nixos-btw 4y ago
Strongly agree on the philosophy - but alas my experience with this specific case has not been great. I’ve seen it simplify patches of code here and there, and that does apply to the trivial examples given in the post this topic links to -

More ›