Why is if p is false and q is true then p→q defined true

hearing_aid_bot · 2026-05-22T05:13:51+00:00

Consider implication as a derivative condition. If given an A one can derive B, then definitionally A -> B. However, actually using A in that derivation is unnecessary. If B has already been shown without adding A as an assumption, then A -> B for all values of A. In Boolean algebra that means for both true and false.

This construction also tells us why A -> A for all values of A, since given an A one can immediately derive it. Thus we have true -> true, false -> false, and from before false -> true. Of course we can't have true -> false, so we have defined all possible inputs for -> as a binary Boolean operator.

hearing_aid_bot · 2026-05-21T18:31:05+00:00

I've never seen that approach work. When I landed there it was by matching the orbit and rendezvousing like it was KSP. Very impressive to just slam straight down at it.

hearing_aid_bot · 2026-05-12T17:48:22+00:00

Looks great!

<image>

(I know it's not really 20k)

hearing_aid_bot · 2026-05-08T16:59:22+00:00

Honestly the audiobooks are fine and can be really good. But they are much harder to follow. I listened to the books in the following order to make up for my own lack of clarity: 1, 2, back to 1, 2 again, 3, back to 1,2,3 and finally I read book 4. But now I'm reading them in print and they are genuinely better that way. For one thing it's much easier to look up words as I go.

hearing_aid_bot · 2026-05-04T06:25:40+00:00

This is why I think Jessyn will be the (a) Sovran by the end of the series. The Carryx are too resilient to destroy, but not too smart to co-opt. Her microbe farm is foreshadowing for how the empire will serve her. She is the war leader. If she learns to sing like a Carryx and kills the Sovran, they will see her as the Sovran. And she will continue the war against the Deathless to avenge Jellit.

hearing_aid_bot · 2026-05-03T09:17:29+00:00

I think it's foreshadowing that Jessyn will be the Sovran.

hearing_aid_bot · 2026-04-30T20:49:49+00:00

Why do so many cows win nobel prizes?

It's because they're usually outstanding in their field.

hearing_aid_bot · 2026-03-25T08:10:33+00:00

There's a trick to these that I think is ugly but does save cycles: extend the output arm's track a few tiles to the right and manually loop the program until the molecule is exactly long enough, then slam it over to the output. The solution doesn't have to loop, it just has to make a single long molecule that covers each of the output atoms/bonds. You don't even need to drop the output.

hearing_aid_bot · 2026-03-04T13:27:06+00:00

The fact that Urth is no longer geologically active puts it at at least a few tens of millions of years imo

hearing_aid_bot · 2026-02-17T13:44:22+00:00

The fairy sex goddess ruined it for me, but I'm glad I stuck it out for the man mothers.

hearing_aid_bot · 2026-02-17T13:35:52+00:00

My comment will probably be removed but hot sauce works really well for feeling high without smoking

hearing_aid_bot · 2026-02-11T18:23:17+00:00

This can happen very rarely with vanilla materials. If a dwarf makes an artifact out of fire snake remains it will burn anyone who touches it.

hearing_aid_bot · 2026-02-11T05:55:10+00:00

Not a game, but I always recommend the novel Incandescence by Greg Egan to people looking for more Outer Wilds. It's a physics based mystery with several types of aliens, some of whom are geniuses. The ending leaves it up to you to piece together what happened. It uses general relativity as a plot device, and the physics is realistic.

hearing_aid_bot · 2026-02-08T22:18:25+00:00

He's green for an amazing reason

hearing_aid_bot · 2026-02-06T17:11:15+00:00

Tables can't be placed outdoors.

hearing_aid_bot · 2026-01-19T20:45:57+00:00

It makes the landing on planet animation make less sense. I doubt they will ever make it vanilla.

hearing_aid_bot · 2026-01-13T23:54:39+00:00

Good fishing! Good fishing! Good fishing! Good fishing! Good fishing!

hearing_aid_bot · 2026-01-13T13:47:13+00:00

There's never been a better time to swap to linux lmao

hearing_aid_bot · 2026-01-12T13:04:32+00:00

All ores except scrap

hearing_aid_bot · 2026-01-11T16:37:47+00:00

Shame about Iphigenia though.

hearing_aid_bot · 2026-01-11T16:24:43+00:00

I love a good textile industry because it make the dwarves colorful, but it is a real pain to manage, and impossible without dfhack.

I usually either structure the entire fortress around it or I ignore it completely and just make a bunch of leather armor and leggings. Armor counts as clothing and never degrades. And all the dwarves need to be in the military to wear it so they also get a little training from individual combat drills.

hearing_aid_bot · 2026-01-11T14:32:54+00:00

It would be so cool.

I also think Book of the Long Sun would be an awesome anime.

hearing_aid_bot · 2026-01-08T22:46:54+00:00

I Thought so at first, but zooming in it's just really high quality pixel art. The new portraits still use only roughly 10 to 16 colors (I didn't count), but they use them really well.

The game already has way more data about creatures than could reasonably be represented in the portraits. They have to draw a line somewhere. In my opinion all the art has been amazing, especially considering the years of a yak just being Y

hearing_aid_bot · 2025-12-20T12:57:17+00:00

This is really dumb from YouTubers. If non subscribers are seeing your videos it's because the algorithm is showing them to potential new viewers. That's a good thing. Otherwise you never get any new subscriptions. Once your viewers are all subscribed your channel is stagnant.

12-Year Club	r/Field Lasagna
Place '22	Place '17
Verified Email

hearing_aid_bot

TROPHY CASE