screentellect @screentellect

Technology and web development. Joined February 2021

Tweets

1
Followers

2
Following

129
Likes

6

screentellect @screentellect

5 years ago

Learn enough of these and you’ll be the life of the party.

Quanta Magazine @QuantaMagazine

5 years ago

Learn enough of these and you’ll be the life of the party.

1 29 107 0 18

Download Image

0 0 0 0 0

Serokell @serokell

7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI

Gromco Inc @GromcoInc

0 Followers 2 Following

Stefan Zeiger @StefanZeiger

4K Followers 191 Following Scala coder, dev tools @databricks, ex Slick tech lead, ex Scala compiler team member

Engineering @XEng

1.5M Followers 5 Following updates from our engineering team

Uncle Bob Martin @unclebobmartin

223K Followers 355 Following Software Craftsman

Eric Torreborre @etorreborre

7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)

Where computation meets knowledge. Creators of Mathematica, @Wolfram_Alpha, Wolfram Language. Founded in 1987 by @stephen_wolfram.

Wolfram @WolframResearch

66K Followers 337 Following Where computation meets knowledge. Creators of Mathematica, @Wolfram_Alpha, Wolfram Language. Founded in 1987 by @stephen_wolfram.

Official info source for Wolfram|Alpha, the computational intelligence engine by @WolframResearch founded by @stephen_wolfram.

Wolfram|Alpha @Wolfram_Alpha

62K Followers 723 Following Official info source for Wolfram|Alpha, the computational intelligence engine by @WolframResearch founded by @stephen_wolfram.

Creating ideas, technology, science, companies, books, ...
#WolfLang #WolframPhysics #WolframAlpha #Mathematica @WolframResearch

Stephen Wolfram @stephen_wolfram

176K Followers 4 Following Creating ideas, technology, science, companies, books, ... #WolfLang #WolframPhysics #WolframAlpha #Mathematica @WolframResearch

Tikhon Jelvis @tikhonjelvis

3K Followers 250 Following I like programming languages. A lot. Tools, types and functions.

Brad @bradtheilman

756 Followers 2K Following Neuroscientist: neuromorphic computing, songbirds, applied topology Cincinnati - San Diego - Albuquerque KD6UC

Universal process theory. Researching diagrammatic foundations of information, computation, mathematics, physics, biology & consciousness. @wires_wires

Statebox @statebox

2K Followers 153 Following Universal process theory. Researching diagrammatic foundations of information, computation, mathematics, physics, biology & consciousness. @wires_wires

Academic. Fan of concurrency, string diagrams and linear algebra (https://t.co/kvk4u228p2). Head of Compositionality Group at Taltech (https://t.co/W0XAIhMCAK).

Pawel Sobocinski @PawSob

1K Followers 804 Following Academic. Fan of concurrency, string diagrams and linear algebra (https://t.co/kvk4u228p2). Head of Compositionality Group at Taltech (https://t.co/W0XAIhMCAK).

Working on infrastructure for the future: collaborative modeling, collective intelligence, networked mathematics, and safe deployment.

Topos Institute @ToposInstitute

3K Followers 23 Following Working on infrastructure for the future: collaborative modeling, collective intelligence, networked mathematics, and safe deployment.

tmf is the connective cover of the global sections of the sheaf of E∞ ring spectra on the compactified moduli stack of elliptic curves

Derived memes for spe... @DerivedMemes

3K Followers 6 Following tmf is the connective cover of the global sections of the sheaf of E∞ ring spectra on the compactified moduli stack of elliptic curves

David Jaz Myers @myers_jaz

1K Followers 187 Following Got my PhD in notation. Categories, cohesion, things, ranting about how we need to abolish human rental.

Emily Riehl @emilyriehl

15K Followers 512 Following category theorist, working mathematician

Andrej Bauer @andrejbauer

7K Followers 147 Following Mathematician, computer scientist, aikidoka

Paolo Perrone @PaoloPMath

2K Followers 100 Following Mathematician & math teacher.

Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death

davidad 🎇 @davidad

20K Followers 9K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death

Applied Compositional Thinking. Also at @CyberCatInst and @julesh@mathstodon.xyz

julesh @_julesh_

10K Followers 135 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]

If all you have is a functor, everything looks like a diagram.
quantum computing // artificial intelligence // monoidal categories
@AlexisToumi@mathstodon.xyz

alexis.toumi @AlexisToumi

1K Followers 254 Following If all you have is a functor, everything looks like a diagram. quantum computing // artificial intelligence // monoidal categories @[email protected]

Pure Mathematician+pianist. Grieving involuntary childlessness. Author: Unequal: The mathematics of when things do and don't add up, out 2025

Dr Eugenia Cheng --no... @DrEugeniaCheng

26K Followers 0 Following Pure Mathematician+pianist. Grieving involuntary childlessness. Author: Unequal: The mathematics of when things do and don't add up, out 2025

Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity

Joel David Hamkins @JDHamkins

26K Followers 281 Following Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity

Chief Scientist @ Quantinuum - Ex Prof @ Oxford - Em Prof @ Wolfson College - Distinguished Visit Res Chair @ Perimeter - Composer @ Black Tish

bOb cOeCke @coecke

9K Followers 598 Following Chief Scientist @ Quantinuum - Ex Prof @ Oxford - Em Prof @ Wolfson College - Distinguished Visit Res Chair @ Perimeter - Composer @ Black Tish

Compositionality @compositional_j

712 Followers 10 Following open-access journal for compositional math and science

Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.

Ilya Sergey @ilyasergey

6K Followers 960 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.

ICFP Conference @icfp_conference

4K Followers 18 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.

Domen Kožar @domenkozar

5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J

@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.

Shriram Krishnamurthi... @ShriramKMurthi

21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.

Graham Hutton @haskellhutt

8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴󠁧󠁢󠁳󠁣󠁴󠁿

Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}

