senooken JP Social
  • FAQ
  • Login
senooken JP Socialはsenookenの専用分散SNSです。
  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Conversation

Notices

  1. バツ子(痛いの痛いの飛んでけ;; (shmibs@tomo.airen-no-jikken.icu)'s status on Monday, 21-Jun-2021 23:54:57 JST バツ子(痛いの痛いの飛んでけ;; バツ子(痛いの痛いの飛んでけ;;
    in reply to
    • Infected Moomin
    • kaia
    @kaia @Moon most used stuff for cs peeps now is probably linear algebra, though they still had us too a poop-tonne of other stuff. diffeq, 3 years of calc, etc etclogic / set theory stuff also, is kinda foundational for computing, or these days are more people working from the type theory side, like building from lambda calc, like https://homotopytypetheory.org/book/ . a lot of that's been fitted back explicitly in like haskell and "under-the-hood" elsewheremathematics, though; wild XX
    In conversation Monday, 21-Jun-2021 23:54:57 JST from tomo.airen-no-jikken.icu permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: hottheory.files.wordpress.com
      The HoTT Book
      from Steve Awodey
      Homotopy Type Theory: Univalent Foundations of Mathematics The Univalent Foundations Program Institute for Advanced Study Buy a hardcover copy for $21.00. [620 pages, 6″ × 9″ size, hard…
    • Infected Moomin (moon@shitposter.club)'s status on Monday, 21-Jun-2021 23:54:58 JST Infected Moomin Infected Moomin
      in reply to
      • kaia
      @kaia I'm trying to understand a computer science paper and it started getting into shit like "use lagrange interpolation to find the polynomial" and fuck me
      In conversation Monday, 21-Jun-2021 23:54:58 JST permalink
    • kaia (kaia@shitposter.club)'s status on Monday, 21-Jun-2021 23:54:58 JST kaia kaia
      in reply to
      • Infected Moomin
      @Moon may I be nosy: do you have a CS degree? isn't that 50%+ math?
      In conversation Monday, 21-Jun-2021 23:54:58 JST permalink
    • kaia (kaia@shitposter.club)'s status on Monday, 21-Jun-2021 23:54:59 JST kaia kaia
      math sucks so much. it's the reason I cannot be a psychiatrist and only be a poor psychologist :airisigh:
      In conversation Monday, 21-Jun-2021 23:54:59 JST permalink

Feeds

  • Activity Streams
  • RSS 2.0
  • Atom
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

senooken JP Social is a social network, courtesy of senooken. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All senooken JP Social content and data are available under the Creative Commons Attribution 3.0 license.