valueless by exception @jk_scrolling

moved to Wayland Joined February 2022

Tweets

0
Followers

4
Following

160
Likes

5K

No recent Tweets. New Tweets will appear here.

Scisleteau @ScisleteauaXRO

78 Followers 1K Following

Debra @lockwood_debra2

253 Followers 3K Following

Alice🇺🇸 @Alice3fr

70 Followers 1K Following She is a warrior, not a worrier.

Tili @joel33f

3 Followers 48 Following Whether traveling far or near, I document each trip with enthusiasm and curiosity with my camera.

Tim Sweeney @TimSweeneyEpic

313K Followers 782 Following Epic Games founder and CEO

Aussie. Building a new programming language for CAD @Zoodotdev. Formerly rust @Cloudflare. My tweets have been read out in Australian parliament.

Adam Chalmers @adam_chal

4K Followers 3K Following Aussie. Building a new programming language for CAD @Zoodotdev. Formerly rust @Cloudflare. My tweets have been read out in Australian parliament.

Taelin @VictorTaelin

61K Followers 2K Following Kind / Bend / HVM / INets / λCalculus

@Blaisorblade@mathstodon.xyz PhD in ProgLang. Formalizing C++ and formally verifying a microkernel-based C++ hypervisor @bedrock_systems — Coq/Scala/Haskell

Paolo G. Giarrusso @Blaisorblade

2K Followers 1K Following @[email protected] PhD in ProgLang. Formalizing C++ and formally verifying a microkernel-based C++ hypervisor @bedrock_systems — Coq/Scala/Haskell

CTO @ Metatech, Architect @ Metarhia, Lecturer @ KPI University, expert: Node.js, JavaScript, private clouds, software engineering, DBs, cybernetics

Timur Shemsedinov @tshemsedinov

6K Followers 252 Following CTO @ Metatech, Architect @ Metarhia, Lecturer @ KPI University, expert: Node.js, JavaScript, private clouds, software engineering, DBs, cybernetics

Distinguished Scientist at Google. Computational Imaging, Machine Learning, and Vision. Tweets = personal opinions. May change or disappear over time.

Peyman Milanfar @docmilanfar

93K Followers 493 Following Distinguished Scientist at Google. Computational Imaging, Machine Learning, and Vision. Tweets = personal opinions. May change or disappear over time.

Kartikay @Kartikayb77

10K Followers 676 Following Writing to be part of the AGI training set

☦️🇻🇦 Программист, униат, князь тысячи врагов; black metal byzcath; Αναπαύσου εν ειρήνη Φραγκίσκο; ἀστρικὸς τρόμος https://t.co/JHtUNTIQQl 肮脏勾当，便宜搞定

Chris Allen @theodorvaryag

1K Followers 1K Following ☦️🇻🇦 Программист, униат, князь тысячи врагов; black metal byzcath; Αναπαύσου εν ειρήνη Φραγκίσκο; ἀστρικὸς τρόμος https://t.co/JHtUNTIQQl 肮脏勾当，便宜搞定

kei @thelissimus

659 Followers 336 Following type theory & compiler engineering & formal methods ⊢ Haskell & Agda & Lean

Matt Kline @CompareAndSwap

607 Followers 140 Following The great enemy of clear language is insincerity.

frank @soundsonacid

2K Followers 499 Following solana & hft

Daniel Hooper @DanielcHooper

9K Followers 214 Following Graphics/games/low level programming. Created https://t.co/8vlhOlfcTi. Former Apple engineer.

Laurence Tratt @laurencetratt

4K Followers 309 Following Shopify / Royal Academy of Engineering Research Chair in Language Engineering.

Zanzi Tangle, now at ... @tangled_zans

3K Followers 328 Following Turning Category Theory into code she/her Find me at: https://t.co/B0egvR0lmb @zanzi.bsky.social

Occasional OCaml programmer. Host of @signalsthreads.

