sullyj3

9 ms·

31.
by sullyj3 4y ago
A priori one would not expect humans to be near the physical limit of what's possible, purely based on the characteristics of the process that created us Natural selection is - random - blind - gradient descent is prone to getting stuc
32.
by sullyj3 4y ago
Fair point.
33.
by sullyj3 4y ago
Consulting Wikipedia's "first appeared" field for each: D: 8 December 2001; 20 years ago Go: November 10, 2009; 12 years ago Rust: July 7, 2010; 12 years ago TypeScript: 1 October 2012; 10 years ago Zig: 8 February 2016; 6 ye
34.
by sullyj3 4y ago
The problem is that whenever you want to do a quick tweak, you have to do a `home-manager switch`, which can take a good 15 seconds or so. It's not the end of the world, but it's a very annoying bit of friction. It's particul
35.
by sullyj3 4y ago
Oni was presumably dead in the water as soon as they switched from Neovim to vim, as the initial backers would have been primarily composed of neovim enthusiasts
36.
by sullyj3 4y ago
Right, but Neovim does in fact have LSP support. That part is done, that's not a blocker for the It Just Works experience. It's that the editor currently doesn't come with the relevant configuration (in vimscript or lua).
37.
by sullyj3 4y ago
The belief that an airtight definition is required in order for a concept to be meaningful is just philosophically confused. That isn't how concepts work. Conceptual boundaries are always fuzzy, with confusing edge cases and ambiguitie
38.
by sullyj3 4y ago
It's true that the documentation situation is pretty rough. However, The problem with this is that common usage of Nix is in kind of a bizarre state at the moment. We're in this limbo between the old `nix- ` style commands and the
39.
by sullyj3 4y ago
I feel like the point of the article isn't so much "how do I solve this specific issue" as "this is the general state of JS packaging", and the solution you present doesn't work in the general case of larger, l
40.
by sullyj3 4y ago
As usual, the headline is more sensationalised than the actual article > It's likely that with a harder version of the Turing Test, in which real and fake images of the same content are presented side by side and people are told tha
41.
by sullyj3 4y ago
I often use Ctrl-C to abandon a command I'm typing and get a new prompt.
42.
by sullyj3 4y ago
I just don't think this is a problem in practice. Sure, some people advocate spending all your charitable dollars on X-risk, but I think most people find a happy medium of spreading their giving between the different causes they think
43.
by sullyj3 4y ago
I think it's telling that the people most critical of AI alignment as cause for concern so rarely engage substantively with the very reasonable case for taking it seriously.
44.
by sullyj3 4y ago
I very much hope it doesn't EA has done a great job bringing attention and resources to causes that are clear wins - it's just obvious that global poverty interventions like Against Malaria and GiveDirectly are highly beneficial.
45.
by sullyj3 4y ago
Well, they solve some problems.
46.
by sullyj3 4y ago
This is a good illustration of a binary epistemology vs a continuous one. > It's always impossible to tell, for any given sequence, whether it was produced by a fair die. Something like "you can't make any determination, b
47.
by sullyj3 5y ago
Here's an example of an extended language model operating in a real world environment: https://www.youtube.com/watch?v=ysFav0b472w
48.
by sullyj3 5y ago
Tweag is also working on a gradually typed language called Nickel as an alternative, although it's not ready yet. https://www.tweag.io/blog/2020-10-22-nickel-open-sourcing/
49.
by sullyj3 5y ago
Asdf seems cool, My issue with it is that it seems to be wedded to the paradigm of having a single compiler/interpreter version active at a time for the entire system. I would rather use tools that allows project specific compiler&#x2F
50.
by sullyj3 5y ago
Sorry but the notion that the docs are fine is laughable. Most nix functions don't even have doc comments. You have to figure them out by delving into examples in the depths of github. Nix is in dire need of a culture of providing docu
51.
by sullyj3 5y ago
Redox too
52.
by sullyj3 5y ago
For sure, which means it's the designer's responsibility to do due diligence in making certain they do understand it. Kickstarting such a process is not an ethically responsible thing to do, unless they are sure it and its future
53.
by sullyj3 5y ago
The significant disanalogy is the amount of control parents have over their child's character compared to a programmer. Parents can pretty much do their best to raise a child, but the child may still end up screwed up. I wouldn't
54.
by sullyj3 5y ago
That stuff is an issue, but it's nothing compared to positive effects arising from an increased ability for people to communicate and coordinate in actual oppressive states
55.
by sullyj3 5y ago
Does Kotlin have the equivalent of GeneralizedNewTypeDeriving or whatever is required to make math operators work without boilerplate?
56.
by sullyj3 5y ago
This is always comprehensible in excel because state changes only ever come about as a result of a user changing a value in a cell. In the general case where there are a bunch of different asynchronous sources of change, this could become p
57.
by sullyj3 5y ago
Right, there should be the ability to use either structural or nominal as appropriate.
58.
by sullyj3 5y ago
If that were Haskell instead of python, it would still work, because tmp is never mutated. So it's not really state in that sense, it's just a binding. x input = show tmp where tmp = input * 5 It would be a differen
59.
by sullyj3 5y ago
Yeah, I definitely wouldn't want to argue against having type inference at all . I agree that you don't want to annotate every single local definition (although I'd probably lean towards annotating more often than most). I&#
60.
by sullyj3 5y ago
A closer analogue is probably do-notation, which comprehensions are syntactic sugar for. Comprehensions can be terser for simple expressions, but for anything longer, do notation is generally more readable.

More ›