sshine

28 ms·

481.
by sshine 1y ago
> Isn't auto-grading cheating by the instructors? Certainly not. There's a misconception at play here. Once you have graded a few thousand assignments, you realize that people make the same mistakes. You think "I could d
482.
by sshine 1y ago
> Our school converted a computer lab to a programming lab. Computers in the lab have editors/compilers/interpreters, and whitelist documentation, plus an internal server for grading and submission. No internet access otherwis
483.
by sshine 1y ago
I teach computer science / programming, and I don't know what a good AI policy is. On the one hand, I use AI extensively for my own learning, and it's helping me a lot. On the other hand, it gets work done quickly and poorly.
484.
by sshine 1y ago
Struggle how? There’s an entirely mechanical workflow for calling patchelf when packaging a binary that was compiled dynamically against library paths outside of the Nix store.
485.
by sshine 1y ago
Yes, that’s easy. Here’s a very small example: https://github.com/sshine/nix/blob/main/shared/home-manager.... My servers don’t have that many dotfiles because most server software can be configured
486.
by sshine 1y ago
Reinventing the wheel is the real deal.
487.
by sshine 1y ago
It’s not that those language features are hard to understand. They’re all syntactic and don’t bring a ton of theory with them. It’s just that the tower of understanding for basic programs is very tall, and the tendency to introduce abstract
488.
by sshine 1y ago
Yes, : is pronounced cons.
489.
by sshine 1y ago
Yeah. I also refused to solve a part of the task because it would lead to bad password policy. Instead I property-tested the generator.
490.
by sshine 1y ago
Discord downloads stuff every single time I start it. So there is definitely not a policy to remove this behaviour. And yes, good point, this was indeed discussed when devbox enabled AI training by default. It somehow seems like there is mo
491.
by sshine 1y ago
I live-coded Haskell a couple of times at job interviews for non-Haskell positions where you were free to choose. It’s fun because the interviewer often doesn’t grok the paradigm. In one case, I was asked to make a password generator, and I
492.
by sshine 1y ago
This policy is missing from nixpkgs, although there is a similar policy for the build process for technical reasons. So I can add spotify or signal-desktop to NixOS via nixpkgs, and they won’t succeed at updating themselves. But they might
493.
by sshine 1y ago
Both sentiments exist in Europe at the same time. When I moved in where I live one year ago, there was one other Tesla parked in the area. Now there’s 5 more. And yes, Musk is the (negative) talking point in waiting rooms.
494.
by sshine 1y ago
After writing a lot of Nix in the last year, it has opened me to possibly switch to Scheme. I’ve always been a strong static type guy since 1st year of university, and yes, it ties to perfectionism and even a sense of OCD: if I model the wo
495.
by sshine 1y ago
Sounds like fun considering how real the problem is.
496.
by sshine 1y ago
> There will be a niche industry of 'hand made' media with real acting and writing from human brains, but it will be expensive, a mark of conspicuous consumption and class differentiation. This addresses one axis of developme
497.
by sshine 1y ago
Because, as the article states, > The analogy [between asymptotic growth and company economic growth] breaks down when you force or imply something numerically specific about your growth rate, or introduce functions with different growt
498.
by sshine 1y ago
Since O(n^2) is used as a proxy for “something superlinear, but don’t get hung up on how much”, you might also choose O(n^(1+ε)), an upper bound characterised by some arbitrarily superlinear function.
499.
by sshine 1y ago
Are you saying that the presence of a result/ symlink means the sources are kept, and if I remove the result/ symlink, it gets gc’ed?
500.
by sshine 1y ago
As noted in another sub-thread, translations are indeed works of art. As evidence, my mom has received royalties for her translations for decades, both from sales and from library lending. And she could sue for copyright infringement if som
501.
by sshine 1y ago
It’s great that you have sympathy for illustrators, but I don’t see a big difference if the training data is a novel, a picture, a song, a piece of code, or even a piece of legal text. As my mom retired from being a translator, she went fro
502.
by sshine 1y ago
Even running containers is a Nix adventure in NixOS. Who needs docker-build when you have pkgs.dockerTools? Who needs docker-run when you have config.containers? Wait, you can also use nixos-container CLI, or embed your container in a syste
503.
by sshine 1y ago
Heck, if you give mice all of our DNA, they’ll become exactly like us!
504.
by sshine 1y ago
I've been wondering about that too. I guess our system's nixpkgs moves forward while the nixpkgs in our project flake.nix stays the same. So eventually the nixpkgs of the project is garbage collected, because it isn't pinned
505.
by sshine 1y ago
It has been my daily driver for coding, gaming and writing for 14 months now. I have also been using Linux since the late 1990s, and I really value the 100s of hours I've poured into NixOS to make my machines work the same between rein
506.
by sshine 1y ago
Well, is it a hot dog? Those are two different questions.
507.
by sshine 1y ago
Yes, those are different experiences. But assuming you're experienced with Rust, porting something is actually both easy and enjoyable. Porting something as your first Rust project is going to end up like a dirty hybrid. It's an e
508.
by sshine 1y ago
It works best if you upload pictures of food. Somehow a roast works less good when the roaster doesn’t even notice it’s not food in the picture.
509.
by sshine 1y ago
Back then, programmers had to care about performance. The field of programming was less accessible, so the average skills to reach the barrier to entry were higher. So people were, on average, better programmers. The commercial incentives o
510.
by sshine 1y ago
> Normally a bug tracker would basically be a SQL application. When you move it into a Git repo you lose that and now you have to think about how to represent all that relational data in your repository. It gets annoying. > just no

More ›