×
You are not logged in
Bluesky Followers
Tiago
Followers of @tiferrei.com
Formal Methods for Autonomous Systems
Registered:14 Oct 2024 18:45
Last post:1 day ago
Last like given:1 day ago
Last like received:12 hours ago
International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
hannelita.bsky.social
Registered:30 Jan 2025 02:26
a public builder
Registered:13 Mar 2025 04:17
doing some experiments to build something in public
Anil Madhavapeddy
Registered:21 Jun 2023 04:30
Last post:2 days ago
Last like given:15 hours ago
Last like received:18 hours ago
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Neeldhara Misra
Registered:21 Aug 2023 18:42
Last post:25 Feb 2026
CAV
Registered:26 Nov 2024 00:10
37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb ๐ญ๐ท. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
Aaron Ansuini
Registered:6 Jul 2023 13:04
๐ฑ๐ณ๏ธโโง๏ธ๐ณ๏ธโ๐โฟ๏ธ
Satnam Singh
Registered:17 Aug 2024 22:30
Last post:20 Feb 2026
Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. โ๐ฎ๐ณ โง โ๐ฌ๐ง โง โ๐ช๐บ โง โ๐บ๐ธ #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Tamara
Registered:27 Nov 2024 09:24
Last post:6 Jan 2026
Celeste
Registered:14 Sep 2023 10:20
Nontraditional computer science PhD candidate at the University of Edinburgh โค๏ธ๐ด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟ
Former technical and creative writer
afd-icl.bsky.social
Registered:26 Nov 2024 07:28
Last post:20 Dec 2025
Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
ATTAP
Registered:24 Nov 2024 20:01
Last post:26 Feb 2026
i'm Bruce Edward Spector. Technologist, OG internet entrepreneur, investor. I founded WebCal the first Personal Information Manager for the web (acquired by Yahoo!) My current project, ATTAP (All Things to All Peopleยฎ), can be found at https://attap.ai
Freya
Registered:19 Dec 2024 22:45
Digital Diary | Live the moment, love my cats, create a life I love ๐
Pocket AI
Registered:3 Jan 2025 13:05
a billion parameters in your pocket
Ferhat Erata
Registered:22 Nov 2024 16:44
PhD student @Yale โข Applied Scientist @AWS AI โข Automated Reasoning โข Neuro-Symbolic AI โข Alignment โข Security & Privacy โข Views my own โข https://ferhat.ai
Lorenzo De Carli
Registered:23 Sep 2023 14:54
Assistant professor @UCalgary, Dept of Electrical & SW Engineering. Network/SW/usable security.
๐๐ธZhSigma@332ppmโ
ฮฃx,xโS={๐ฑ๐๐ช๐บฮปP(ฮธ|y)โ}learn-languages-world-life
Registered:10 Dec 2023 03:17
Last post:1 minute ago
Last like given:17 hours ago
Last like received:6 hours ago
S. L. Rolland@332ppm
REPOST
Rom ๐ซ๐ท๐ช๐ธ๐ช๐จ๐ฒ๐ฝ๐ฎ๐น๐ต๐น๐ง๐ทGalCat;๐ท๐ด
Germ ๐ฌ๐ง๐จ๐ฆ๐ณ๐ฑ๐ง๐ช๐ฟ๐ฆ๐ฉ๐ช๐ธ๐ช๐ฉ๐ฐ๐ณ๐ด;Nno๐ฎ๐ธ๐ซ๐ด
Slav ๐ต๐ฑ๐บ๐ฆ๐ท๐บ๐จ๐ฟ๐ธ๐ฐ;๐ง๐ฌ๐ญ๐ท๐ท๐ธ(๐ง๐ฆ๐ฒ๐ช๐ง๐พ)๐ธ๐ฎ
Hel ๐ฌ๐ท Sino ๐จ๐ณ;๐น๐ผ Aggl Eo๐น๐ท๐ซ๐ฎ;๐ช๐ช๐ญ๐บ
Poly ๐ฏ๐ต๐ฌ๐ฑ;๐ฐ๐ท๐ฒ๐ณ Aus ๐ฎ๐ฉ๐ฒ๐พ๐ต๐ญ๐ฒ๐ฌ Sem ๐ฎ๐ฑ๐ฑ๐ง๐ฒ๐ฆ Cel ๐ด๓ ง๓ ข๓ ท๓ ฌ๓ ณ๓ ฟ๐ฎ๐ชGd
Linguistics
Climate Agnotology Disinformation
Antispeciesism Flexitarian
Astro๐๐๐๐Calligraphy๐ชถ
Linux
Jens Scherbl
Registered:12 Nov 2023 07:57
Last post:6 hours ago
Last like given:1 day ago
Last like received:6 hours ago
Tell โem a hookah smoking caterpillar has given you the call.
Sharun
Registered:21 May 2023 05:13
Last post:3 days ago
๐จโ๐ปSoftware Engineer | ๐ฎGamer | ๐ปTech & ๐Car Enthusiast | ๐ฑCat Person
sharunkumar.com
Bill Stewart
Registered:14 Aug 2023 01:12
Last post:3 hours ago
Last like given:3 hours ago
Last like received:2 hours ago
Techie, bad musician, SF fan (either Science Fiction or San Francisco.)
NorCal
He/They/Thou/Yo/Oook/Whatever
Not actually a crypto-owning selfie-taking copyright monkey.
Henry Follett
Registered:3 Jan 2024 22:39
Last post:24 Feb 2026
Official Blue Sky Account for Henry Follett (Kitten Central YouTube) 120K+ Subscribers ๐งก
๐ฒ shayan ๐
Registered:29 Nov 2024 11:49
๐ป github.com/massivefermion
๐ธ instagram.com/massivefermion
Raymond Mumme
Registered:19 Oct 2024 23:17
Last post:17 Feb 2026
Last like received:1 day ago
Grad Student in Comp Sci @ UIUC @uofigrainger.bsky.social | Former Sr. Research Asst. in Radiation Physics @ Univ. of Texas MD Anderson Cancer Center @mdanderson.bsky.social, developed AI for RPA https://rpa.mdanderson.org | ๐ณ๏ธโ๐ he/him | Views are my own
KC Sivaramakrishnan
Registered:14 Nov 2024 13:41
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
julesjacobs.bsky.social
Registered:24 Nov 2024 04:02