Tiago Cogumbreiro
Assistant professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
@ttforall.bsky.social
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
@se4fp.bsky.social
1st Workshop on Software Engineering for Functional Programming (SE4FP) In 2025, SE4FP is co-located with the @cbsoft.bsky.social Website: https://se4fp.github.io/2025/
@etapsconf.bsky.social
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCs, FASE and ESOP. ETAPS 2025: May 3–8, Hamilton, Canada https://etaps.org/
@terminaltrove.bsky.social
The $HOME of all things in the terminal. https://terminaltrove.com/
@david2am.bsky.social
match David with | 🧑🏽💻 -> web dev | 🐪 -> into #ocaml love | 🏦 -> learning finance | 📝 -> read me in dev.to/david2am | _ -> ✝️ 🇨🇴
@kritoke.bsky.social
IT Professional, lover of functional languages. Currently building a side project in Elixir. Learning Haskell, Ocaml, Gleam, and others.
@steampowered.com
Steam, The Ultimate Online Game Platform. For support: http://help.steampowered.com/en/
@simon-r07.bsky.social
Student, theoretical computer science and functional programming enthusiast, OCamk enjoyer Early student in CS at Technische Universität München Other interests: Physics, Accordion, Judo and Design https://simonreilich.github.io/
@patrick.sirref.org
PhD Student @ Uni of Cam https://patrick.sirref.org https://github.com/patricoferris
@bacigalupe.bsky.social
Professor of counseling psychology at UMASS Boston, psychotherapist, painter, transnational, public health, environmentalist and climate justice activist. Writing and building an art studio next to the ocean. Personal account, not institutional.
@boogalooh.bsky.social
Former game dev now working as a Rust developer in finance. Love functional programming and making terrible games in my free time!
@newobject.bsky.social
check out ballionaire! : https://store.steampowered.com/app/2667120/Ballionaire/ 物の哀れ seattle, wa, usa / he, him / indie gamedev
@bluescsi.com
BlueSCSI is an open source, open hardware, and open design SCSI solution for vintage computers. It’s designed to replace a SCSI hard drive inside of your vintage computer or device, but it can also do so much more! https://bluescsi.com/
@innocentzer0.bsky.social
Thorough Rustacean, and wanting to love C++ but can't. Trying out haskell (and loving it so far). innocentzer0.is-a.dev
@redpixl.bsky.social
Teilzeitchaot, 12. Klasse, Judo, Akkordeon, Minecraft Building (https://team.tjcteam.de/), CS https://red-pixl.github.io/
@chrismartell.bsky.social
Teacher Educator & Researcher, Associate Professor of Social Studies Education UMass Boston; Boston Public Schools parent; Author of http://bit.ly/teachjustice; Editor of http://bit.ly/ss-te http://www.christophercmartell.com
@coopcoding.bsky.social
Loves programming; with an interest in functional programming. Current language: purescript https://www.coopcoding.top/
@istecnico.bsky.social
Instituto Superior TÉCNICO is the largest school of Architecture, Engineering, Science and Technology in Portugal, involving a community of 12000+ people on campus 🏛️🇵🇹 tecnico.ulisboa.pt
@cienciasulisboa.bsky.social
Vem fazer parte da nossa História construindo o teu Futuro! Faculdade de Ciências da Universidade de Lisboa.
@feoh.org
I chase bright shiny things. Currently combining my passion for self education and technology working at MIT Online Learning. Proud husband and rescue pup dad :)
@Davidimel.pixelfed.social.ap.brid.gy
A page for my pictures. Host of the Waveform Podcast Occasional video maker at http://YouTube.com/davidimel Previous: Systems Engineer at Intel [bridged from https://pixelfed.social/Davidimel on the fediverse by https://fed.brid.gy/ ]
@davidimel.com
Guy who makes stuff sometimes Co-Host of the Waveform Podcast YouTube.com/davidimel Davidimel.com https://pixelfed.social/Davidimel Old: Senior Reporter at Android Authority, Systems Engineer at Intel I skeet about new stuff but also old stuff
@c-cube.bsky.social
@fractaldragon.net
Living the island life on Canada's west coast. Interested in programming, security, photography, and anything adjacent
@hgiraud.bsky.social
@m-dodds.bsky.social
Formal methods nitwit. https://mikedodds.github.io AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
@alcidesfonseca.com
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
@rm4n0s.bsky.social
I want to bring back waterfall methodologies and the development of monolithic servers. Blog: https://rm4n0s.github.io/
@edwin.type-driven.org.uk
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com) https://www.type-driven.org.uk/edwinb/ https://www.lambda-miners.org.uk/
@ecsodikas.eu
🛠️ - Web developer by day. 👃 - Shitposting as a Service by night ⚔️ - Currently fighting against the generative LLM scourge. 🌎 - https://linktr.ee/ecsodikas
@tycho.blue
Building software Working on shoutbox.net - reliable email delivery without the cost github.com/tluyben
@tyoverby.com
Professional OCaml enjoyer. Views expressed therein are also those of your employer.
@bufordrat.bsky.social
I write software for librarians, teach functional programming, and produce the Elucidations podcast. https://elucidations.vercel.app
@novnod.dev
nerd | software engineer | gaymer 🏳️🌈 | anime connoisseur | language enthusiast 🇫🇷🇮🇹 neovim btw
@cyranhoe.bsky.social
M2 Informatique à Sorbonne Université | 🏳️🌈 | Rock prog et Kylie Minogue | Types dépendants, prog fonctionnelle et méthodes formelles
@eduardorfs.com
25yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
@nitrokey.bsky.social
Secure your digital life with Open Source. Made in Germany. With strong community focus. For secure authentication, data encryption, and key management. Impressum: https://www.nitrokey.com/de/impressum
@tsmc.purely-functional.com
OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery. More at https://lambdafoo.com