garrisonhh

3 ms·

1.
by garrisonhh 3y ago
I think the above commenter is just pointing out how the fundamental conflict between these two things results in significantly lessened incentive for pharmaceutical companies to put money into researching new antibiotics
2.
by garrisonhh 3y ago
As a current researcher in the field I am perpetually annoyed by the overeagerness of AI research to make fantastical claims. Reading and extracting information from papers is a minefield, and we've learned to always at least A/B
3.
by garrisonhh 3y ago
People don't have the time, money, or energy. And they will continue to lose all three until there is no option but to figure out collective organisation
4.
by garrisonhh 3y ago
There is almost nothing written for ubuntu that won't work on arch or really most current distros. When I ran arch I did have to get familiar with assumptions people make due to ubuntu, but this would never be more than patching a conf
5.
by garrisonhh 3y ago
Does type theory fit into whatever definition of semantics you're using? It is certainly reaching some incredible heights of usability with tools like Lean and closer to the mainstream with functional languages like Haskell or compiler
6.
by garrisonhh 3y ago
Yes but no. The actual values represented by the quantized bits don't use a representation akin to IEEE floating point, but they are able to act like floating point values due to mathematical transformations during propagation. The flo
7.
by garrisonhh 3y ago
Personally I prefer the leetcode UI, but I find that AoC challenges are usually grokkable problems where leetcode seems to require you to have a ton of very bespoke data structure and algorithmic knowledge that simply doesn't have a pu
8.
by garrisonhh 3y ago
This kind of post is why I do not understand C++ programmers whatsoever. It's basically a demonstration of the absurd amount of time C++ takes away from you by being the moldy pile of shit that it is. You want better compiler checks an
9.
by garrisonhh 3y ago
You can say that about most general purpose compiled languages. I guess I don't see why I would use D for any particular compiled use case over something like zig or rust? and if I just want to script system tasks I'm going to use
10.
by garrisonhh 3y ago
Regardless, you can easily find the ebook online which Cory Doctorow won't have any problem with
11.
by garrisonhh 3y ago
wow, I really wish I had this course in college. if this is what the cs degree at my university looked like I would never have switched to a humanities degree
12.
by garrisonhh 3y ago
I use NixOS daily as well, I installed home-manager as part of my initial configuration and have basically just ended up using configuration.nix in a git repo for everything anyways since I'm the only user. It feels like a good idea in