Luis 🦔 @lamg_dev

Logic studies and answers *what makes sense* Ideology is religion without God #fsharp 🇩🇪 Building https://t.co/O7YTJI9GtA 🎯🔧🌐 lamg.github.io Joined July 2023

Tweets

4K
Followers

505
Following

1K
Likes

15K

Luis 🦔 @lamg_dev

2 weeks ago

I feel discriminated because "Amo" means master in Spanish and that guy is not my master.

WELT @welt

2 weeks ago

I feel discriminated because "Amo" means master in Spanish and that guy is not my master.

154 5 14 17K 2

Download Image

0 0 0 67 0

Luis 🦔 @lamg_dev

2 weeks ago

Thanks to Fabrizio Conti for making this photo available on @unsplash 🎁 unsplash.com/photos/white-c…

0 0 0 44 0

Luis 🦔 @lamg_dev

2 weeks ago

I did it 🥹 #rocq #coq

0 0 2 108 0

Download Image

Every time I get stuck, I end up learning an important lesson. Here I found out that apply can also go forward in an implication, i.e. with premises: H: x G: x -> y = { apply G in H } H: y G: x -> y #rocq #coq

2 0 6 252 0

Download Image

Luis 🦔 @lamg_dev

3 weeks ago

In the early 90s Cuban farmers stopped using tractors and went back to working the field with animals. Some tractors where used for public transport, but now this combination of a Soviet era bus pulled by animals unlocks the next level.

San 🇨🇺🇺🇸🍕 @SanMemero

3 weeks ago

3 42 176 4K 12

Download Video

0 0 0 89 0

Luis 🦔 @lamg_dev

3 weeks ago

More turbo-hypothesis introduction #rocq #coq

0 0 0 76 0

Download Image

Luis 🦔 @lamg_dev

3 weeks ago

Lovely turbo-hypothesis introduction #coq #rocq

0 0 1 98 0

Download Image

Luis 🦔 @lamg_dev

3 weeks ago

Ex falso quodlibet

0 0 0 42 0

Luis 🦔 @lamg_dev

3 weeks ago

The woke mob are like 21st century brown shirts, but instead of operating in the streets they do white collar intimidation in offices and schools.

DHH @dhh

3 weeks ago

The woke mob are like 21st century brown shirts, but instead of operating in the streets they do white collar intimidation in offices and schools.

20 58 1K 108K 46

0 0 0 146 0

Luis 🦔 @lamg_dev

3 weeks ago

Look, even the French were cool for two weeks in the 80s.

Fauna NATURAL @FaunaNatu

4 months ago

Look, even the French were cool for two weeks in the 80s.

12 160 754 10K 90

Download Video

0 0 0 42 0

Luis 🦔 @lamg_dev

3 weeks ago

Well, the book says this one is a four stars exercise but wasn't so difficult for me. I guess know beforehand the connection between forall and exists, through De Morgan, makes it easier to see.