Silvestro Ranucci
I live at the intersection.
Interested in software correctness, functional programming and distributed systems.
By day a lot of TypeScript with Effect.ts on Node.js.
By night Rust or Haskell.
Opinions are my own.
@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/
@apachepinot.bsky.social
Real-time distributed OLAP datastore. Join our growing community at http://pinot.apache.org
@convex.dev
The reactive database for app developers. Sign up: https://convex.dev Discord: https://convex.dev/community
@authzed.com
Authorization that scales 👷♂️ Creators of https://spicedb.io 💫 Inspired by Google's https://zanzibar.tech 🧡 YC W21
@tldraw.com
infinite canvas / http://tldraw.com / http://tldraw.dev / https://discord.tldraw.com/bsky
@natureportfolio.nature.com
Nature Portfolio’s high-quality products and services across the life, physical, chemical and applied sciences is dedicated to serving the scientific community.
@haskell.org
Committed to a welcoming, vibrant & flourishing #Haskell community! Find us on https://haskell.org and https://blog.haskell.org
@chreke.com
Functional programming enjoyer Co-founder of https://functionalsoftware.se Personal website: https://chreke.com Sometimes I write stuff here: https://blog.snork.dev/
@chrispenner.ca
FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
@unison-lang.org
Friendly programming language from the future Open source http://github.com/unisonweb/unison Cloud platform: https://unison.cloud Community: https://unison-lang.org/discord
@posetteconf.com
🐘 Free & virtual developer event ✨ Organized by #PostgreSQL team at Microsoft. Schedule is out! Keynotes coming soon. Save the Date! https://aka.ms/posette-cal Hashtag is #PosetteConf 🌎 https://posetteconf.com/
@interruptlabs.bsky.social
We’re here to provide world-leading vulnerability research and research capabilities. From browsers, mobile, automotive and everything in between. www.interruptlabs.co.uk
@shadaj.me
PhD student at @BerkeleySky + https://hydro.run, designing languages for modular and performant distributed systems. Co-organizer https://sfsystemsclub.com More at https://shadaj.me!
@tsoding.bsky.social
Recreational Programming: - http://twitch.tv/tsoding - https://www.youtube.com/@Tsoding - https://www.youtube.com/@TsodingDaily ⠀⢀⣰⣾⡿⣶⣿⠿⣶ ⢠⣼⣿⣿⣷⣿⣿⣶⠉ ⢸⣿⣿⣿⣿⣿⣿⠀⠀
@teivah.dev
💻 Software engineer at Google ☕ The Coder Cafe newsletter https://thecoder.cafe 📖 100 Go Mistakes author https://100go.co/book 🏠 https://teivah.dev 改善
@lina.yt
Hello everyone, Asahi Lina here! I'm a developer VTuber! ▶️ lina.yt/magic EN/日本語｜she/her｜🎨 #AsahiLinArt My gf: @cyan.yt 🩵｜We are @thgirls.yt Model x.com/NananoNanase Design x.com/shiranui_illust PFP @merryhime.bsky.social 📨 lina@lina.yt
@jeffgeerling.com
Father, author, developer, maker. Sometimes called "an inflammatory enigma". #stl #ansible #k8s #raspberrypi #mac #crohns www.jeffgeerling.com
@soller.dev
System76 Principal Engineer, Pop!_OS Maintainer, and Redox OS BDFL - https://soller.dev Profile picture and banner: I am wearing a Pop!_OS shirt with multiple computers running Pop!_OS in the background to celebrate the 20.04 release.
@kernelrecipes.bsky.social
Informal conference about the Linux kernel in Paris - next edition, 22 to 24, september 2025 https://kernel-recipes.org
@godevroom.fosstodon.org.ap.brid.gy
We are the Go Devroom at FOSDEM, sharing posts from in and around our devroom! [bridged from https://fosstodon.org/@godevroom on the fediverse by https://fed.brid.gy/ ]
@stuhood.sh
Working on transactional, Elastic-quality search for Postgres at https://www.paradedb.com/ - 日本語を勉強しています
@petereliaskraft.net
Co-founder @ http://dbos.dev • Stanford PhD • Database Geek • Building https://github.com/dbos-inc/dbos-transact-py
@mattboyle.bsky.social
Engineering Manager @cloudflare; serial course creator and blogger over on bytesizego.com
@go-perf.dev
#golang performance, runtime, concurrency. Talks, blogposts and open source projects for #gophers (mail: hello@go-perf.dev). Not affiliated with Go team. https://go-perf.dev/
@willdot.net
Software engineer. Mainly Go. Fascinated by distributed systems. Me and yaml indentation are enemies. I only ship to prod on Fridays. https://willdot.net
@gophercon.com
The premiere gathering of Go programming language enthusiasts will be at the North Javits Center in New York City from August 26th - 28th. So, mark your calendar and don't fuhgeddaboudit! www.gophercon.com
@thorstenball.com
Author of interpreterbook.com and compilerbook.com. Working at Sourcegraph. Previously Zed. Programming where the rubber hits the road. Writing Register Spill at: registerspill.thorstenball.com
@ziglang.bsky.social
Not official account. Not related with any zig foundation or community. Just zig fan! https://ziglang.org/ https://github.com/ziglang/zig
@dmnk.bsky.social
【ＤΞＣＯＭＰＩＬΞ ＮΣＶΞＲ】 Android Red Team @google Fuzzing @aflplusplus.bsky.social CTF @enoflag (opinions my own)
@richinseattle.bsky.social
Fuzzing; Vulnerability Research; Deep Learning; Reverse Engineering Training & Publications @ http://fuzzing.io Hacking the planet since 1995 Undercurrents.io BOFH I'll stop the world and melt with you
@aflplusplus.bsky.social
We want to make fuzzing better and better Follow for updates on AFL++ & LibAFL
@adrianherrera.bsky.social
Security researcher with a penchant for programming language theory. Building fuzzers @interruptlabs.bsky.social. https://adrianherrera.github.io/
@liveoverflow.bsky.social
wannabe hacker... he/him 🌱 grow your hacking skills https://hextree.io
@jamescowling.dev
@convex.dev co-founder/CTO. Dropbox storage designer. Distributed systems researcher at MIT. Bad motorcycle mechanic. Database shill.
@fponzi.me
MSc in Computer Science. SDE @microsoft Distributed systems and operating systems. My tweets, my opinions
@hytradboi.bsky.social
Have you tried rubbing a database on it? https://www.hytradboi.com/2025
@clickhouse.com
ClickHouse is the fastest open-source OLAP database ⚡ Download: http://clickhouse.com GitHub: http://clickhou.se/GitHub Slack: http://clickhouse.com/slack
@pvldb.bsky.social
The Proceedings of the VLDB Endowment (PVLDB) https://vldb.org/pvldb/ RSS Feed: https://db.cs.cmu.edu/files/rss/pvldb-rss.xml Automated by @andypavlo.bsky.social
@surrealdb.com
The ultimate multi-model database for tomorrow's applications. 🌐 http://surrealdb.com ⭐️ http://surrealdb.com/github
@jaffray.bsky.social
turning to the succor of modern computing machines, let us renounce all analytic tools https://buttondown.com/jaffray justinjaffray.com
@mboehme.bsky.social
Software Security @MPI, PhD @NUS, Dipl.-Inf. @TUDresden. Research Group: http://mpi-softsec.github.io