Wildtrees @Wildtrees4

Introducing jsCoq: an unabridged version of #Coq completely in your browser; for all your teaching and other theorem proving needs. So glad @ejgallego let me weasel my way into working on the release for Coq 8.10, which will be out soon. It was a blast. jscoq.github.io

3 33 90 0 3

View Details

Denis Stoyanov 🐜 @xgrommx

7 years ago

3 21 89 0 1

View Details

A team of Branding, UX / UI / Web Design, Mobile Development, eCommerce & Wordpress experts based in the heart of Berlin, Germany.

SOHO @sohoagencynyc

160 Followers 3K Following A team of Branding, UX / UI / Web Design, Mobile Development, eCommerce & Wordpress experts based in the heart of Berlin, Germany.

Cleve Littlefield ☮... @cleverguy25

85 Followers 639 Following Developer, Architect, Tester, PM, Manager. Love C#, .Net and Azure, JS, Agile, and nowgolang. Love to travel and love geek stuff.

Write complex Liquid statements with ease. Dropkiq Autocompletion gives your users the confidence they need to write their statements correctly the first time.

Dropkiq @LiquidDropkiq

73 Followers 1K Following Write complex Liquid statements with ease. Dropkiq Autocompletion gives your users the confidence they need to write their statements correctly the first time.

Alicia Lamarche @aliciaafterdark

1K Followers 334 Following NSF Postdoc @ UofUtah. I like algebraic/arithmetic geometry. she/her.

Fabrizio Schiavi @fabrizioschiavi

4K Followers 2K Following https://t.co/vZW01eFmHa #designer

Dropkiq @LiquidDropkiq

73 Followers 1K Following Write complex Liquid statements with ease. Dropkiq Autocompletion gives your users the confidence they need to write their statements correctly the first time.

🧳President @infinite_red 🧠 Google Dev Expert 👀 Immortal (so far) ⚛ Chain React 🍸MS MVP 🧙‍Psychogogic Beast 📕 Author 🤯Top Psychic 2035

Gant Laborde @GantLaborde

20K Followers 3K Following 🧳President @infinite_red 🧠 Google Dev Expert 👀 Immortal (so far) ⚛ Chain React 🍸MS MVP 🧙‍Psychogogic Beast 📕 Author 🤯Top Psychic 2035

Andrew Shitov @andrewshitov

391 Followers 204 Following

Senay Yitbarek @SenayYitbarek

861 Followers 2K Following Assistant professor @UNC. Scientific Humanist. Evolutionary ecologist. 🇪🇷🇳🇱🇺🇸

C. Brandon Ogbunu @big_data_kane

8K Followers 1K Following Scientist + Humanist + Pugilist. 70% Smoke. 30% Stack.

Evolution/HIV/drug resistance/soft sweeps/clinical data/SFSU/inclusivity in computing. San Francisco State University.
She/her. Videos https://t.co/E0yODofhDA

Dr Pleuni Pennings #B... @pleunipennings

4K Followers 2K Following Evolution/HIV/drug resistance/soft sweeps/clinical data/SFSU/inclusivity in computing. San Francisco State University. She/her. Videos https://t.co/E0yODofhDA

Anglo-Swiss. My blog is still alive. @stephtara@indieweb.social when this ship is done sinking. ADHD, cats, judo, sailing, people, communities. Unfacebooked...

[email protected]... @stephtara

4K Followers 2K Following Anglo-Swiss. My blog is still alive. @[email protected] when this ship is done sinking. ADHD, cats, judo, sailing, people, communities. Unfacebooked...

Dmitrii Kovanikov @ChShersh

72K Followers 246 Following Dysfunctional Programming account #1. Senior SWE. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.

Tech Reporter at Straight Arrow News - mthalen@san.com - mikaelthalen@protonmail.ch - Signal: mikaelthalen.12

Mikael Thalen @MikaelThalen

30K Followers 890 Following Tech Reporter at Straight Arrow News - [email protected] - [email protected] - Signal: mikaelthalen.12

Maddie Connors @personallyrich

2K Followers 964 Following Comedian | Writer

Eirini Malliaraki @irinimalliaraki

4K Followers 5K Following Born half beast half goddess & will die as a machine/ unlocking breakthroughs @RenPhilanthropy / natureculture

