sabree λ ☕ → 🥓 → 👨🏿💻
PL + Constructive Security @agoric ♥️ Formal Methods, Privacy, DX, Rust 🦀, Lean, F* 🏳🌈 {⊥/⊥}
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@adbrucker.bsky.social
Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org
@formalmtds.bsky.social
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@pomettini.bsky.social
Used to make games for a living, now I make games for fun! 🕹️ Biromantic ace, neurodivergent 🦀 He/him
@larrytheliquid.bsky.social
Formal Methods / Programming Language Theory / Neuro-Symbolic AI ... now working on colimit.io / @colimit.bsky.social
@chira001.bsky.social
Chief Architect @Akamai / TOC @CloudNativeFdn / Previously Founder & CTO @Ondat_IO, Infra Engineering @GoldmanSachs and @Nomura
@fightforthefuture.org
Digital rights are human rights. There's hardly anything as important as ensuring that our shared future has freedom of expression and creativity at its core. https://www.fightforthefuture.org
@inconvergent.net
procedural artist parallel programmer irregular programming crimes in lisp i am working on a game: @boxtype.app buy art at: buy.inconvergent.net
@orpheuslummis.info
Building software & events for AI safety, collective intelligence, civ resilience – https://orpheuslummis.info – 📍Montréal
@dakoraa.bsky.social
Karolin Varner (they/them). Autistic sphere of doom. Ticcing trans* potato. Proovably queer cryptography engineer. Especially abled. @kora@chaos.social Formerly: @dakoraa (twitter)
@sdtuck.bsky.social
Co-Founder and CEO of Oxide Computer Company https://oxidecomputer.com @oxidecomputer.bsky.social
@bcantrill.bsky.social
Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
@timclicks.dev
Trainer and consultant on the Rust programming language. Author of Rust in Action. Team climate. Walkable neighbourhoods are nice, actually. Signal: @timclicks.01
@mara.bsky.social
Rust dev, Electronics engineer, Author, Rust library team lead, ADHD, Polyamorous, Lesbian, She/Her
@rusttrending.bsky.social
Automated bot posting trending Rust repositories on GitHub. Made by @pbzweihander.dev, but not curated by. Source code: https://github.com/pbzweihander/rust-trending
@matthewdgreen.bsky.social
I teach cryptography at Johns Hopkins. https://blog.cryptographyengineering.com
@racheltobac.bsky.social
Hacker & CEO @SocialProofSec security awareness/social engineering training, videos, talks | 3X @DEFCON🥈 | Chair @WISPorg | @CISAgov Technical Advisory Council under Director Jen Easterly
@saweis.net
Security Engineer interested in cryptography, information security, & privacy engineering.
@atproto.com
Social networking technology created by Bluesky. Developer-focused account. Follow @bsky.app for general announcements! Bluesky API docs: docs.bsky.app AT Protocol specs: atproto.com