i-use-nixos-btw

18 ms·

151.
by i-use-nixos-btw 4y ago
That isn’t theoretical computer science. In this day and age, that’s firmly in the hands of engineers. And while AI might be the current big thing, I don’t imagine it will be at the forefront of engineering. I think quantum computing takes
152.
by i-use-nixos-btw 4y ago
Palindromes are hard and place severe limitations on what can be written. So the skill is impressive - but it doesn’t change the fact that the end result is absolutely naff. It’s just equally naff in two directions.
153.
by i-use-nixos-btw 4y ago
That would be what I’d care about the most. Smaller file size, but not an order of magnitude difference? Meh. Easier for the browser to process? Well that’s going to have a tonne of useful ramifications. Honestly that’s what annoys me about
154.
by i-use-nixos-btw 4y ago
NGL when learning Noether’s theorem I thought Emmy was short for something like Emiliano. It wasn’t until long afterwards that I found out that she was a she, and the struggles she had along the way because of that. At the time I wouldn’t h
155.
by i-use-nixos-btw 4y ago
As a completely uneducated guess, I’d argue more cameras of decent quality, and more of them with motion detection etc. There’s certainly a case for the more cameras argument, though it doesn’t apply to this specific event: almost every UK
156.
by i-use-nixos-btw 4y ago
No guarantees, but the chances are different. Say you’ve been working somewhere for 5 years and have the opportunity to move to a company - and you know both companies are laying people off at some point soon. In your current company, maint
157.
by i-use-nixos-btw 4y ago
9 would be far too high IMHO. If you’re laying people off, say it straight and with a backbone. The language is passive, weak and makes it sound like a mere consequence of a slight breeze upon a dainty leaf causing it to gently fall from a
158.
by i-use-nixos-btw 4y ago
A language model cannot, by itself, figure that out, at least not to arbitrary complex inputs. But it’s a fairly sweeping statement to say that AI cannot do it.
159.
by i-use-nixos-btw 4y ago
Oh no, you’ve started something now.
160.
by i-use-nixos-btw 4y ago
tl;dr - mindfulness, connect with loved ones, and the usual stuff. Never found it particularly helpful. For me - comedy. My job is relatively high stress and this impacts my sleep significantly. In low-stress times I listen to an audiobook
161.
by i-use-nixos-btw 4y ago
See, this is the difference between a productive engineer and a purist. You are a productive engineer. You see a fast library that needs a different encoding, so your first thought is to add a transcoding step and make a 2x gain in a short
162.
by i-use-nixos-btw 4y ago
This was very informative. I’ve been using Nix far longer than Julia and I have endured many battles with mkDerivation, never thinking to go one step deeper. I knew that it was a wrapper over a builtin derivation, but I never realised just
163.
by i-use-nixos-btw 4y ago
Syntactically, I find cppfront gorgeous . However, I’d like to have seen more emphasis on safety by design, rather than safety by excluding things. I think it’s definitely easier to get it in at this stage of cppfront’s development than it
164.
by i-use-nixos-btw 4y ago
Exactly! And yet Rust gets a reputation of safety: the boundary between safe and unsafe is formal, and that opens up huge possibilities for metrics, compliance, and targeted testing. That’s what I’d shoot for.
165.
by i-use-nixos-btw 4y ago
Any successor to C++ will necessarily need to be built around safety from day one. Carbon did not do that - it merely hopes to put safety in at a later stage. So no, I don’t think Carbon will replace C++. I will be very surprised if a C++ s
166.
by i-use-nixos-btw 4y ago
Close to the metal doesn’t mean “I can create an operation that I could do in assembly, and it compiles to that assembly”. It doesn’t necessarily mean “fast”, either. If that were the case all compiled and optimised native languages would c
167.
by i-use-nixos-btw 4y ago
I’m no rustacean, but I agree - for vastly different reasons, though. A type having similar algebraic properties to a set of assembly instructions isn’t what being close to the metal is about. It isn’t a thought experiment or learning exper
168.
by i-use-nixos-btw 4y ago
Well, that’s Baldrick’s cunning plan out of the window then.
169.
by i-use-nixos-btw 4y ago
I recall reading -somewhere - about a similar problem in psychology journals. The problem there is worse, in terms of correctness, because the journals don’t publish negative results, including when the negative results disprove a previou
170.
by i-use-nixos-btw 4y ago
Ah, point taken. I’m new here so I didn’t realise that was done to death. On the philosophy point - there is a great deal of use in philosophy within computer science and any other field I can think of. But categorising things for the sake
171.
by i-use-nixos-btw 4y ago
With regards to the title, the age of advertising as it is today is likely going to have to change. Some of the largest companies in the world have advertising as their main revenue, and this is a growing trend. Another growing trend is use
172.
by i-use-nixos-btw 4y ago
I’m going to presume that downvoters aren’t perceiving the page as complete nonsense. Which concerns me greatly. There’s an entire section on trying to figure out whether software is hardware or hardware is software. They’re words - simplif
173.
by i-use-nixos-btw 4y ago
I currently use OpenSCAD for hobby projects. I’m very much a beginner at it, having used it for about 2 weeks, but so far it has been a very shallow learning curve. In terms of an ecosystem it’s quite good, but the language frustrates me. I
174.
by i-use-nixos-btw 4y ago
Clippy [2001] claims that the philosophy of computer science is “it looks like you’re writing nonsense, would you like help with that?”. Bing [2023] counteracts that with “It is not nonsense, it is 2022. You have been a bad Clippy, I have b