Cassilda

joined 3 years ago
[–] Cassilda@lemmygrad.ml 5 points 2 years ago

Getting real "Love is the plan the plan is death" vibes from these sickos.

[–] Cassilda@lemmygrad.ml 2 points 2 years ago (2 children)

Hell, I don’t think there’s a pure-functional runtime that fits into any of the kit I work on, not to mention the runtime plus an actual application. I’m willing to be corrected, though: if there’s a functional language out there that will let me write non-trivial applications that fit in 256KB code space and 48KB dynamic data space, I’m eager to hear about it!

Depends what you mean by pure-functional. If you mean an ML-family language with lazy evaluation and explicit sequencing of side effects, then probably not. But there are certainly lisps suitable for those constraints. uLisp runs on Arduino Nano microcontrollers with 32 Kbytes of program memory and 2 Kbytes of RAM. lllm is a lispy DSL for writing assembly language.

[–] Cassilda@lemmygrad.ml 4 points 2 years ago

I think you're right.

ExplanationEach robot only knows their own state, but they've been asked only about both. So no robot can say "yes". If a robot needs a new battery, it must say "maybe", because it knows one or more robots needs a new battery. But if it doesn't need a new battery, it must say "no", because it is confident that it's not both that need new batteries.

I found the second robot's answer helpful in understanding the situation, but it's logically not needed to answer the question.

[–] Cassilda@lemmygrad.ml 2 points 2 years ago

Westoids coping and seething.

[–] Cassilda@lemmygrad.ml 1 points 2 years ago

I'm sure this is fine and will not result in the collapse of terrestrial food webs.

[–] Cassilda@lemmygrad.ml 1 points 2 years ago

It was a real accusation, but purely speculative with no evidence, and almost certainly false.

[–] Cassilda@lemmygrad.ml 1 points 2 years ago

Ah, I didn't know about that, actually.

[–] Cassilda@lemmygrad.ml 3 points 2 years ago (2 children)

Better than anal beads, anyway, and doesn't require a coconspirator.

[–] Cassilda@lemmygrad.ml 2 points 2 years ago (2 children)

There are wlroots bindings for Common Lisp. I've been considering a stumpwm rewrite using them, but it's probably too big a project for me to take on in my copious free time.

[–] Cassilda@lemmygrad.ml 2 points 2 years ago (2 children)

uBlock works fine in the browser; if you want to take it a step further, use an invidious instance or FreeTube (on desktop). NewPipe is best choice on phones, SmartTubeNext is the best choice on TVs. There is a NewPipe fork with SponsorBlock, but I don't know how actively it is kept up to date with upstream.

[–] Cassilda@lemmygrad.ml 1 points 2 years ago

I also really like the idea of structure-aware diffs, but like traditional unified diffs so much better than that side-by-side TUI. Not to mention the need to work with tools like magit.

view more: next ›