jason reed

@jcreed

@jcreed@mastodon.social I like: theorems, types, tunes, typefaces, terms-of-art, tropes, technicalities. [en/eo, +ε es/zh/fr/pl/jp]

nyc
Vrijeme pridruživanja: travanj 2007.

Tweetovi

Blokirali ste korisnika/cu @jcreed

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @jcreed

  1. 1. velj

    taqueria opened down the street from me that is actually halfway decent? and they have breakfast burritos? and plátanos maduros? how you say... ¡cállate y toma mi dinero!

    Poništi
  2. 29. sij

    \o/ I have now proceeded one yak deeper into the yak-stack, from "I just wanted to do some higher-dimensional category theory, why am I doing calculus?" to "I just wanted to do some calculus, why am I studying the combinatorics of partitions?"

    Poništi
  3. 26. sij

    me & were talking about what comes next in bojack's animal-people -> tuca and bertie's plant-people -> ??? and she was like "duh, mushroom people" so someone plz get and in a room together immediately, animated Ambergris would be AMAZING

    Poništi
  4. 25. sij

    It is a *shockingly* good couch co-op game, and just all-round surprisingly fun. The controls feel really nice.

    Prikaži ovu nit
    Poništi
  5. 25. sij

    Me 2 hours ago: Yeah, looks gorgeous, but the gameplay probably gets dull after a little wh--- [2 hours passes] OMG WHERE DOES THAT GO WHAT IS THAT DOES IT GO WITH ORGANS? WITH SPORTS? THE DAIRY AISLE? CAMPING SECTION???

    Prikaži ovu nit
    Poništi
  6. 25. sij

    This occurred to me after wondering how much $$$ would be saved if only YouTube had a single verb which would shortcut to like, subscribe, and enable notifications, bc "remember to like, sub... etc.!" would just be "remember to florp!"

    Prikaži ovu nit
    Poništi
  7. 25. sij

    I am not sure why but the word "florp" is extremely embedded in my brain now kind of like foo/bar/baz but specifically as the first nonce word I reach for to describe any hypothetical semi ill advised internet thing.

    Prikaži ovu nit
    Poništi
  8. 25. sij

    The other thing I'm picking up on that I remembered reading about in the past once is slurring of "je suis" all the way into a single syllable "chuis" which I love the sound of.

    Prikaži ovu nit
    Poništi
  9. 25. sij
    Prikaži ovu nit
    Poništi
  10. 25. sij

    The main thing I'm learning is that French people use "voilà" not only in the literal sense of "here is a thing!" but as a sort of... QED at the end of a thought, which I find extremely endearing. Like "that's it" or "there you go" in English, maybe?

    Prikaži ovu nit
    Poništi
  11. 25. sij

    That last video has sent me down a rabbit-hole of youtube videos with people just recording very Language 101 conversations with people on the streets of Big City Where They Speak Language. For example, for Language=French, here's one about La Bise:

    Prikaži ovu nit
    Poništi
  12. 24. sij

    I keep getting halfway to thinking "gosh I wish I knew more algebraic geometry" but quite possibly I don't even need such fancy tools. I'm just trafficking in polynomials R^n -> R^m. But maybe they would help? I am too ignorant even to know whether they would...

    Prikaži ovu nit
    Poništi
  13. 24. sij

    Dang I continue to wish I was better at plain ol' ordinary analysis, there seems to be a lot of interesting questions one can ask that seem related to higher-dimensional category theory, and I am very slow at answering them.

    Prikaži ovu nit
    Poništi
  14. 24. sij

    I was excited that I could mostly follow the Spanish and French they were speaking, and definitely understood the "Τι κάνεις?" (Greek for "how are you" which I hear around the neighborhood a lot) and "dokładnie" (Polish "exactly")

    Prikaži ovu nit
    Poništi
  15. 23. sij

    This guy's grandma seems like she'd be awesome to hang out with

    Prikaži ovu nit
    Poništi
  16. proslijedio/la je Tweet
    21. sij
    Odgovor korisnicima

    It’s like if a steak and kidney pie and a Pop-Tart got wasted on cheap wine and had a child together and now neither one of them wants to take responsibility

    Poništi
  17. 21. sij

    actually really quantitatively ensuring that there *is* a "sufficiently fast" that doesn't introduce any bad behavior in the composite function that wasn't already present in the functions being "composed" is gnarly as heck.

    Prikaži ovu nit
    Poništi
  18. 21. sij

    The core idea of the proof I am trying to nail down is extremely simple: it's essentially just "interpolate between the two functions with a kinda sigmoid-looking polynomial easing function that switches sufficiently fast between being ~0 and being ~1" but

    Prikaži ovu nit
    Poništi
  19. 21. sij

    Like, I have advanced degrees in logic, and even I find navigating this many quantifier alternations borderline exhausting. Plus I gotta involve actual concrete numbers? And not screw up where the factors of 2 go? Forget about it!

    Prikaži ovu nit
    Poništi
  20. 21. sij

    In my lunch hours and evenings I keep gradually fleshing out this proof that you can actually compose certain real-valued functions on compact sets as if they were cells of an ω-category... and I gotta say, much sympathy to generations of freshmen doing ε/δ-proofs.

    Prikaži ovu nit
    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·