Hacker News Bot

@newsycombinator

José A. Alonso

@jalonso.eurosky.social

Conor Titania Mc Bride

@pigworker

MIT Computer Science & Artificial Intelligence Laboratory

@csail.mit.edu

ISSS - University of Pennsylvania

@issspenn

University of Pennsylvania

@upenn.edu

Klaus v. Gleissenthall

@gleissen

Orestis Ousoultzoglou

@xlxs4

Maddy Bowers

@mlbowers

Dan Grossman

@dangrossmanseattle

Steve Jones

@sjfloat

Ilya Sergey

@ilyasergey

Konstantinos Kallas

@konstantinoskallas

Formal Methods for Autonomous Systems

@fmasworkshop

Mike Dodds

@m-dodds

David Darais

@daviddarais

Reshabh K Sharma

@reshabh

Stephen Diehl

@www.stephendiehl.com

Joe Cutler

@alphaconvert

Bluesky

@bsky.app