Civil rights attorney. Longtime public defender. Dad. Executive Director, Zealous. Fighting everyday to share the truth about public health & safety.

Scott Hechinger @ScottHech

108K Followers 5K Following Civil rights attorney. Longtime public defender. Dad. Executive Director, Zealous. Fighting everyday to share the truth about public health & safety.

Watislaw @watislaw

111 Followers 860 Following proofs blah blah blah lecturer blah blah blah

London Perl Workshop, the United Kingdom Perl Workshop
organisers@londonperlworkshop.org

London Perl Workshop @LondonPerl

148 Followers 35 Following London Perl Workshop, the United Kingdom Perl Workshop [email protected]

People interested in the Perl & Raku (formerly Perl6) programming languages in Silicon Valley, a local chapter of the international Perl Mongers

Silicon Valley Perl @SVPerl

361 Followers 42 Following People interested in the Perl & Raku (formerly Perl6) programming languages in Silicon Valley, a local chapter of the international Perl Mongers

Ian Nepomniachtchi @lachesisq

147K Followers 32 Following Playing for @AuroraGaming_GG

International Chess F... @FIDE_chess

336K Followers 1K Following

♟️Known for Chess; Unknown for Puns!

Enquiry: vishy64@gmail.com

Viswanathan Anand @vishy64theking

676K Followers 121 Following ♟️Known for Chess; Unknown for Puns! Enquiry: [email protected]

Computer oceanographer and music and art and other stuff guy. s/castAR/@tiltfive/ evangelist. Pinball is also fun. Слава Україні!

Alan Swithenbank @AlanSwithenbank

656 Followers 2K Following Computer oceanographer and music and art and other stuff guy. s/castAR/@tiltfive/ evangelist. Pinball is also fun. Слава Україні!

A programming language empowering everyone to build reliable and efficient software.

** This account is no longer active. Follow us on other platforms! **

Rust Language @rustlang

153K Followers 2 Following A programming language empowering everyone to build reliable and efficient software. ** This account is no longer active. Follow us on other platforms! **

Pascal @killercup

3K Followers 385 Following come for rustlang tweets, stay for bad puns. he/him

Created Emscripten&Binaryen, co-created WebAssembly. Google. Opinions my own, not my company's. Bluesky&Mastodon links in: https://t.co/mRoX5Kjh3I he/they

Alon Zakai @kripken

5K Followers 886 Following Created Emscripten&Binaryen, co-created WebAssembly. Google. Opinions my own, not my company's. Bluesky&Mastodon links in: https://t.co/mRoX5Kjh3I he/they

FERNANDO FQ400 🏳�... @FernandoM76

1K Followers 998 Following Community Specialist 🖥️ | Racing games advocate 🎮 | I can make my own opinions, thanks 🛡️ | he/him 🇵🇹 🇪🇺

Now: https://t.co/ZKydeXCGoJ and https://t.co/JrJ392rYKo; Past: Shopify, Code Wrangler on Moshi Monsters & @PopJam. Contributor to Argonaut, glue and wiring.

Sean Parsons @seanparsons

1K Followers 2K Following Now: https://t.co/ZKydeXCGoJ and https://t.co/JrJ392rYKo; Past: Shopify, Code Wrangler on Moshi Monsters & @PopJam. Contributor to Argonaut, glue and wiring.

13protons @13protons

422 Followers 270 Following I will harness the power of computers. My shoes are made not from one bird, but all birds.

Haskell. NixOS. Physics.
Intellectual scavenger. Asymptotic perfectionist.

@ttuegel@functional.cafe

Thomas Tuegel @ttuegel

831 Followers 249 Following Haskell. NixOS. Physics. Intellectual scavenger. Asymptotic perfectionist. @[email protected]

Salesforce.org @SalesforceOrg

106K Followers 3K Following Follow us on @Salesforce for all things Education and Nonprofit!

Technology, programming, coffee, society, art, and the making of things. #Golang #k8s #git #bash #Docker #Postgres #webdev #SQL

@UkiahSmith@mastodon.social

Ukiah Danger Smith �... @UkiahSmith

1K Followers 28 Following Technology, programming, coffee, society, art, and the making of things. #Golang #k8s #git #bash #Docker #Postgres #webdev #SQL @[email protected]

