GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE

  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Notices by Joey Eremondi (joey@mathstodon.xyz)

  1. Embed this notice
    Joey Eremondi (joey@mathstodon.xyz)'s status on Thursday, 18-Jul-2024 01:31:56 JST Joey Eremondi Joey Eremondi
    in reply to
    • Jens Finkhäuser
    • Jason Evangelho
    • Neil Brown

    @jens @killyourfm @neil Thunderbird doesn't, that's the point

    In conversation about 4 months ago from mathstodon.xyz permalink

User actions

    Joey Eremondi

    Joey Eremondi

    PL postdoc. Currently a Newton International Fellow at the University of Edinburgh. Soon to be Assistant Prof. at University of Regina, starting January 2024. Formerly PhD at UBC with Ron GarciaBroadly interested in making it easier to prove software correct with dependent types. Projects include dependent pattern matching, gradual dependent types, and error message generation.

    Tags
    • (None)

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          205229
          Member since
          28 Oct 2023
          Notices
          1
          Daily average
          0

          Feeds

          • Atom
          • Help
          • About
          • FAQ
          • TOS
          • Privacy
          • Source
          • Version
          • Contact

          GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.