i have no regrets on my names
when picking the team name in pmd gates to infinity, i noticed that the partner automatically put "the" at the beginning. so i knew what i had to do.
look at the little guy i just finished crocheting
The music instrument samples used by Koji Kondo when he composed the Super Mario World soundtrack were all taken from commercially available sources, and simply reduced in quality to be playable on a SNES.
After many years of searching, video game music enthusiasts were able to track down all original samples in their source quality, allowing the tracks to be restored to the form they could have had if the SNES were able to use high-quality samples. In this post, the restored version of the Castle/Fortress music can be heard.
Main Blog | Patreon | Twitter | Bluesky | Small Findings | Source: ChurchofKondoh
fun fact: if you write at a speed of 1 hexcode/second, it will take around 194 days, or about half a year to write all 16,777,216 color hexcodes
oh so you like colors? name all 16,777,216 of them.
why are there so many semicolons????????
were semicolons invented just to be spammed all over lines of code?
i don't even know what programming language this is but holy fucking shit a semicolon after almost every line why
I'm in pain.
ok but seriously what programming language is Code.org I'm genuinely curious
Get yourself a fabric store that will light your fabric on fire for you
No but legit I asked what the fiber content of something was and the guy didn’t know so he cut a chunk off and lit it on fire and felt the ashes and was like. Yeah this is mostly cotton with a lil bit of silk. And that was the moment I knew. This is it. This is the fabric store for me. Also that guy is marriage material. Not for me but damn some person is gonna be so happy with him.
im sorry
remind me to rewrite this in the latin alphabet (sitelen Lasina) tomorrow
edit:
lon pi nanpa kipisi la [ante K ala la ante P ala] la [ante P la ante K]
( discrete math theorem: (~K => ~P) => (P => K) )
proof
(wan) [ante K ala la ante P ala] la [[ante K ala la ante P] la ante K]
(1) ((~K) => (~P)) => (((~K) => P) => K)
(tu) [ante K ala la ante P] la [[ante K ala la ante P ala] la ante K]
(2) ((~K) => P) => (((~K) => (~P)) => K)
(tu wan) ante P la [ante K ala la ante P]
(3) P => ((~K) => P)
(tu tu) ante P la [[ante K ala la ante P ala] la ante K]
(4) P => (((~K) => (~P)) => K)
(luka) [ante K ala la ante P ala] la [ante P la ante K]
(5) ((~K) => (~P)) => (P => K)
why
(wan) lawa tu wan
(1) Axiom 3*
(tu) lon pi nanpa kipisi: ante P la [ante K la ante L]. ni la ante K la [ante P la ante L]
(2) discrete math theorem: ( P => (K => L) ) => ( K => (P => L))
(tu wan) lawa wan
(3) Axiom 1
(tu tu) lon pi nanpa kipisi: ante P la ante K. ante K la ante L. ni la ante P la ante L.
(4) discrete math theorem: P => K, K => L ⊢ P => L
(luka) lon pi nanpa kipisi: ante P la [ante K la ante L]. ni la ante K la [ante P la ante L]
(5) discrete math theorem: ( P => (K => L) ) => ( K => (P => L))
*so i went on Wikipedia to see if axiom numbers used in my class match up with what people usually use, and i found out that thing i was proving (i.e. contrapositive) is axiom 3 according to Wikipedia. however, in my class, axiom 3 is
"((~p)=>(~q)) => (((~p)=>q)=>p)"
so uh... yeah for the purposes of this post, ^ is axiom 3
by fomajc on instagram. im losing my shit over this
[any pronouns] a bisexual furry who's a computer science nerd, who also happens to be into linguistics and crochet. languages: english, español, ελληνικά, and toki pona
293 posts