Jannis Harder
open source dev, inactive demoscener, occasional CTF crypto challenge solver
working on SAT solving, HW formal verification tools, yosys
https://jix.one/
they/them
@ezeeshady.bsky.social
Your sassy, not so local, KitCat! #ENVtuber | #TwitchAffiliate | #PixelAnimator | EN/DK I Art: #EzeeDoodle I stream on Twitch every weekend! Twitch.tv/ezeeshady Ezeeshady.carrd.co/
@codyroux.bsky.social
Still ultrafinitist, but with a softer side. https://www.kleene.church/ I do the Church of Logic podcast. https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
@tomforsyth.bsky.social
Gfx coder and chip designer. He/him/3Dlabs/Muckyfoot/RAD/Valve/Oculus/Intel/Rec Room. mastodon.gamedev.place/web/@TomF (twitter.com/tom_forsyth if you're nasty)
@haroldaptroot.bsky.social
https://mastodon.gamedev.place/@harold | http://haroldbot.nl
@sunshowers.io
(gender)queer transsexual / they/them menace / eng @oxide.computer / atheist and scientific humanist / 🦀 #rustlang / https://sunshowers.io also on mastodon: @[email protected] / https://hachyderm.io/@rain
@gametheory101.bsky.social
PhD and professor. War, economics, math, YouTube. williamspaniel.com
@myria.bsky.social
Game dev, reverse engineer, like to hack video games and Windows. She/her. ❤️🐱
@mahrz24.bsky.social
@righto.com
Computer history. Reverse-engineering old chips. Restored Apollo Guidance Computer, Alto. Ex-Google, Sun, Msft. So-called boffin.
@foone.bsky.social
Hardware / software necromancer collector of Weird Stuff maker of Death Generators. she/they
@arcanenibble.bsky.social
Full-stack hacker. Chuuni rights! Funemployed (prev. infosec). they/them EN/中文/廣東話 (ABC)/learning DE
@yagithegoat.bsky.social
Drawing animal characters🐐 Patreon: https://patreon.com/yagithegoat X: https://twitter.com/s1120411 Discord: https://discord.gg/6PbaDCGct4
@hcnone.bsky.social
Drawing whatever, making games :) Play Endless Monday: https://endlessmonday.com Steam: https://steampowered.com/app/2262610 Nintendo Switch: https://nintendo.com/us/store/products/endless-monday-dreams-and-deadlines-switch/
@rntz.net
Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c. rntz.net 🐘 @[email protected] 🐦 @arntzenius Attempting to use bsky more now that people are showing up.
@taliaringer.bsky.social
@houmus.org
@presentcorrect.bsky.social
Now on Bsky! New & vintage stationery from around the world, since 2009. Our shop is at 12 Bury Place, London WC1A 2JL. https://www.presentandcorrect.com
@danluu.com
Active on Mastodon: https://mastodon.social/@danluu. Also trying https://threads.net/@danluu.danluu
@merryhime.bsky.social
🌐 http://merryhi.me 🐘 queer.af/@mary 🗣️ 日本語でおk (en/ja) 🎨 rkgk 🩺 yes i'm that emulator developer and compiler enthusiast 🐙 https://github.com/merryhime
@esden.net
fediverse: @[email protected] Embedded Open-Source Hacker? Founder of 1BitSquared https://1bitsquared.com | Maintainer https://black-magic.org | https://icebreaker-fpga.org #hardwarehackers #fpga #asic #embedded #risc-v he/him
@shachaf.net
@malb.bsky.social
Cryptography Professor at King's College London and Principal Research Scientist at SandboxAQ. Erdős–Bacon Number: 6. He/him or they/them. https://malb.io
@connectionsmuseum.bsky.social
Featuring vintage telephone & communications equipment dating to 1885. Fans of relays, electromechanical devices, soldering, and the Bell System. Home to the world's only working Panel Switch.
@szeider.bsky.social
Professor & Chair at TU Wien, leading the Algorithms and Complexity Group. Specializing in symbolic and neurosymbolic methods to address complex computational problems in AI, automated reasoning, and combinatorial optimization. (ac.tuwien.ac.at)
@divbyzero.bsky.social
Mathematician. John J. & Ann Curley Chair in Liberal Arts at Dickinson College. Author of Tales of Impossibility and Euler's Gem. Coffee drinker. [Everything in the timeline before October 2024 was imported from my Twitter/X feed 2008-24.]
@clairexen.bsky.social
Neurodiverse Trans Geek Girl 🧙♀️ Queer Kinky Poly Mess 🏳️🌈 🏳️⚧️ CTO @YosysHQ 😺 RISC-V, SMT 👩💻 Opinions are my Ceti eel's 😛 ACAB BLM ✊ I am Antifa 🏴🚩 Vienna, Austria 📌 she/her 🧚♀️
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@there.is.no.aarch64.mov
computers enthusiast, "assembly language drag racer" any/all
@whitequark.org
catgirl shaped object "A cat is valued for companionship and its ability to kill vermin."
@mattkeeter.com
✨ Weird CAD and graphics research ⚙️ Embedded software and Rust 🌎 Cambridge, MA 🏠 mattkeeter.com
@freya.bsky.social
🎮 indie tech artist 🏗️ I made Shader Forge & Shapes 🌐 working on https://half-edge.xyz 🔥 shader sorceress 📏 math dork 🎥 rare YouTuber/streamer 📡 ex-founder of @NeatCorp my kids: 🥪 @toast.acegikmo.com 🥗 @salad.acegikmo.com 🐈⬛ @thor.acegikmo.com
@greg.woke.cat
@mmicko.bsky.social
Software architect, C++ developer, open source FPGA tools developer at @YosysHQ.com, MAME project ex coordinator, interested in FPGA and hardware in general
@matt.godbolt.org
Sometime verb, real person, lover of 8-bit computers, husband & father, trying to be a kind person. #blacklivesmatter; trans rights are human rights. he/him
@yosyshq.com
The home for the team maintaining Yosys and related Open Source EDA projects. https://www.yosyshq.com/ Sign up to our newsletter! https://yosyshq.com/newsletter
@tinytapeout.com
Tiny Tapeout makes it easier and cheaper than ever to get your designs manufactured on a real chip! https://tinytapeout.com
@catrionaagg.bsky.social
Maths teacher. I aim to share lots of snippets of my lessons using #MathsToday and would encourage you to do the same!