sullyj3

7 ms·

1.
by sullyj3 1y ago
Functions can be polymorphic in their effectfulness, so the coloring problem isn't. Functions only become incompatible where you've made them incompatible on purpose - the whole point of annotating functions' effectfulness is
2.
by sullyj3 2y ago
Can you elaborate or point to resources?
3.
by sullyj3 2y ago
That only shows that word prediction isn't necessary, not that it's insufficient
4.
by sullyj3 2y ago
It could be a tmux alternative if the session persistence is the only feature of tmux you care about, and you don't like the rest of it.
5.
by sullyj3 2y ago
Learning a new language is basically trivial relative to the effort of bootstrapping everything yourself to compensate for a lacking ecosystem, or the effort of banging your head against the fundamental unsuitability of a tool for a job. An
6.
by sullyj3 2y ago
Which is which and why?
7.
by sullyj3 3y ago
Whenever you're asking for an explanation this deep in the ontology stack, you need to think about what kind of explanation would be satisfying to you, and whether you can reasonably expect intuitive answers in domains that lie far out
8.
by sullyj3 3y ago
Why not just make a separate leaderboard for autonomous AI solvers which are an interesting problem in their own right?
9.
by sullyj3 3y ago
> I feel like right-to-left requires you to think to the end of a line before you start typing anything at all Maybe this will make people tend to shorter lines, counterbalancing the natural tendency towards incomprehensibility of array
10.
by sullyj3 3y ago
The fact that you embed the entire program in the URL is a hilarious demonstration of its brevity
11.
by sullyj3 3y ago
well, nfnl transpiles it for you
12.
by sullyj3 3y ago
It's a runtime check. The following fennel: (fn add-1 [x] (+ x 1)) (lambda add-2 [x] (+ x 2)) transpiles to the following lua: local function add_1(x) return (x + 1) end local function add_2(x) _
13.
by sullyj3 3y ago
For that you'd use Applicative (*) <$> [1..10] <*> [2,3,5] -- or liftA2 (*) [1..10] [2,3,5] Admittedly also not accessible to non-haskellers. But on the other hand, if you're going to learn a language, you o
14.
by sullyj3 3y ago
Pretty straightforward case of the curse of knowledge ( https://en.wikipedia.org/wiki/Curse_of_knowledge ), in my opinion.
15.
by sullyj3 3y ago
Possibly you were using "algebraic data types" as a general stand in for fancy type system stuff, but algebraic data types are actually one of the least fancy haskell features. They're much more straightforward than the name
16.
by sullyj3 3y ago
Yeah, I'd much rather just install with pacman than manage them manually though.
17.
by sullyj3 3y ago
I empathise with this uncertainty. As I understand it, flakes aren't incompatible with the previous way of doing things. Rather they represent an additional feature which can be used on top of them. For example if you have a shell.nix
18.
by sullyj3 3y ago
> A 'flake' is more/less a set of inputs and a set of outputs. I'd say it's less complicated than a package.json file in an NPM project. It's conceptually comparably complicated, but the actual practical exp
19.
by sullyj3 3y ago
I'm running home-manager on arch and it's fantastic. I'm only using it for cli/tui programs, as I've had trouble getting gui software to correctly create desktop entries which show up in my menus. You can use it alo
20.
by sullyj3 3y ago
I see your point, but relative capability levels aren't the only relevant factor here, absolute capabilities matter as well. It seems plausible to me that even if we are to the AI as cats are to us, we've reached an absolute thres
21.
by sullyj3 3y ago
Does lean have an analogue to hoogle?
22.
by sullyj3 3y ago
Yeah, this concerns me. If someone believes they can upper bound LLM capabilities, I think the onus is on them to explain where and why scaling laws break down. Regardless, it seems like we'll get to AGI relatively soon (say, within a
23.
by sullyj3 3y ago
Unilateral terrorism seems like a great way to get the rest of the planet to unite against you, which is why he advocates for data-center bombing only in circumstances where earth has already coordinated to establish an international order
24.
by sullyj3 3y ago
I'm sure he agrees the chance is remote, which is why he's so afraid. He's articulating what would be required, he literally uses the word "miracle" in the article.
25.
by sullyj3 4y ago
I find the implicit assumption a bit funny that the only reason OP might be asking this is for career reasons rather than say, curiosity, the joy of learning, love of knowledge for its own sake.
26.
by sullyj3 4y ago
Wait til you hear about how fiat works.
27.
by sullyj3 4y ago
It's worth noting that `map` is variadic and acts as an nary `zipWith`. I didn't realize that for a while. >>> from operator import `add` >>> list(map(add, range(5), range(10, 15))) [10, 12, 14, 16,
28.
by sullyj3 4y ago
> I’ve lead teams > I’ve never heard someone criticize me I wonder if there could perhaps be some causal link here. People in positions of power often suffer from atrophy of their instinct for social acceptability, because people are
29.
In Defense of Linked Lists(rfleury.com)
3 points by sullyj3 4y ago|0 comments
30.
by sullyj3 4y ago
> a neuron can fire at like 1Hz and modern CPUs operate in the GHz range. This comparison doesn't make much sense - computers have a very small number of cores, let's say 10, and brains have 86 billion neurons. 86 billion thing

More ›