Satnam Singh @satnam6502

20K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}

25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKm

naomi (forgetful func... @fixedpointfae

Erik Meijer @headinthebox

32K Followers 2 Following

Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.

Dmitrii Kovanikov @ChShersh

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

Contrarian. Pro-privacy. Anti-authoritarian. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. Gay af.

Genocide is terrible.

Susan Potter @SusanPotter

7K Followers 2K Following Contrarian. Pro-privacy. Anti-authoritarian. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. Gay af. Genocide is terrible.

Founder/Chief Scientist @Positron_AI

Haskell, category theory, AI, and safety.

https://t.co/wYaTDISbEB
https://t.co/XwbnuaOUzq
🦋 @kmett.ai

Edward Kmett @kmett

16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai

2x Dad, AI Old-Timer, FP Enjoyer, Math for Fun, Startup Leadership Roles in: Fintech, Healthcare, RegTech, Biotech. B2B, B2B2C, Successful Exit CTO.

Rick @rickasaurus

10K Followers 3K Following 2x Dad, AI Old-Timer, FP Enjoyer, Math for Fun, Startup Leadership Roles in: Fintech, Healthcare, RegTech, Biotech. B2B, B2B2C, Successful Exit CTO.

Brian McKenna @puffnfresh

8K Followers 2K Following Computational trinitarianist. Talk to me about programming languages. The parrot is real. λΠ

Father of three, Creator of Ruby on Rails + Omarchy, Co-owner & CTO of 37signals, Shopify director, NYT best-selling author, and Le Mans 24h class-winner.

DHH @dhh

566K Followers 137 Following Father of three, Creator of Ruby on Rails + Omarchy, Co-owner & CTO of 37signals, Shopify director, NYT best-selling author, and Le Mans 24h class-winner.

Job: @Shopify
Opinions: Mine
PGP: 4CE9 1B75 A798 28E8 6B1A A8BB 9531 70BC B4FF AFC6
Partner: @ebiltwin and cats.
he/him
@tenderlove@mastodon.social

Aaron Patterson @tenderlove

65K Followers 896 Following Job: @Shopify Opinions: Mine PGP: 4CE9 1B75 A798 28E8 6B1A A8BB 9531 70BC B4FF AFC6 Partner: @ebiltwin and cats. he/him @[email protected]

Nate Berkopec @nateberkopec

25K Followers 93 Following Ruby and Rails applications, made fast. 日本語: @nateberkopec_ja

Open-source, Elixir-powered computational notebook.

Automate tasks, analyze data, run ML models, prototype, and build internal tools with notebook-based apps.

Livebook @livebookdev

5K Followers 2 Following Open-source, Elixir-powered computational notebook. Automate tasks, analyze data, run ML models, prototype, and build internal tools with notebook-based apps.

Elixir Tip @ElixirTip

14K Followers 19 Following Daily tips for Elixir!

Adam Wathan @adamwathan

261K Followers 793 Following Creator of @tailwindcss. Listener of Slayer. Austin 3:16.

Andrea Leopardi @whatyouhide

7K Followers 359 Following Member of the @elixirlang core team, speaker, writer. he/him.

Isaac Yonemoto is coo... @DNAutics

3K Followers 242 Following Biotech founder, former software plumber, former ivory tower video: https://t.co/5BsV4r5TsH code: https://t.co/d0RaSeegaG

Creator of @elixirlang. Chief Adoption Officer at @dashbit, where we build https://t.co/FK8F4URbVG and https://t.co/xncEVrvWml.

José Valim @josevalim

53K Followers 73 Following Creator of @elixirlang. Chief Adoption Officer at @dashbit, where we build https://t.co/FK8F4URbVG and https://t.co/xncEVrvWml.

Phoenix Framework @elixirphoenix

20K Followers 0 Following The @elixirlang web framework that provides peace of mind from prototype to production

🐘 https://t.co/wwr3IDE0lx 🔸️ Software Engineer, OSS contributor: #Scala #JVM #AWS. Opinions are my own. In free time 📸 or 🥁🎶🤘https://t.co/nEmOcQWD7t

@[email protected]... @baldram

961 Followers 2K Following 🐘 https://t.co/wwr3IDE0lx 🔸️ Software Engineer, OSS contributor: #Scala #JVM #AWS. Opinions are my own. In free time 📸 or 🥁🎶🤘https://t.co/nEmOcQWD7t

Scala Jobs @ScalaJobsDev

3K Followers 2K Following Follow us for the latest #Scala jobs from https://t.co/1evuxzwIPo. Are you hiring or looking for a job? Tag us to get retweeted!