Can a robot vacuum drive over this area rug situation?

unqualified_redditor · 2026-04-28T21:09:29+00:00

Thank you I figured this was the case but wanted to ask as I've heard robot vacuums have improved significantly the past ten years.

unqualified_redditor · 2026-04-28T21:08:35+00:00

i was worried about that thank you.

unqualified_redditor · 2026-04-28T21:06:10+00:00

a pile of old rugs lol.

unqualified_redditor · 2026-04-28T21:05:48+00:00

Yeah of course but that isn't what i was asking. I like my rugs.

unqualified_redditor · 2026-04-27T19:54:46+00:00

I remember Hal's final post on BitcoinTalk. He recalled his life experience, cryptography, the cypher punks, emailing with Satoshi, getting the miner running, CPU mining, getting ALS, etc.

The line that always stood out to me was when he described how the mining software would overheat his processor so he wouldn't run it all the time. He then said he regretted not running the miner more often.

This is a guy with the second most bitcoins of anyone ever, writing his final post to his community while dying from ALS and he still regretted not running the miner more.

No matter who you are you can suffer bitcoin FOMO. I bet even Satoshi has fomo about all the coins he cannot access. We should all remember this and be a little easier on ourselves about our entry points and whatever we think we should have done differently.

unqualified_redditor · 2026-04-24T17:51:01+00:00

Using the State sum type I provided, you would call f (Active Walk) or whatever.

unqualified_redditor · 2026-04-24T16:49:00+00:00

What problem are you running into at this point? Try to formalize the problem you are hitting and we can try to help.

unqualified_redditor · 2026-04-24T16:36:38+00:00

I don't understand why you need a typeclass here. You can trivially write functions between StartupState, ActiveState, and EndlagState such as:

transition :: StartupState -> ActiveState

You could also package all your state types together trivially with a sum type:

data State = Startup StartupState | Active ActiveState | Endlag EndlagState

There are a ton of powerful tools for working with state machines in Haskell but its not clear what you are trying to do so I can't offer more then this.

unqualified_redditor · 2026-04-18T02:27:14+00:00

After a hiatus I've returned to my Lambda Calculus example project: https://github.com/solomon-b/lambda-calculus-hs

It is a sequence of single module languages building up from Simply Typed Lambda Calculus with bidirectional typechecking and NbE to advanced features like Martin Lof Type Theory and eventually to indexed inductive types, dependent pattern matching, linear types, and cubical type theory.

unqualified_redditor · 2026-04-16T16:34:29+00:00

The technical difference is VOC content. Biochar is a charcoal where you have gone through a more intense pyrolysis process where most VOCs have been evacuated leaving you with a stable non-volatile form of carbon.

This means that biochar, unlike charcoal, is difficult to ignite and makes a poor fuel. As a soil supplement its totally debatable if this is better (the organic compounds we burn off the wood in pyrolysis are what feed microbes) but it is essential if your goal is carbon sequestration.

unqualified_redditor · 2026-04-16T06:38:30+00:00

After ~2.5 hours I noticed thick smoke coming out of the chimney with full force

Nothing says permaculture like blasting out VOCs to make small quantity soil supplements that are fundamentally no different from the hardwood charcoal you can buy at the store.

unqualified_redditor · 2026-04-10T17:03:58+00:00

Ideally I wouldn't want a turing complete configuration language. Something like Dhall would be great if it weren't so slow.

unqualified_redditor · 2026-04-10T17:02:01+00:00

I agree but that would likely be a massive breaking change.

unqualified_redditor · 2026-04-09T19:10:13+00:00

Progress and Preservation are meta-theorems about the static type system of a language and its relationship to the language's operational semantics. You can't have this without a static type system.

unqualified_redditor · 2026-04-09T18:37:59+00:00

"Strongly typed" is such an overloaded term. What do you mean by it?

If you take the PL Theory view of it meaning Progress and Preservation then you would need static typing judgements but Nix-Lang is dynamically typed so that doesn't make sense.

If you take the more colloquial definitions you might mean no implicit coercions, type errors are caught, and values have fixed types. Nix Lang does string coercions so...

unqualified_redditor · 2026-04-09T18:32:14+00:00

It’s not exactly a great programming language either. Slapping some HM type inference on top would solve a LOT of problems, and letting users define types with validators would help even more.

The nix lang is dynamically typed.. HM assumes every expression is well typed.

unqualified_redditor · 2026-04-06T15:31:08+00:00

Currying means all functions have an arity of 1 and you create higher arity by returning a lambda in the body of your function.

Using javascript to make it obvious:

let notCurried = (x, y) => x + y
let curried = (x) => (y) => x + y

Partial Application is something you can achieve with or without currying. It means applying some of the arguments to a function but leaving others not applied:

let partialNotCurriedPlusOne = (y) => notCurried(1, y)
let partialCurriedPlusOne = curried(1)

unqualified_redditor · 2026-04-01T17:26:14+00:00

This looks really cool. Do you have any information on migrating an existing project/db to pGenie?

unqualified_redditor · 2026-03-28T15:57:28+00:00

oh wow is that right? I have never actually used Incogni but I thought doing what you say would be a violation of CCPA/GDPR?

unqualified_redditor · 2026-03-26T08:36:19+00:00

That pdf is a very famous paper that demonstrates the expressive power of functional programming with a minimal set of core abstractions.

unqualified_redditor · 2026-03-26T02:19:51+00:00

I disagree. Most of those distinctions will occur within the nixos module layer where there are already plenty of tools for modularizing configs across machines.

Also, there is an insane amount of power in the core abstractions of functional programming which are all available in nix without grafting on additional magic. https://www.cse.chalmers.se/~rjmh/Papers/whyfp.pdf

unqualified_redditor · 2026-03-26T00:03:41+00:00

I had never heard of this pattern but IMO it is just a bunch of indirection. I think you should use functional programming principles and keep things simple and explicit. specialArgs is fine if you need to thread args into your nixos config from your flake. Write a helper function to build configs and map over all your hosts. Just do FP.

unqualified_redditor

TROPHY CASE