Formal Land
Formal verification for everyday-life applications
We use math to ensure your code has no vulnerabilities
For Rust, Solidity, zk circuits. We use Rocq.
https://formal.land/
@erikmartindorel.bsky.social
Assoc. prof. in CS (University of Toulouse, Lab. IRIT), free software maintainer. Teaching in @master-sdl.bsky.social (Software Engr. curriculum ⊂ MSc in CS). Using Rocq/OCaml/Elisp/Java/Python/Docker/Bash/Git. https://linktr.ee/erikmd
@anshugsharma.bsky.social
Studying quantum computing and software semantics. YIMBY, anti-ethnonationalisms, pro open borders. ‘Anarchist’ is not a slur. He/him Linkedin: https://www.linkedin.com/in/anshugsharma/ Facebook: https://www.facebook.com/profile.php?id=10000609882483
@jakobhoman.bsky.social
Software engineer. Data infra guy. Apache Committer/PMC on various projects. WebAssembly enthusiast. Also cinema, street photography and sarcasm...
@relrod.bsky.social
Hello! I am a #linux and #emacs user and software engineer who also enjoys #linguistics and #etymology. Trying to forget that I'm American. Proud to be living in Germany. Learning #German and #Rust. he/him/his. GitHub: https://github.com/relrod
@vbosch.bsky.social
Transkriptorium AI co-founder & COO, Systems & Web Programmer, ML Researcher, BJJ student, Dad
@stermi.bsky.social
#web3 dev + auditor | @SpearbitDAO LSR, @immunefi bug hunter, sage of AAVE codebase :D
@tbrunner.bsky.social
irl i provide care to dependent adults and read algebra. i don't need followers. i don't care. email: tbrunner@uoregon.edu commandeer, usnr 1971-1973 pronouns: thee/thou #mathsky #autism
@oanamandrei.bsky.social
Lecturer at the University of Glasgow. Working on computing education, formal methods & theoretical computer science, work-based learning in software engineering, skills & competencies, widening participation in HE, equality, diversity & inclusion.
@aapoalas.trynova.dev
Nova JavaScript engine developer and OSS contributor by day and night. Avid choir singer. He/him. Give me data-oriented design or else (I will cry). https://trynova.dev/
@jrmyd.bsky.social
🇫🇷 of 🇵🇹 descent, married to 🇮🇹 in 🇳🇱. - Formerly worked in quantum cryptography - Now design/code some (non quantum) algorithms - Like FOSS - Like logic/CS/maths/physics 🗣️ 🇫🇷🇬🇧🇮🇹🇵🇹🇪🇸
@cryptoacademy42.bsky.social
We educate people about cryptography, and apply techniques like formal verification to build verified primitives.
@programisthefuture.com
Ω := (λx.x x) (λx.x x) To Ω and beyond! Backend developer with OCaml by day 🐫 Type theorist by night 🫣 I use Arch, (and neovim) btw 😎
@shriram.bsky.social
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
@locoscaron.fosstodon.org.ap.brid.gy
I toot about open source robots and robotics. [bridged from https://fosstodon.org/@locoscaron on the fediverse by https://fed.brid.gy/ ]
@proidiot.bsky.social
Like most of our world, computers don't have to suck, but we must choose improvement. Formal Methods, F(L)OSS, math memes, general nerdiness.
@andersonc0d3.bsky.social
Founder & Security Researcher @allelesecurity Twitter: https://x.com/andersonc0d3 Mastodon: https://infosec.exchange/@andersonc0d3 Blog: https://blog.andersonc0d3.io
@vanlightly.bsky.social
Researcher, advisor, writer, formal verification eng @ Confluent. Everything data (dist sys, databases, messaging, data eng/analytics). https://jack-vanlightly.com, https://www.hotds.dev Credit: ESO/B. Tafresh
@mctrinh.bsky.social
Research Professor | CTO https://no-va.kr | https://github.com/mctrinh | https://x.com/_mctrinh | 🇻🇳 🇰🇷 🇭🇰 🇮🇹 🇺🇸 🇯🇵
@formalmtds.bsky.social
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app