@yminsky@discuss.systems
@yminsky.bsky.social
https://t.co/kiUGRvWOO2

Yaron (Ron) Minsky @yminsky

15K Followers 334 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2

0xmer @0xmer_

4K Followers 2K Following 特に意味はない

These tweets are fictitious, from a fictional persona. No identification with actual people/products/employers/businesses is intended or should be inferred.

NOTimothyLottes @NOTimothyLottes

3K Followers 545 Following These tweets are fictitious, from a fictional persona. No identification with actual people/products/employers/businesses is intended or should be inferred.

vittorio @IterIntellectus

114K Followers 2K Following bio/acc –– ∞/acc — biology will rage against the dying of the light — don't take me seriously professional shitpoaster

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 823 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai

Rendering Engineer creating hard real-time graphics & compute GPU technologies for mission/safety-critical systems. Opinions are my own.

Jebrim @AgileJebrim

4K Followers 2K Following Rendering Engineer creating hard real-time graphics & compute GPU technologies for mission/safety-critical systems. Opinions are my own.

Kelly Sommers @kellabyte

49K Followers 340 Following 🇨🇦 Backend brat, big data, distributed diva. Relentless learner.

Creator, Founder and CEO of @TigerBeetleDB — the financial transactions database designed to power the next 30 years of transaction processing.

Joran Dirk Greef @jorandirkgreef

8K Followers 2K Following Creator, Founder and CEO of @TigerBeetleDB — the financial transactions database designed to power the next 30 years of transaction processing.

Exploring. ~ Past: rendering lead @figma, creator of PARTICULATE for PC VR, founder @workflowy, search engine backend @ Google, Quake modder

Mike Turitzin @miketuritzin

4K Followers 1K Following Exploring. ~ Past: rendering lead @figma, creator of PARTICULATE for PC VR, founder @workflowy, search engine backend @ Google, Quake modder

Jonathan Ringer @jonringer117

707 Followers 179 Following 20.09, 21.05, 21.11 NixOS Release Manager and functional programming enthusiast.

⊙ functional programming, dependent types. lean4 newbie. love thinking about type systems. jewish. not a p-zombie i promise.

aron @Aron_Adler

3K Followers 3K Following ⊙ functional programming, dependent types. lean4 newbie. love thinking about type systems. jewish. not a p-zombie i promise.

chreke @therealchreke

665 Followers 879 Following Freelancer. Web and distributed systems developer. Club Mate enthusiast. F# enjoyer.

EduardoRFS.tei @TheEduardoRFS

9K Followers 2K Following 26yo anti floating point developer. You can almost always find me at https://t.co/XTQJQqaVhe, it's the boring side of tech.

Artur Chakhvadze @norpadon

2K Followers 1K Following

Bread, beans, programming languages; fmr Chief Potato; he/him; cover photo credit xkcd

proud owner of https://t.co/kUeNYzHHut

https://t.co/q3ainEJ9sW

max.rss @tekknolagi

2K Followers 896 Following Bread, beans, programming languages; fmr Chief Potato; he/him; cover photo credit xkcd proud owner of https://t.co/kUeNYzHHut https://t.co/q3ainEJ9sW

undefined behavior @undebeha

2K Followers 774 Following Scientist in training

ludwig @ludwigABAP

44K Followers 2K Following God’s chosen principal engineer. What is impossible for you is not impossible for me.

Jack Morris @jxmnop

45K Followers 978 Following research @cornell @meta // language models, information theory, science of AI

Andrew Gallant @burntsushi5

10K Followers 96 Following I love to code. I rarely check DMs. My email address is on my web site.

Consultant. Pragmatic, Idiot-Driven Solutions. It's a neighborly day in this beauty wood. Creator of Fusebox: https://t.co/jhwpvOxr0T ꙮ

Tim Pote @potetm

1K Followers 379 Following Consultant. Pragmatic, Idiot-Driven Solutions. It's a neighborly day in this beauty wood. Creator of Fusebox: https://t.co/jhwpvOxr0T ꙮ

