Component Creator for Joomla @component-creator.com ๐ The fastest way to build Joomla extensions!
๐ ๏ธ Generate custom Joomla components in minutesโno coding required.
๐ Trusted by developers worldwide.
๐ https://www.component-creator.com
A Moveable Feed @amoveablefeed.bsky.social Blunt, funny takes on todayโs biggest stories from a recovering DC insider. One sharp email a day so you actually understand the news. Subscribe โ https://buttondown.com/amoveablefeed
Ryan Hartje @xoxodeadbeef.bsky.social Proud bug author at @TensTorrent. ex @Tesla @EquinixMetal, @Azure (AKS), @wpengine, @hostgator eWFtbCBsb3JkIG9mIHRoZSBrdWJlcm5ldGVzIHJlYWxt
Formal Methods for Autonomous Systems @fmasworkshop.bsky.social International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
Stig Helmer @stighelmer.bsky.social #1 Mindy Furano fan account
Ms. Kathy Reid (she/her) @kathyreid.au #PhD researcher at #ANU Cybernetics, investigating bias in #speech and #voice #tech, with a focus on #data & #ML. Leads R&D at @mozdatacollective.bsky.social
Ex NVIDIA, Mycroft AI, @linuxaustralia.bsky.social, Deakin Uni.
https://linktr.ee/kathyreid- H @handle.invalid @handle.invalid Writes (Code)QL, is a program analysis and a formal methods tourist. Applies LLMs to scale application security.
Ferhat Erata @erata.bsky.social PhD student @Yale โข Applied Scientist @AWS AI โข Automated Reasoning โข Neuro-Symbolic AI โข Alignment โข Security & Privacy โข Views my own โข https://ferhat.ai
CAV @confcav.bsky.social 37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb ๐ญ๐ท. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
๐๐ธ๐๏ธฮฉZhSigma@332ppmโ
ฮฃx,xโS{๐ฑ๐๐ช๐บฮปP(ฮธ|y)โ}learn-languages-world-life @stphrolland.bsky.social S.L. Rolland@332ppm
RepostReadLearn:
Rom ๐ซ๐ท๐ช๐ธ๐ช๐จ๐ฒ๐ฝ๐ฎ๐น๐ต๐น๐ง๐ทGalCat๐ท๐ด
Germ ๐ฌ๐ง๐จ๐ฆ๐ณ๐ฑ๐ง๐ช๐ฟ๐ฆ๐ฉ๐ช๐ธ๐ช๐ฉ๐ฐ๐ณ๐ดNno;๐ซ๐ด๐ฎ๐ธ
Slv ๐ต๐ฑ๐บ๐ฆ๐ท๐บ๐จ๐ฟ๐ธ๐ฐ;๐ง๐ฌ๐ญ๐ท๐ท๐ธ/๐ง๐ฆ๐ฒ๐ช๐ง๐พ๐ธ๐ฎ
IE ๐ฌ๐ท๐ฎ๐ท HanZ ๐จ๐ณ๐น๐ผ๐ญ๐ฐ๐ฏ๐ต Aggl Eo๐น๐ท๐ซ๐ฎ;๐ช๐ช๐ญ๐บ๐ฐ๐ท๐ฒ๐ณ
Poly ๐ฌ๐ฑ Aus ๐ฎ๐ฉ๐ฒ๐พ๐ต๐ญ๐ฒ๐ฌ Sem ๐ฎ๐ฑ๐ฑ๐ง๐ฒ๐ฆ Cel ๐ด๓ ง๓ ข๓ ท๓ ฌ๓ ณ๓ ฟ๐ฎ๐ชGd
Linguistics
ClimateAgnotologyDisinformation
SentientismFlexitarian
Astro๐๐๐๐Calligraphy๐ชถ
Linux
Austin Spires @austinspires.com Internetting professionally and hobbially
Research at Fastly
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. โ๐ฎ๐ณ โง โ๐ฌ๐ง โง โ๐ช๐บ โง โ๐บ๐ธ #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
HD Moore @hdm.io 
a programmer the way a tomato is a fruit @verygoodsoftwarenotvirus.ru golang writer, weight lifter, friend to some, lover to most.
https://blog.verygoodsoftwarenotvirus.ru
๐Austin, TX- M Mร riรฉ @mariziv.bsky.social Math enthusiast
@mariziv@mastodon.social
jnpn @jnpn.bsky.social Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT
Jon Fisher @jonfisher.bsky.social OKC
Fred Peterson @noisefad.bsky.social The REAL real Bobby Peru.
No Trump voters. No DMs unless I know you.
the_simian @the-simian.bsky.social Human, we are friends now.
Sakura*_*Hiro @sakurahiro.bsky.social Sakura | 26 | She/Her | ๐| Artist๐จ
Handshake (HNS) @handshake.bsky.social The Open Source Rootzone
Protocol: handshake.org
Guides & Docs: https://hsd-dev.org
Telegram: t.me/handshake_hns
Developer's Telegram: t.me/hns_tech
Repo: github.com/handshake-org
#HNS #Handshake #FOSS
Formal Land @formalland.bsky.social 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/
Utensil @iutensil.bsky.social https://github.com/utensil
Formal Methods Europe @formalmtds.bsky.social Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Josรฉ A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Dan Plyukhin @dplyukhin.bsky.social dplyukhin.github.io