Profile directory About Mobile apps
Log in Sign up

Jonathan Schuster @jschuster@types.pl

22 Toots
63 Following
34 Followers
Follow
Website
https://jschuster.org

Programming languages PhD. Software engineer at Google. Career goal: to give software developers knowledge and tools to help them reason about their programs.

Joined Nov 2022
63 Following 34 Followers
Manish @manishearth@mastodon.social
Colin @csgordon@types.pl
Moshe Vardi @vardi@fediscience.org
Yao Li @liyao@mastodon.acm.org
ReubenBond @rbn@discuss.systems
James Larus @jameslarus@discuss.systems
Sven Apel @svenapel@mastodon.acm.org
Nick Rioux @nick@types.pl
Dimitris Vardoulakis @dimvar@mathstodon.xyz
The Official ACM @ACM@mastodon.acm.org
Michael Coblenz @mcoblenz@types.pl
Heather Miller @heather@discuss.systems
1 2 3 … 6 Next

Resources

  • Terms of service
  • Privacy policy

Developers

  • Documentation
  • API

What is Mastodon?

types.pl

  • About
  • v3.5.5+types

More…

  • Source code
  • Mobile apps
v3.5.5+types · Privacy policy