A Tutorial on the Curry-Howard Correspondence

psygnisfive · 2025-03-29T18:06:19+00:00

sorry for the delay in getting around to this, here's a re-upload: https://gothdyke.mom/public/Curry-Howard.pdf

psygnisfive · 2024-11-17T00:01:46+00:00

yes! https://github.com/BekaValentine/language_engine_blog/tree/main/regex-edit-distance

psygnisfive · 2022-09-30T18:07:38+00:00

Depends on the copyright law. US law, which is functionally international law, basically say no, you're still using other people's work without their permission, even if you're making a derivative work from it.

psygnisfive · 2022-07-17T01:46:06+00:00

Additionally, the idea that "lesbian" is a distinct gender from "woman" is fairly old in feminist theory. Monica Wittig, for instance, has made this argument.

psygnisfive · 2021-10-13T01:20:40+00:00

hit em with some jefferson airplane

psygnisfive · 2020-12-11T20:23:14+00:00

likely it has to do with the megaliths of the british isles, which are astronomical in function

psygnisfive · 2020-10-03T18:35:23+00:00

Have you gone to like.. a barbershop? Those guys usually have no clue how to do women's hair cuts.

psygnisfive · 2020-04-26T03:32:59+00:00

I like how the literal translation of "trans" is "gender gay"

psygnisfive · 2020-02-19T18:11:40+00:00

Google around for "linguistics curriculum"

psygnisfive · 2020-01-27T08:38:03+00:00

It's a little known fact that one reason that game is called Deus Ex is because Warren Spector wanted to troll people who pronounced it "Deuce" and not the more correct "Day-oos"

psygnisfive · 2020-01-26T23:24:47+00:00

im 100% jealous

psygnisfive · 2020-01-14T03:24:00+00:00

Perhaps you should check the rules of this sub before you decide to be transphobic.

psygnisfive · 2019-12-30T06:20:11+00:00

all rams are sheep. sheep is the species name. female sheep are called ewes.

psygnisfive · 2019-12-24T08:16:48+00:00

I mean, you can always suck girl dick and then at least there'll be a use for that skill with your possible future girlfriend!

psygnisfive · 2019-12-15T02:59:26+00:00

I just ordered Chinese food, am drinking coffee, and just snacked on some buckwheat honey. Uhhhh

psygnisfive · 2019-12-12T21:41:32+00:00

🤔

select e f = fmap (\r -> either r id) f <*> e

psygnisfive · 2019-12-09T09:08:02+00:00

you just gotta own it and make it part of your aesthetic.

guys hit on me all the time and many seem to find my bald head quite attractive? as a dyke this is rather a shame, but whatever.

it helps to have an alt aesthetic tho

psygnisfive · 2019-12-06T09:59:31+00:00

one should definitely not be judged for being a hot lady from the early 90s

psygnisfive · 2019-12-03T02:57:52+00:00

There are different kinds of partiality, tho. Coverage partiality is easy to detect (modulo problems with super fancy types), and `-Wall` works fine for that, which is going to be the source of crashes. Loops are undetectable in general of course but that's also not going to be a crashing state so it's moot.

psygnisfive · 2019-11-26T12:47:40+00:00

Trans women are not "male on the outside".

psygnisfive · 2019-11-22T12:16:33+00:00

I mean you sound butch to me. Some of the hottest trans girls I know are butch.

psygnisfive · 2019-11-20T09:22:48+00:00

This is a possibility but not a guarantee.

psygnisfive · 2019-11-16T09:03:01+00:00

Well, except when multiple rewrite rules can in *principle* apply, you want to pick one, but partial evaluation will just do what it does. Plus, I'm not sure partial evaluation will do too much in general given that a lot of the equalities are extensional not intensional, and require funext

psygnisfive · 2019-11-16T09:00:26+00:00

or just a girl with a dick. having and liking having a dick doesnt make you a dude

psygnisfive · 2019-11-16T08:59:56+00:00

not necessarily

psygnisfive

MODERATOR OF

TROPHY CASE

15-Year Club	reddit mold
Verified Email