×
You are not logged in
Bluesky Follows
sabree λ ☕ → 🥓 → 👨🏿💻
Follows by @heavypackets.bsky.social
José A. Alonso
Registered:15 Oct 2023 09:29
Follow date:7 Dec 2024 13:30
Last post:2 hours ago
Last like received:1 hour ago
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain
Achim D. Brucker
Registered:19 Nov 2023 22:06
Follow date:7 Dec 2024 13:30
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
Formal Methods Europe
Registered:6 Dec 2024 18:28
Follow date:7 Dec 2024 13:30
Last post:5 Dec 2025
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Rawane
Registered:20 Oct 2024 04:26
Follow date:22 Nov 2024 02:00
Last post:26 Jan 2026
I work in cryptography and privacy. Im currently at Galois, inc.
David Darais
Registered:9 Nov 2024 17:13
Follow date:22 Nov 2024 02:00
Principal Scientist at Stealth Software.
Giorgio Pomettini
Registered:13 Sep 2023 12:56
Follow date:22 Nov 2024 01:58
Last post:16 Dec 2025
Used to make games for a living, now I make games for fun! 🕹️
Biromantic ace, neurodivergent 🦀 He/him
Propic by @nannasaurus.bsky.social
https://www.giorgiopomettini.e...
Phil Eaton
Registered:4 Aug 2023 09:52
Follow date:22 Nov 2024 01:57
Last post:23 hours ago
Last like given:12 hours ago
Last like received:12 hours ago
Research and analysis for experienced programmers @theconsensus.bsky.social.
eatonphil.com
larrytheliquid
Registered:5 Nov 2024 22:03
Follow date:22 Nov 2024 01:57
Last post:30 Dec 2025
Formal Methods / Programming Language Theory / Neuro-Symbolic AI
Founder at colimit.ai / @colimit.bsky.social
Alex Chircop
Registered:16 Jul 2023 16:31
Follow date:18 Nov 2024 18:54
Chief Architect @Akamai / TOC @CloudNativeFdn / Previously Founder & CTO @Ondat_IO, Infra Engineering @GoldmanSachs and @Nomura
Fight for the Future
Registered:1 May 2023 22:02
Follow date:18 Nov 2024 18:54
Last post:13 hours ago
Last like given:9 hours ago
Last like received:34 minutes ago
👊 Battling techno-fascism with our Internet-savvy blend of attention-grabbing activism and mass mobilization.
https://www.fightforthefuture....
ncnvrgnt
Registered:5 May 2023 16:16
Follow date:30 Nov 2023 17:20
Last post:2 days ago
Last like given:2 days ago
Last like received:19 hours ago
procedural & graphics artist
parallel programmer
tired
website | https://inconvergent.net
gallery | https://img.inconvergent.net/p...
a game | https://boxtype.app
store | https://buy.inconvergent.net
Orpheus Lummis
Registered:2 Nov 2023 20:47
Follow date:3 Nov 2023 01:07
Last post:3 days ago
Last like given:12 hours ago
Advancing AI safety through convenings, coordination, software, analysis
https://orpheuslummis.info, based in Montréal
Probabilita
Registered:11 Oct 2023 21:35
Follow date:12 Oct 2023 10:20
Last post:1 hour ago
Last like received:23 hours ago
Karolin Varner (they/them). Autistic sphere of doom. Ticcing trans* potato. Proovably queer cryptography engineer. Especially abled.
@kora@chaos.social
Formerly: @dakoraa (twitter)
Abduraman Blackram
Registered:5 Jul 2023 08:06
Follow date:5 Jul 2023 16:32
Blockchain Investor / Developer
SwiftOnSecurity
Registered:25 Apr 2023 03:22
Follow date:19 Jun 2023 11:40
Last post:8 hours ago
Last like given:6 hours ago
Last like received:18 minutes ago
computer security person. former helpdesk
Steve Tuck
Registered:1 May 2023 16:18
Follow date:19 Jun 2023 11:40
Co-Founder and CEO of Oxide Computer Company
https://oxidecomputer.com
@oxidecomputer.bsky.social
Bryan Cantrill
Registered:28 Apr 2023 19:23
Follow date:19 Jun 2023 11:40
Last post:3 days ago
Last like given:1 day ago
Last like received:1 day ago
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.
Oxide Computer Company
Registered:1 May 2023 04:50
Follow date:19 Jun 2023 11:40
Last post:13 hours ago
Last like given:13 hours ago
Last like received:4 hours ago
The cloud you own. https://oxide.computer/bio
Tim McNamara
Registered:26 Apr 2023 16:16
Follow date:19 Jun 2023 11:40
Last post:17 Feb 2026
Last like received:1 day ago
Trainer and consultant on the Rust programming language. Author of Rust in Action. Team climate. Walkable neighbourhoods are nice, actually.
Signal: @timclicks.01
Mara Bos
Registered:24 Apr 2023 09:40
Follow date:19 Jun 2023 11:40
Last post:5 Mar 2026
Last like given:13 hours ago
Rust dev, Electronics engineer, Author, RustNL, RustWeek organizer, ADHD, Polyamorous, Lesbian, She/Her
RustTrending
Registered:1 May 2023 12:24
Follow date:19 Jun 2023 11:40
Last post:19 Feb 2026
Last like received:11 hours ago
Automated bot posting trending Rust repositories on GitHub.
Made by @pbzweihander.dev, but not curated by.
Source code: https://github.com/pbzweihande...
Matthew Green
Registered:28 Apr 2023 16:15
Follow date:19 Jun 2023 11:39
Last post:11 hours ago
Last like given:8 hours ago
Last like received:8 minutes ago
I teach cryptography at Johns Hopkins. https://blog.cryptographyengin...
Rachel Tobac
Registered:23 Apr 2023 20:50
Follow date:19 Jun 2023 11:39
Last post:27 Feb 2026
Last like given:9 hours ago
Hacker & CEO @SocialProofSec security awareness/social engineering training, videos, talks | 3X @DEFCON🥈 | Ex Chair @WISPorg | Ex @CISAgov Technical Advisory Council under Director Jen Easterly
Steve Weis
Registered:1 May 2023 05:39
Follow date:19 Jun 2023 11:39
Security Engineer interested in cryptography, information security, & privacy engineering.
Steve Davis
Registered:24 Apr 2023 14:36
Follow date:19 Jun 2023 11:39
Security Engineering @ Apple. Previously Mandiant.
AT Protocol Developers
Registered:26 Apr 2023 06:19
Follow date:19 Jun 2023 11:39
Last post:5 days ago
Last like received:2 hours ago
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
d0nut
Registered:4 May 2023 15:43
Follow date:19 Jun 2023 01:34
Last post:25 Jan 2026
Last like given:6 hours ago
🦀 Rust + Security 🔑