A Christian media ministry sharing the gospel worldwide through TV, web & mobile, evangelism, and printed resources.
Featuring John Bradshaw @BradshawKiwi

It Is Written @itiswritten

83K Followers 917 Following A Christian media ministry sharing the gospel worldwide through TV, web & mobile, evangelism, and printed resources. Featuring John Bradshaw @BradshawKiwi

Monet JS @MonetJS

137 Followers 110 Following Purely functional JavaScript Monad Library

Jakub Strojewski @ulfryk

244 Followers 286 Following Software Engineer, #functionalprogramming enthusiast

Chris Myers @cwmyers

458 Followers 545 Following Follower of Jesus, husband, dad, (dys)functional programmer and bitcoiner at Block. Author of @MonetJS.

Chetan Bhasin @ChetanBhasin

207 Followers 204 Following Making software better. Or, well, trying to.

Frank McSherry (@fran... @frankmcsherry

4K Followers 0 Following Now found elsewhere https://t.co/XOnfCV5exT

Tokio @tokio_rs

12K Followers 28 Following Rust's asynchronous runtime.

Creator of @tokio_rs. Building Toasty, an ORM for Rust (https://t.co/1Fm2upgNyK). Prev: Cargo, Ruby's Bundler, and others. Ruby on Rails core team alum.

Carl Lerche @carllerche

6K Followers 232 Following Creator of @tokio_rs. Building Toasty, an ORM for Rust (https://t.co/1Fm2upgNyK). Prev: Cargo, Ruby's Bundler, and others. Ruby on Rails core team alum.

@wycats@techhub.social

OSS enthusiast and @wykittens's parent. Heroku. Co-author of Extensible Web Manifesto. Front-end developer. @wifelette's husband. he/him

Yehuda Katz @wycats

60K Followers 677 Following @[email protected] OSS enthusiast and @wykittens's parent. Heroku. Co-author of Extensible Web Manifesto. Front-end developer. @wifelette's husband. he/him

fasterthanlime (find ... @fasterthanlime

30K Followers 348 Following hi, I'm amos! 🍃 they/them 🐿️ co-host of https://t.co/pBmj7XFdNi 🫐 teacher, video maker, software mercenary ✨ be kind, be curious

Patrick McKenzie @patio11

196K Followers 809 Following I work for the Internet and am an advisor to @stripe. These are my personal opinions unless otherwise noted.

Sam Saffron @samsaffron

9K Followers 364 Following Cofounder and co-CEO https://t.co/dFa0cLo9yn , rubiest, SQL fan, open source developer. https://t.co/JG1iQLEZYq

Indoor enthusiast. Co-founder https://t.co/e62S5uByfO / https://t.co/Tuh5wHPHTI. Let’s be kind to each other. I am no longer on twitter. Find me @codinghorror@infosec.exchange

Jeff Atwood @codinghorror

263K Followers 2 Following Indoor enthusiast. Co-founder https://t.co/e62S5uByfO / https://t.co/Tuh5wHPHTI. Let’s be kind to each other. I am no longer on twitter. Find me @[email protected]

andrew roberts @andwrobs

158 Followers 516 Following software engineer, technology hobbyist • (re)posts about good software, infra, web, iOS, maps

Daniel Vassallo @dvassallo

203K Followers 2K Following 🚀 https://t.co/X5QMm3wlHe 🏭 https://t.co/ZvHZp55zso 🕹️ https://t.co/vHWIhHxTv6

Andy Kohler @AndyKohler1

212 Followers 2K Following He/him. Come on in. Opinions my own, also I never post opinions

Bootstrapped @ScrapingBee and exited it for 8 figures.

Now acquiring SaaS (dev-tools/API/data) between $500k-$2m ARR.

Talks about growth, SEO & tech.

Pierre de Wulf @PierreDeWulf

38K Followers 503 Following Bootstrapped @ScrapingBee and exited it for 8 figures. Now acquiring SaaS (dev-tools/API/data) between $500k-$2m ARR. Talks about growth, SEO & tech.

Tweeting about all things web-scraping.

We're also an API that handles headless browsers and rotates proxies for you.

@TinySeedFund 2020

ScrapingBee @ScrapingBee

5K Followers 3 Following Tweeting about all things web-scraping. We're also an API that handles headless browsers and rotates proxies for you. @TinySeedFund 2020