Viewing profile — sullyj3

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 po…

Can you elaborate or point to resources?

That only shows that word prediction isn't necessary, not that it's insufficient

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.

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 a…

Which is which and why?

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 reasonab…

Why not just make a separate leaderboard for autonomous AI solvers which are an interesting problem in their own right?

> 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 t…

The fact that you embed the entire program in the URL is a hilarious demonstration of its brevity

well, nfnl transpiles it for you

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 func…

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 lear…

Pretty straightforward case of the curse of knowledge ( https://en.wikipedia.org/wiki/Curse_of_knowledge ), in my opinion.

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. The…

Yeah, I'd much rather just install with pacman than manage them manually though.

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 us…

> 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, b…

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…

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 …

Does lean have an analogue to hoogle?

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 seem…

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 …