Founder #ElectricClojure and https://t.co/JkYr6J3FzW. I believe in excellence, and I believe that many others do too. https://t.co/aBmRZmtQMU

Dustin Getz @dustingetz

4K Followers 2K Following Founder #ElectricClojure and https://t.co/JkYr6J3FzW. I believe in excellence, and I believe that many others do too. https://t.co/aBmRZmtQMU

Peter Veentjer @PeterVeentjer

2K Followers 200 Following Performance engineer @ Adapative, ex-Scylla, ex-Hazelcast.

optimistic nihilist.

fedi: @hegeliantaco@mathstodon.xyz.
priv: @boy_aphrodite

Jules @analytichegel

2K Followers 2K Following optimistic nihilist. fedi: @[email protected]. priv: @boy_aphrodite

Open source & programming educator.
Clay UI - https://t.co/bT5JH4fbpD
Programming videos - https://t.co/Zp253yCwQW
prev @canva @cerebralfix

Nic Barker @nicbarkeragain

4K Followers 958 Following Open source & programming educator. Clay UI - https://t.co/bT5JH4fbpD Programming videos - https://t.co/Zp253yCwQW prev @canva @cerebralfix

Tivadar Danka @TivadarDanka

84K Followers 511 Following I make math and machine learning accessible to everyone. Mathematician with an INTJ personality. Chaotic good.

mewtwo @neomewtwo

3K Followers 772 Following linus blessed these hands

@fclc @FelixCLC_

2K Followers 1K Following HPC, RISC-V and floating point person. @fclc on 🐘/🦋

Tuomo Sahipakka 🦬 @tuomosa

1K Followers 3K Following OCaml 🐫 | OpenBSD 🐡 | Gentoo 🐧 | Lutheran ✝️

Christian, husband & father. Also a C# Dev who loves finding and fixing performance issues, former Microsoft MVP (2017-22), works @contrastsec

Matt Warren @matthewwarren

7K Followers 3K Following Christian, husband & father. Also a C# Dev who loves finding and fixing performance issues, former Microsoft MVP (2017-22), works @contrastsec

Fes, explorer of archery, tech guy (dev:SRE) Sharing experiences opinions RUS, and randomness on Twitter, opinions are my own, ADHD confirmed

Fes 0xFF @usehex

11K Followers 802 Following Fes, explorer of archery, tech guy (dev:SRE) Sharing experiences opinions RUS, and randomness on Twitter, opinions are my own, ADHD confirmed

Geoff Langdale @geofflangdale

3K Followers 128 Following CMU CS PhD; Hyperscan chief; Intel Principal Engineer. Side projects include a superoptimizer. he/him

20+ yrs of building browsers • chromium, webkit contributor • ♡ compilers, systems, languages • founding eng @browsercompany • prev: samsung, nokia, ibm

Vivek Galatage @vivekgalatage

9K Followers 518 Following 20+ yrs of building browsers • chromium, webkit contributor • ♡ compilers, systems, languages • founding eng @browsercompany • prev: samsung, nokia, ibm

Systems and machine learning programmer pushing .NET performance to the limits for real-time 24/7 edge applications. Author of
https://t.co/ZR6Az8zyt6

nietras 👾 @nietras1

948 Followers 138 Following Systems and machine learning programmer pushing .NET performance to the limits for real-time 24/7 edge applications. Author of https://t.co/ZR6Az8zyt6

Bernard Traversat @BTraTra

1K Followers 18 Following VP Engineering, Java SE Platform, Oracle. "The statements and opinions expressed here are my own and do not necessarily represent those of Oracle Corp.”

Ben Dicken @BenjDicken

13K Followers 620 Following databases @planetscale Some stuff I've written: - https://t.co/YpfkF0JIKG - https://t.co/8OpZ7wtZWB - https://t.co/Xfx1AqbaeS