@patrickshafto.bsky.social
Prof: Rutgers; Program Manager: DARPA; Scientist-at-Large: Redpoll. Math! Machine learning! Cognitive Science!
@maxammann.bsky.social
Security researcher and open-source enthusiast, volunteer at Digitalfabrik
@pr0me.bsky.social
Firmware Security • Embedded Systems • AI x Infosec • Researcher @binarly • PhD Candidate @TUBerlin • Capturing Flags with ENOFLAG
@pikuma.com
An education platform created by Gustavo Pezzi to teach the fundamentals of #ComputerScience, #Programming, and #Mathematics.
@vaishs.bsky.social
Gulpy, gurgly, plobby, squishy, wofflesome | Occasionally a computer scientist https://vaishs.github.io
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@yogina.bsky.social
Hatha Yoga Teacher Imperfect Yogi 🧘♀️ J'écris depuis mon donjon BDSM en lien avec Pfizer 💅👽 #conspirituality https://onyogamat.com/
@teorth.bsky.social
Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
@darthputinkgb.bsky.social
Czar for life of all Russians. Master Strategist. Tea connoisseur. Author. YouTuber. Window installer. Wanted in 123 countries. Parody, apparently.
@anil.recoil.org
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk, and am also to found at @conservation.cam.ac.uk. Homepage at https://anil.recoil.org
@igalia.com
Igalia is an open source consultancy specialized in innovative projects and solutions with desktop, mobile, and web technologies.
@chiroptical.dev
PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Erlang programmer. Occasional content creator youtube.com/chiroptical twitch.tv/chiroptical. Fencing enjoyer.
@sekun.net
i like learning, and making stuff with computers #rust #haskell #nix my yap collection → https://sekun.net github → https://github.com/sekunho
@andreafioraldi.bsky.social
Cyber Response Italian Supercazzola Technology Officer at @mhackeroni Inc. Writing your favourite fuzz testing tools with @aflplusplus. Security research at .
@lawrpaulson.bsky.social
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications.
@was.tl
Created http://adventofcode.com, http://compute-cost.com, http://anoik.is, http://was.tl/projects/; Principal Architect at https://acvauctions.com
@dmnk.bsky.social
【ＤΞＣＯＭＰＩＬΞ ＮΣＶΞＲ】 Android Red Team @google Fuzzing @aflplusplus.bsky.social CTF @enoflag (opinions my own)
@gazagnaire.org
#ocaml #mirageOS - CEO of @tarides.com - CTO of https://parsimoni.co ex Docker, Unikernel Systems, Citrix DMs open for collaboration on OCaml, Irmin or MirageOS projects!
@sophie.huiberts.me
linear programming enthusiast. investigator of evil science. haunted by beans. she/her
@jeremykun.com
Portland-based mathematician and software engineer. Building a homomorphic encryption compiler at Google. https://jeremykun.com https://pimbook.org https://pmfpbook.org https://buttondown.email/j2kun https://heir.dev
@chromium.social
The Official Chromium Developers Account. Check out our developer portals: https://developer.chrome.com/ and https://web.dev/ Admin: @paul.kinlan.me We are also on Mastodon: https://chromium.social/
@badumbatish.bsky.social
Jasmine Tang, she/her certified hunter schafer simp https://badumbatish.github.io/
@jimmyhmiller.bsky.social
Compiler engineer and co-host of the future of coding podcast https://jimmyhmiller.github.io https://futureofcoding.org/episodes/
@mboehme.bsky.social
Software Security @MPI, PhD @NUS, Dipl.-Inf. @TUDresden. Research Group: http://mpi-softsec.github.io
@jeppojeps.bsky.social
Quis custodiet ipsos custodes - Estimator of weird machines UC3M - Zimperium Inc. scholar, inventor. Opinions just reflect your retina screen or the ones of your 🐈 eyes. Author of Fuzzing Against the Machine - https://amzn.eu/d/8gDJX0K
@jfbastien.com
Distinguished engineer Woven by Toyota—Compiler engineer—security enforcer—C++ standards committee language evolution chair—WebAssembly co-instigator 🔗 https://jfbastien.com 🔗 https://tlbh.it 📍 東京、日本
@asbradbury.org
Compilers at Igalia. @llvmweekly.org author. Mostly RISC-V, LLVM, and a little WebAssembly. Previously lowRISC CTO and co-founder. Blogs at https://muxup.com
@braindersnn.bsky.social
Neuromorph at #ProjectPhasor | Ex: Loihi @Intel Labs; MLPerf, TPU, Chrome GPU, Android GPU; HT patch clamp | Runner https://www.project-phasor.org https://www.linkedin.com/in/brian-anderson-6739ba25
@henrichlauko.bsky.social
Compilers at Trail of Bits ~ VAST: MLIR frontend for C++ ~ Program Analysis
@andreasateth.bsky.social
Research and education in physics with a focus on quantum computing, communication and sensing with team Qudev (https://qudev.phys.ethz.ch/) at ETH Zurich. Team lead at the ETHZ-PSI Quantum Computing Hub. Director of the Quantum Center at ETHZ.
@qec.codes
Quantum Error Correction | Quantum Software Lab | University of Edinburgh Homepage: https://roffe.eu
@lukaszolejnik.bsky.social
Security & Privacy. Data Protection. Research. Engineering. Analyst. Policy. W3C. Consultant. Author. King’s College London/War Studies. lukaszolejnik.com/books blog.lukaszolejnik.com techletters.substack.com
@cxx.dev
C++ developer specializing in source and binary program analysis and transformation.
@racket-lang.org
Racket is... * A language-oriented programming project * a family of programming languages * a native code compiler and other tools, * a diverse community 😁 Join us at https://racket.discourse.group/ https://racket-lang.org/
@sasajuric.bsky.social
Elixir mentor, author of Elixir in Action (https://manning.com/books/elixir-in-action-third-edition), aspiring fingerstyle guitar player (https://www.youtube.com/@downcasestring), hobbyist procrastinator.
@abhi9u.bsky.social
NetBSD Dev | Python Internals, AI, compilers, databases, & performance engineering | https://blog.codingconfessions.com/
@adrianherrera.bsky.social
Security researcher with a penchant for programming language theory. Building fuzzers @interruptlabs.bsky.social. https://adrianherrera.github.io/
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@jamesbrock.bsky.social
Pure functional programming, Haskell, PureScript, Nix. Vermont provenance, Yokohama residence. https://github.com/jamesdbrock https://twitter.com/jamesdbrock
@ai-fm-papers.bsky.social
A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social