tkz1312

8 ms·

61.
by tkz1312 2y ago
Most rust nerds just like ADTs and don’t really want manual memory management.
62.
by tkz1312 2y ago
Looks very cool. Seems to have a very similar feature set to nixos, curious how they compare?
63.
by tkz1312 2y ago
My point is more that many rust programmers like rust because it’s an ML not because of the borrow checker. Most cli apps / web services are probably better off with a high performance managed runtime (go & swift are good examples
64.
by tkz1312 2y ago
roc is the language most rust nerds really want but don’t realise yet. functional, modern tooling, fast enough for almost everything (~ go / swift), and without the insane complexity and cognitive overhead of the borrow checker. So exc
65.
by tkz1312 2y ago
having the raw power of nix/nixos hidden behind a normie friendly UI layer has insane potential. It basically eliminates any potential for horrible dependency conflicts and gives users an undo button for all but the deepest (i.e. bootl
66.
by tkz1312 2y ago
nixos is unmatched as a server OS, and a lifestyle choice as a desktop distro
67.
SnowflakeOS: Beginner friendly and GUI focused NixOS variant(snowflakeos.org)
215 points by tkz1312 2y ago|166 comments
68.
by tkz1312 2y ago
These amounts are hilariously low. $150k for a full gmail account takeover is peanuts compared to the potential impact, and the $4k for PII leak on nest.com is frankly just insulting.
69.
by tkz1312 2y ago
There is a thriving “grey” market for vulnerabilities, where brokers buy vulns and sell them on to e.g. intelligence agencies. This is well established and unlikely to cause much legal difficulty for the bug finder.
70.
by tkz1312 2y ago
Haskell really shines when you want to write high level, declarative code. Performance when using this style is generally fine for CLI / web backend style stuff. It has the tools to write pretty fast low level code, but they’re fairly
71.
by tkz1312 2y ago
> If Netflix doesn't work in the browser users aren't going to lean back in their chairs and think fondly of the freedom fighter jchw that protected them from working against their own interests, they are going to open Edge and
72.
by tkz1312 2y ago
If you restrict your language to pure functions only, then it is quite possible to have a system be both declarative and reproducible while having more expressivity than yaml.
73.
by tkz1312 2y ago
The original NFT
74.
by tkz1312 2y ago
Looks awesome! Congrats on the release. I would be curious to hear your thoughts on how this compares to garn [1], a typescript front end to the existing nixpkgs ecosystem. 1: https://garn.io/
75.
by tkz1312 2y ago
What do you think nixos is missing in this area?
76.
by tkz1312 2y ago
SMT solvers use a decision procedure known as CDCL(T). This uses a SAT solver at the core, which operates only on the core propositional structure of the input formula, and dispatches higher level constructs (e.g. functions, arrays, arithme
77.
by tkz1312 2y ago
klee is a similar tool that operates on llvm bytecode: http://klee-se.org/
78.
by tkz1312 2y ago
Very interesting, thanks for the clarification. What is the difference between algebraic effects and rocs approach?
79.
by tkz1312 2y ago
Roc has algebraic effects instead of Monads for effect tracking. The two systems are exactly as expressive as each other [1]. Algebraic effects compose better than Monads, and are probably more beginner friendly. Imo Monadic code can be a l
80.
by tkz1312 2y ago
Roc is looking very promising IMO
81.
by tkz1312 3y ago
You can remove the entirety of the guix package set (26468) from the non-unique part of nixpkgs (71875) and it would still be the largest non-unique package set (second largest non-unique is AUR at 37900).
82.
by tkz1312 3y ago
or garn ( https://garn.io/ ) which is a typescript interface to nix.
83.
by tkz1312 3y ago
I don’t follow. Non-unique packages is a metric that explicitly only includes packages that are present across multiple distros?
84.
by tkz1312 3y ago
The metric you are looking for is the non-unique one on repology which counts only packages that are available on multiple distros. This is in fact the category where nixpkgs has the largest lead. I think nixpkgs is probably so much larger
85.
by tkz1312 3y ago
That’s true to an extent. It’s possible to define nix packages in impure languages, but those languages are still compiling down to package definitions (.drv files) that are purely declarative and are executed in an environment that forbids
86.
by tkz1312 3y ago
nix is so powerful precisely because it takes a pure functional approach. You don’t get that level of reproducibility if you allow side effects.
87.
by tkz1312 3y ago
nixpkgs is (and has been for many years) the largest and most up to date package set by a very large margin. source: https://repology.org/
88.
by tkz1312 3y ago
https://radicle.xyz/
89.
by tkz1312 3y ago
nixpkgs is (and has been for many years now) by far the largest and most up to date package collection of any linux distribution (including the air). ref: https://repology.org/
90.
by tkz1312 3y ago
they might if cliff notes starting copy pasting parts of the source into their articles and passing it off as original writing though :)

More ›