I was told something similar by a physician. Do your sleep routine, and then try to sleep for about 30 minutes. If it doesn't happen, get up, use the time, and try again after an hour.
bss03
joined 2 years ago
Actually, unless we want to adopt and propagate the Eq constraint, we can't normalize in embed. Maybe it would be worth it to have a normal proof.
Which functions would you want to see?
-- https://byorgey.github.io/blog/posts/2024/07/18/River.html
Since it's a (uniformly) recursive data type, I want to see the underlying functor
data RiverF x r = CF !x | ConsF !x !r deriving Functor
projection and embedding functions:
project :: River a -> RiverF a (River a)
project = \case
C x -> CF x
Cons x r -> ConsF x r
embed :: RiverF a (River a) -> River a
embed = \case
CF x -> C x
ConsF x r -> x ::= r -- Choosing to normalize, here.
And then generalized fold / unfold:
fold :: (RiverF a r -> r) -> River a -> r
fold alg = f
where f = alg . fmap f . project
unfold :: (s -> RiverF a s) -> s -> River a
unfold coalg = u
where u = embed . fmap u . coalg
Note that since we chose a normalizing embed, the result of an unfold is also always normalized.
I would also not be opposed to a alternate definition that took a proof of normality for the Cons, but I know that would take some higher-rank types, at least.
ghciwatch (https://mercury.com/blog/announcing-ghciwatch) sounds cool. I've been using HLS and ghcid for work.
State governments, which represent the people, vote.
I have been in meetings which people who thought the fact that a user could use a different font, even only intentionally, was "unacceptable".
I hope those people aren't directing the ship at YT, but could be.
Hmm. That's a long commitment for something I can't try out. Still, yeah, if it can restore any "youth" I might lose during that seven years, I'd experiment. Lots of changes I'd be curious to experience.
Chameleon Linux: Changing Stripes Edition
A Distribution Named SUE
When given the option, read the instructions, and save for future reference. (A URL / bookmark doesn't count as saving unless you control the hostname (including DNS).)
Consistency. They don't want to be at the whim of your font (which for many users will be the OS default). While it's not frequent, sometimes Apple (iOS) or Microsoft (Edge) will have a very different interpretation of a Unicode emoji, which makes the UX of comments containing those emoji inconsistent between YT users.
If you do have to do it, you can hit 1234 or any other 4 digits after the 911 and you will still be connected to emergency services.
Source: accidentally called 911 when trying to make an international call and not understanding when the phone system needed the 9 prefix (only for internal extensions).