
David Renshaw
@dwrensha
โข Formalizing math problems in Lean: dwrensha.github.io/compfiles/.
โข Acronymizing every word: acronymy.net.
โข Maintaining capnproto-rust.
ID: 391085251
https://www.youtube.com/@dwrensha 15-10-2011 01:15:33
542 Tweet
562 Followers
310 Following

mawif
@mawif
Otter apologist.
Richard Kelley
@richardkelley
Roboticist and senior engineer for the State of Nevada's FAA drone test site.
Felipe O. Carvalho
@_felipe
@ApacheArrow / Databases / Compilers @dbt_labs. (past @SDFLabs, VoDa, @Spotify). C++/OCaml/TLAโบ๐ง๐ท โ ๐ธ๐ช โ ๐ bento.me/felipe
Eric Fredine
@fredine
Principal engineer writing code for fun and profit. Lapsed photographer. Husband. Father. Aspiring fly fisher.
Chris Van Horne
@cwvh

Manish Gill
@mgill25
BS - manishgill.bsky.social | EM @ClickHouseDB | parallelthoughts.xyz | berlinsystems.xyz | AI Research @TomTom |
Kenton Varda
@kentonvarda
Tech lead for @Cloudflare Workers, sandstorm.io, capnproto.org, lanparty.house. ๐ฆ kentonvarda.com
emilia (in absentia)
@lazerwalker
find me elsewhere.
marcelo
@mnaeraxr
Not too high entropy, not too low entropy, just complex enough.
Sven Cattell
@comathematician
Founder of @aivillage_dc. Former topologist, and data scientist at @elastic. I blue team math. ๐
bblum chesed yibaneh
@bubblingbeebles
i like biking, baking, hockey, games board & dance, linguistics programming & natural. they/them. ๆฅๆฌ่ชๅขใฎ@bblum4649ใใใฒใ
eatcosmos
@love_analog
AI Coders + AI Mathematician + AI Scientists + AI Artists + AI Economy + AI Biology + What is consciousness and the meaning of life ?
Carl Patenaude
@carlpatenaude
Esoteric Crawfordian
Tom 7
@tom7
lexicographic NES AIs, alphabetical star wars, video games, fonts, album-a-day, expert mode running, chiptune, programming languages, etc.
Runchao Han
@runchao_han
Vibe coder @babylonlabs_io โ๏ธ wannabe PhDegen ๐ฅท good vibes only ๐๏ธ
MasFlam
@masflam
software engineer with a penchant for cryptography | raps: @sharpen_rap
๐๐ Viking Resistance HQ ๐๐
@vikingfbr
Lawyer, engineer, resistor, transistor, entropy hacker, fractal explorer, spacetime raider #Resistance #EqualRights #EqualJustice โ๏ธ๐ฆ ๐ฝ๐ฑ๐ท๐ฉ๐ฐ๐บ๐ฆ๐ต๐ธ๐ช๐บ๐บ๐ณ
Mary jo Riggs
@crossgatta
๐ Entrepreneur โข Consultant โข Investor ๐ฆ Leader โข Mentor โข Catalyst ๐บ 42 Countries๐ โฌ๐ฅ๐ฅโฌ
Jason Manuel
@jasonamanuel
ASU graduate. Python + web programming + programming languages.
Jinhao Tan
@tamkamhou
Ph.D. student @HKUniversity, interested in programming languages, type systems, theorem proving, program verification, and logics.
thyliorus
@thyliorus
k8s, Rust, programming languages. All started with my ๐ for ๐ง @[email protected]
Henry
@h3nry_db

Sophia Smith
@sophiasmit62947

Aziza
@aziza3324446766

Pauhouk
@pauhouk46508

Cole Bosmann
@cbosss_

masan tako
@masantako

Isaiah Harrison
@isaiahhtml
I am a noob at everything.
Observing
@observing2022
Teaching sand to think. Russia delenda est.
HY ็พๅฑฑ็พ | Sanctum
@datascraper69
cofounder & buidler @sanctumso | member @superteamsg
Uinifi
@uinifi48072

Freslau
@freslaunxj5o0f
Here to break generational curses & take cute selfies โ๐ธ
Axurios
@axurios1

Elias Judin
@elias_judin
pure maths. universal algebra // categorical topology // Galois theories. university of cape town.
Zhenwen Liang
@liangzhenwen
Resesrch Scientist in NLP, Tencent AI Lab, Seattle. Previous intern at Salesforce AI Research, AI2 and Tencent AI Lab.
John Ye
@yzhuyng3
PhD student in UCLA studying quantum computation.
Jia Li
@jiali52524397
Co-founder at Numina; former AI scienctist at Mistral AI; Co-founder & ex CSO at Cardiologs
Parsa
@sighpaaa

Pittsburgh Robotics Network
@robopgh
We facilitate the commercial business growth and economic development opportunities for the Greater Pittsburgh region's robotics, autonomy, and AI cluster.
Erwhiefor
@erwhiefor3872

fievel
@fievel_mouse

Xawnol
@xawnol0774334

Ashley Blacquiere
@ashblacquiere

011nuyha
@ahyun1100

neonmochi
@fran_diaz_rio

M.b.Y.
@oraclepricings
Predicting financial market and asset price movement.
arda
@onmagir
mathematics undergrad interested in cogsci & formal verifications.
Bruno Augusto
@slimm082

Liviu
@ldobre9

Mert Unsal
@mertunsal2020
Researcher at Project Numina
neuroevolutus
@neuroevolutus

Conor Power
@conor_power23
PhD student @BerkeleySky + hydro.run. Former senior SWE on Microsoft Cosmos. Databases ๐ and distributed systems ๐ฐ๏ธ with some theory ๐งฎ thrown in.
bling
@blingdivinity
Open to interpretation ๐ฃ American undergraduate ๐ฑ Wielding Mathemagics ๐
J.Franklin
@redbl0ckblue
Trust in the LORD with all your heart and lean not on your own understanding