RSS - private
GNUkko Sauvage (eris-ng) 
@eris@p.enes.lv
latvian, in their 25s, monogam, straight, he/him lesbian, ace-spec, slut. anarcho-monarchist. A theymab transtrender. I speak lv/en/ru but can pretend to understand other languages sometimes.
admin of this instance, don't ask for an invite unless you're a frien :3
the sadistic playful puppy you’ve been warned about.
Ionizing particles, true Ukkos, fake Erises, and Disqordians DNI
Minors: please consult with your parent(s)/guardian before following and/or interacting; and please do not interact with lewd and/or sexual content unless you are of the age of majority
Current PFP is Senjougahara Hitagi and Hanekawa Tsubasa, specifically by https://x.com/mani_ma/status/1973769856714760502
Previous PFP is Suzy, secret Undertale character only mentioned
Previous² PFP is Senjougahara Hitagi, specifically by https://www.tumblr.com/manimarough/785249534734417921
Previous³ PFP was dead Marsey
Previous⁴ PFP was A.B.A. from Guilty Gear Strive
Previous⁵ PFP was some image 40 sent me
Previous⁶ PFP was https://www.kotobukiya.co.jp/en/product/detail/p4934054034673/
Previous⁷ PFP was https://www.furaffinity.net/view/47773488/
eriscon is not happening
[GIF of Walter White saying "I won"]
Alt...
2 messages from eris "I knew you did it", and "You win 😅"
![[?]](https://cdn.yourwalls.today/2b9b73cf45d71015ac5c318de6223a7881c0c5e826bcb1feda75e6544c425665.PNG)
![[?]](https://netzsphaere.xyz/media/7f6380b3f802f1fc2976ccadafa6938d5af22e34fc485eb5044157fc35f69ddb.png)
![[?]](https://media.worm.pink/media/6de71c9bd79f20b43bee1e42b26e5a0fb9e5443dd9e1a2a5d9335a7fd901163d.png)
![[?]](https://media.shitposter.world/shitposter.club/450fd9a53baf1b8f8d301fba5ab968dbede7e38595fe73ec1bcb1279fa421627.blob?name=blob)
![[?]](https://cdn.yourwalls.today/media/237abaa23b1969b3fcdb28170b3cf91495a19b20317c7db2fcf5f14a078f1848.png)
![[?]](https://media.freerobuxextremist.com/media/43/f2/23/43f223e9c5590c1c98f636a01175f0e8f0f46d989a8dd7f1388800265dfd8fb7.png)
...
![[?]](https://social.vlhl.dev/media/88b8c07e440be7660f1e1353f64148ba9b7de508f685e0cc4c2a5fe934d20b22.png)
![[?]](https://media.mas.to/accounts/avatars/113/795/716/883/156/995/original/dd74c7e2aa61bae9.jpg)
![[?]](https://media.worm.pink/media/3552960790144001762d5fe99525504c27130865daba7c705092a872b7c019e0.jpeg)
![[?]](https://media.tech.lgbt/accounts/avatars/109/457/002/811/759/522/original/1b41f603343e531c.jpg)
most common soup condiments in europe
Alt...
Map of Europe, countries are labeled based on their predominant energy source: coal, nuclear, natural gas, hydroelectricity, etc.
![[?]](https://vozer.cafe/system/accounts/avatars/115/901/377/108/688/218/original/1d8b2fc6b929aa61.png)
guy who is against the nuclear family bc it discourages monasticism
... [SENSITIVE CONTENT]
since when are chicken flightless. only chicken in captivity are because their wings are cut.RE: https://dirtyknight.life/objects/0650b8f9-2c38-497f-ab13-58c70cbcfe47
these are great jokes, my stupid chud @wife@p.enes.lv spent a minute asking "who's seven" after the first one (boomers when you show them a meme: "who's that, how do you know them?") and then spent a minute asking "why is it six seven" after the second one (ok maybe i just suck at speaking). Made it so much funnier
...
![[?]](https://media.freerobuxextremist.com/media/7c/c0/b7/7cc0b7d4464bddc6634085e2c961970e492f1ce63f8d04626ee52a2da9e29b1a.png)
![[?]](https://media.ihatebeinga.live/media/9dda890b85f3d56236de958e7bec3849695019e5bb3ebafa93b27d4a2442fd42.png)
the strongest bocchi (evil)
Alt...
def le_trans :=
fun (x y z : nat) (l : le x y) =>
ind le y (fun (z : nat) (_ : le y z) => le x z)
l (fun (z : nat) (_ : le y z) => le_S x z) z
: forall x y z : nat, le x y -> le y z -> le x z;
Alt...
trans pride flag but with the colors of the flag of france
...
![[?]](https://shitpost.poridge.club/files/5cc7791b-f0ab-4d2c-9d51-e8c779a885b9.png)
@lizzy@social.vlhl.dev
whar does this god-forbidden line of code even do
...
Alt...
milo yiannopoulos: “is anal sex rpiscopalian?”
radfem hitler: “no milo, anal sex is catholic (very fitting for you). episcopalians are into scissoring”
![[?]](https://upload.fluffytail.org/media/b6/85/b7/b685b7946418cbac228e9af714becc12fa753b77fc2999953c803afea58addf3.blob?name=blob)
![[?]](https://media.shitposter.world/shitposter.club/51fa75ec38d2299743971b84d43f88f9a4726220d2a6bac6a03111ed77015d81.jpg?name=rominchan.jpg)
![[?]](https://tuusin.misono-ya.info/media/05aa7b7863fd15ebf7f6a5efc29ad949430c375683452f59741c0cda128fcb67.png?name=200509-ava.png)
i am suffering from lack of tactics (compare to rocq). tbf if you Show Proof in rocq its not dissimilar
Alt...
# wow, this is horseshit!
def le_0 := fun (n : nat) => ind le n
(fun (m : nat) (_ : le n m) => elim nat type (eq nat n m) (fun _ : nat => true) m)
(ind nat (fun m : nat => elim nat type (eq nat m m) (fun _ : nat => true) m) (eq_refl nat 0)
(fun (m : nat) (r : elim nat type (eq nat m m) (fun _ : nat => true) m) => mktrue) n)
(fun (m : nat) (_ : le n m) (e : elim nat type (eq nat n m) (fun _ : nat => true) m) => mktrue)
0
: forall (n : nat), le n 0 -> eq nat n 0;
Alt...
Theorem le_eq_0 : forall n, le n 0 -> eq n 0.
Proof.
intros.
remember 0 as m.
destruct H.
- reflexivity.
- discriminate Heqm.
Qed.
...
![[?]](https://mko.she-a.eu/media/8b9710f19510099700d0fe2474ee21bd227f1cdb24e6013729a053d8ae3da433.jpeg)
@lizzy what even is the actual usecase for any of these things
...
...
@lizzy yea but whats the usecase of knowing that, ofc there exists an n natural number where n=0
...
@nu yea but exists n : nat, n = 0 isn’t the statement, forall n : nat, n <= 0 -> n = 0 is
...
@lizzy isnt that just a tautology?
...
![[?]](https://cdn.fosstodon.org/accounts/avatars/000/087/725/original/ea3e2ad04831f1f2.png)
@nu @lizzy A computer can look at a proof object and go "yeah, that typechecks", and so we know there is a value of type "proof of the theorem".
Also, you can scrap existing proof objects for parts, though I'm not aware of anything that does this. It's more efficient to describe high-level rules for composing existing lemmas, than to take an existing complex proof apart in search of techniques: you'd only really want the latter if you were trying to extract the wisdom of other mathematicians.
![[?]](https://media.gabboman.xyz/1764776490819_e536f6b79c3beea6716621b8e437c4430a427641_processed.webp)
@ludrol@app.wafrn.net asked
Would you rather breathe manually forever or blink manually forever?
Im used to manually breathing
![[?]](https://media.fops.cloud/media/0f8cc89a6c7362e39450f438010e3ad3c919c0d66343d4dc95c5480b6c93c475.jpg)
...
...
...
...
...
gallium is a pure novelty item, bismuth is where its at
...
...
![[?]](https://brain.worm.pink/media/0a8fd8605297553619be46195328b282385e1493ade54f18096eafc5722d208d.png)
...
...
...
...
...
...
but yea it won't be the glass shining green, but the drink itself, if that's a dealbreaker
...
...
...
...
...
...
...
...
...
...
...
...
...
...
@tisanae @coolbean ngl i was so not used to that that when i first looked at the image i was like “why are the transition metals fucked up like that” and then i counted and realized they were lanthanides and actinides
actually not the fist time ive seen a layout that puts them there, im just mot used to it
regarding your offer, it's pretty standard AKA usable and quickly understandable, and doesn't treat the f elements as foreign aliens, but I have a criticism that it looks like it will easily fall apart at the seams with a lot of usage, but i have a bonus point because you can fold it so that it shows only the s elements with helium next to hydrogen and above beryllium, it's useless but be pretty epic (it seems doable with the specimen in the image). I would use this if I knew I wouldn't tear it apart by accident
However........ Trying not to spend money 😔 I have so many games
If they remake 8 or 9 though it's joever
History