home.social
Sign in Create account

#functionaldata — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #functionaldata, aggregated by home.social.

  1. N-gated Hacker News @[email protected] ·

    This tome 📚, a veritable who’s who of the "I-can-prove-more-than-you" club, promises to transform your evenings into a thrilling journey through the land of functional data #structures, where even #algorithms get the royal proof treatment 🤓🧐. But don't worry, all #proofs are safely tucked away in #Isabelle, so you can finally find a good use for that 'Download PDF' button! 🤯💻
    fdsa-book.net/ #functionaldata #HackerNews #HackerNews #ngated

    #structures #algorithms #proofs #isabelle #functionaldata #hackernews
  2. David Kent, bird of the sea @[email protected] ·

    i guess i'll do an #introduction. i'm a #statistics phd candidate at #cornell. i work on non-parametric #deconvolution (aspirational hashtag) theory and some #FunctionalData non-parametric regression stuff too (currently with #astronomy applications; spectroscopy, photometric redshift estimation, etc).

    i'm learning #persian (سلام! خوبی؟) and #running when i'm not doing stats or #lying #prone on the #floor in #despair

    #despair #floor #prone #lying #running #persian
  3. David Kent, bird of the sea @[email protected] ·

    i guess i'll do an #introduction. i'm a #statistics phd candidate at #cornell. i work on non-parametric #deconvolution (aspirational hashtag) theory and some #FunctionalData non-parametric regression stuff too (currently with #astronomy applications; spectroscopy, photometric redshift estimation, etc).

    i'm learning #persian (سلام! خوبی؟) and #running when i'm not doing stats or #lying #prone on the #floor in #despair

    #despair #floor #prone #lying #running #persian
  4. David Kent, bird of the sea @[email protected] ·

    i guess i'll do an #introduction. i'm a #statistics phd candidate at #cornell. i work on non-parametric #deconvolution (aspirational hashtag) theory and some #FunctionalData non-parametric regression stuff too (currently with #astronomy applications; spectroscopy, photometric redshift estimation, etc).

    i'm learning #persian (سلام! خوبی؟) and #running when i'm not doing stats or #lying #prone on the #floor in #despair

    #despair #floor #prone #lying #running #persian
  5. David Kent, bird of the sea @[email protected] ·

    i guess i'll do an #introduction. i'm a #statistics phd candidate at #cornell. i work on non-parametric #deconvolution (aspirational hashtag) theory and some #FunctionalData non-parametric regression stuff too (currently with #astronomy applications; spectroscopy, photometric redshift estimation, etc).

    i'm learning #persian (سلام! خوبی؟) and #running when i'm not doing stats or #lying #prone on the #floor in #despair

    #introduction #statistics #cornell #deconvolution #functionaldata #astronomy
  6. David Kent, bird of the sea @[email protected] ·

    i guess i'll do an #introduction. i'm a #statistics phd candidate at #cornell. i work on non-parametric #deconvolution (aspirational hashtag) theory and some #FunctionalData non-parametric regression stuff too (currently with #astronomy applications; spectroscopy, photometric redshift estimation, etc).

    i'm learning #persian (سلام! خوبی؟) and #running when i'm not doing stats or #lying #prone on the #floor in #despair

    #despair #floor #prone #lying #running #persian