English
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어
mstk's profile picture. jle / mstksg / Lê Anh Khoa: Computational Science PhD, Physics BS, Haskeller & amateur musician; he / him

Justin Lê

@mstk

jle / mstksg / Lê Anh Khoa: Computational Science PhD, Physics BS, Haskeller & amateur musician; he / him

5KPosts 2KFollowers 1KFollowing
You might like
There was a problem, please refresh the page and try again.
kmett's profile picture. Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai

Edward Kmett

@kmett
mattoflambda's profile picture. Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!

Matt Parsons

@mattoflambda
vamchale's profile picture. Mainly Haskell, sometimes J/?

Vanessa McHale

@vamchale
domenkozar's profile picture. ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J

Domen Kožar

@domenkozar
tweagio's profile picture. Improving the craft of software engineering.

Tweag by Modus Create

@tweagio
deech's profile picture.

deech

@deech
kerckhove_ts's profile picture. Building https://t.co/o8ZbrNb9iU Learning American Sign Language

Tom Sydney Kerckhove

@kerckhove_ts
Iceland_jack's profile picture. Haskell

Dad×2_jack

@Iceland_jack
smdiehl's profile picture. Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT

Stephen Diehl

@smdiehl
rickasaurus's profile picture. 2x Dad, AI Old-Timer, FP Enjoyer, Math for Fun, Tech Leadership. My views do not represent my employer.

Rick

@rickasaurus
TaliaRinger's profile picture. Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi

Talia Ringer 🕊

@TaliaRinger
piq9117's profile picture. 🇺🇸 • haskell • distributed systems • CEO @htmx_org • neovim extremist • nix can fix you • guns

piq and 69 others

@piq9117
tikhonjelvis's profile picture. I like programming languages. A lot. Tools, types and functions.

Tikhon Jelvis

@tikhonjelvis
yandereidiot's profile picture. 🏔️ Senior EM at @AvaLabs 🪬 Former CTO of @haskellfound 🐎 Horse and dairy lover 🤠 Cowgirl Utahn Return to pasture

Emily Pillmore 🐑🥛

@yandereidiot
etorreborre's profile picture. Haskell / Scala / Rust developer (author of the specs2 and registry libraries)

Eric Torreborre

@etorreborre
vbhvsgr's profile picture. future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on bluesky

vaibhav sagar

@vbhvsgr
EncodePanda's profile picture. Haskell, 范畴论, λ, Distributed Systems, Formal Methods

Paweł Szulc

@EncodePanda
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.

José A. Alonso

@Jose_A_Alonso
cercerilla's profile picture.

Redacted

@cercerilla
haskell_cat's profile picture. AI Safety ∩ Programming Language Theory. Part-time technical alignment researcher, full-time Haskell software engineer at https://t.co/qG4jsBEIIO, opinions are my own.

gelisam

@haskell_cat
SearchingF0x's profile picture.

q q

@SearchingF0x
zkbytes's profile picture.

zksri

@zkbytes
JM0x5C's profile picture. 🇨🇴🇨🇦PLT Nerd. Haskell, rust, types, cryptography and Muay Thai! In a past time, I led the development of pact @ Kadena.

Jose Cardona

@JM0x5C
ynorsk's profile picture. Haskell and Vegemite

andrii

@ynorsk
sdvxpanda's profile picture.

cat lover8

@sdvxpanda
lambda_functor's profile picture.

λ

@lambda_functor
FunctionalIndia's profile picture. Uniting Functional Programming Language enthusiasts across India. Discussions on https://t.co/dIBZ5Jqs3I. Bsky: https://t.co/jPZ6faePR6

Functional Programming India 🇮🇳《ミ》λ≡

@FunctionalIndia
Luhardever's profile picture. let's fuckin get this

hardever

@Luhardever
Ismita2025's profile picture. घोर कलयुग चल रहा है। 😊

Ismita

@Ismita2025
jtaylorhodge's profile picture. striving to create that in the presence of which we feel more alive

Taylor Hodge

@jtaylorhodge
cipherat0's profile picture. yer average nerd at @ksu_ccis | member of the great @ftcksu and @drcksu | ex-tech leader at @ksu_cyber

Cipherat

@cipherat0
SofiaLearnsFX's profile picture. Italian student learning forex | Documenting my trading journey | Mistakes, wins & all in between ✨

Sofia Moretti

@SofiaLearnsFX
saehicidal's profile picture. cs

13

@saehicidal
anpaure's profile picture. research

anpaure

@anpaure
dani_avila7's profile picture. Building AI Tools with LLMs @aitmpl_com prev @codegptAI | Powered by TypeScript & Pumpkin Spice Lattes ☕️

Daniel San

@dani_avila7
GghuG98's profile picture. Fitness & outdoor enthusiast 🏋️‍♀️🏃‍♀️🚴‍♀️ Always chasing the next challenge

Katie Chen

@GghuG98
PolyTroid's profile picture. Current status: NEET. Jack of no traits and definitely master of none.

Dries Frederickx

@PolyTroid
deomorxsy's profile picture.

\

@deomorxsy
flex_abraham's profile picture. The Lord is my shepherd there is nothing ✝️♥️🙏🏿 follower of Christ

FlexAbraham

@flex_abraham
ElijahShen1's profile picture.

Elijah Shen

@ElijahShen1
realnathom's profile picture. computer programmer and RL guy 🇺🇸🇻🇦

nathom

@realnathom
john98299's profile picture.

John Smith

@john98299
elrondex's profile picture. Elixir library to interact with Elrond Blockchain ⚡ $EGLD, Arwen, WASM, DeFI, SC, ESDTs, NFTs, SFTs, $MEX, DEX, AMM https://t.co/yPL9XXZguT

Elrondex

@elrondex
0azadi's profile picture.

0azadi

@0azadi
SukhiSecurity's profile picture.

Amar Sukhi

@SukhiSecurity
goodacre_liam's profile picture. Programmer, mainly Haskell, maybe categories. The answer is always an optic. Foldable Coyoneda gives me joy.

Liam Goodacre

@goodacre_liam
anshuscript's profile picture. Senior Software Engineer && Computer Science Teacher 👨‍💻 Freelancer l MERN Developer l Full Stack Developer ⏩ Mentor | Teacher | Bookholic

Anshu Kumar

@anshuscript
analytichegel's profile picture. optimistic nihilist. fedi: @hegeliantaco@mathstodon.xyz. priv: @boy_aphrodite

Jules

@analytichegel
errectfully's profile picture. Haskell, compilers, mental decay

erectfully

@errectfully
syenanoon's profile picture.

𐤀

@syenanoon
MAMware's profile picture.

Marcos

@MAMware
drewmanfsu's profile picture. Jesus saved my life. Husband, Father of 3 boys. Building websites and apps in my free time

Andrew Bailey

@drewmanfsu
cameronangliss's profile picture. Master's Student at UT Austin working under Professor Stone in the LARG group on reinforcement learning and multi-agent learning

Cameron Angliss

@cameronangliss
Rhuihgie755126's profile picture.

Rhuihgie

@Rhuihgie755126
typesuser's profile picture. all are rational in the eyes of god

𝕝𝕖𝕠𝕟

@typesuser
xt7ybn's profile picture.

LJ

@xt7ybn
AdaobiLove10353's profile picture.

Ada obi Loveth

@AdaobiLove10353
Easworte01300's profile picture.

Easworte

@Easworte01300
ChoreGSY6's profile picture. Scientist | Cat herder | Coffee addict 🧪🐈⬛☕️

Chore

@ChoreGSY6
EChatav's profile picture. Soul of a mathematician

Eitan Chatav

@EChatav
Beibvum3845's profile picture.

Beibvum

@Beibvum3845
Swawbee60249's profile picture.

Swawbee

@Swawbee60249
d3fias's profile picture. mico's biggest fan

defiasbro

@d3fias
effectfully's profile picture. Haskell, compilers, mental decay

effectfully

@effectfully
davefuller's profile picture. I'm a Trivialist. "I want the club sandwich, I want the cold Mexican beer, I want a $10,000-a-night hooker!" -- Johnny Mnemonic

Dave Fuller

@davefuller
Qivqeq514417's profile picture. Find beauty in the small things.

Qivqeq

@Qivqeq514417
Sock_Master27's profile picture. Vice Chairman of the Board @ The Organization for Advancement of the OKLCH Color Format (OAOCF)

#1 OKLCH FUNDAMENTALIST

@Sock_Master27
MHirthe51903's profile picture.

Makayla Hirthe

@MHirthe51903
Si1Singhs's profile picture. punjabs367@gail.com 🖕 💞 07006158204 💞

💘Singh's 💘

@Si1Singhs
AilrkY's profile picture.

iampizza

@AilrkY
ChShersh's profile picture. 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
BartoszMilewski's profile picture. Physicist, programmer, mathematician. Author of Category Theory for Programmers. @BartoszMilewski@Mathstodon.xyz

Bartosz Milewski

@BartoszMilewski
kmett's profile picture. Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai

Edward Kmett

@kmett
mattoflambda's profile picture. Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!

Matt Parsons

@mattoflambda
vamchale's profile picture. Mainly Haskell, sometimes J/?

Vanessa McHale

@vamchale
runarorama's profile picture. Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.

Rúnar

@runarorama
tweagio's profile picture. Improving the craft of software engineering.

Tweag by Modus Create

@tweagio
nomeata's profile picture. Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 https://t.co/9Sjz02h8dL

Joachim Breitner

@nomeata
deech's profile picture.

deech

@deech
haskellhutt's profile picture. Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴󠁧󠁢󠁳󠁣󠁴󠁿

Graham Hutton

@haskellhutt
kerckhove_ts's profile picture. Building https://t.co/o8ZbrNb9iU Learning American Sign Language

Tom Sydney Kerckhove

@kerckhove_ts
Iceland_jack's profile picture. Haskell

Dad×2_jack

@Iceland_jack
smdiehl's profile picture. Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT

Stephen Diehl

@smdiehl
hillelogram's profile picture. No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com

Inactive; Bluesky is @hillelwayne(dot)com

@hillelogram
rickasaurus's profile picture. 2x Dad, AI Old-Timer, FP Enjoyer, Math for Fun, Tech Leadership. My views do not represent my employer.

Rick

@rickasaurus
GabriellaG439's profile picture. Author of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️‍⚧️

gabby

@GabriellaG439
TaliaRinger's profile picture. Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi

Talia Ringer 🕊

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

naomi (forgetful functor)

@fixedpointfae
tikhonjelvis's profile picture. I like programming languages. A lot. Tools, types and functions.

Tikhon Jelvis

@tikhonjelvis
yandereidiot's profile picture. 🏔️ Senior EM at @AvaLabs 🪬 Former CTO of @haskellfound 🐎 Horse and dairy lover 🤠 Cowgirl Utahn Return to pasture

Emily Pillmore 🐑🥛

@yandereidiot
ronawang's profile picture. @mit math & cs // buy my book: https://t.co/jADMAbLzJt

Rona Wang

@ronawang
shlevy's profile picture. Incarnating the ideal

Shea Levy

@shlevy
aramh's profile picture. Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.

Aram Hăvărneanu

@aramh
effectfully's profile picture. Haskell, compilers, mental decay

effectfully

@effectfully
HSVSphere's profile picture. A colorful sphere, here to grudge. Its opinions will never budge. A vibrant orb, with hues so bright, Unwavering in its stances and might.

HSVSphere

@HSVSphere
traestephens's profile picture. Partner, Founders Fund; Co-Founder, Anduril; Co-Founder, Sol

Trae Stephens

@traestephens
CALFIRESANDIEGO's profile picture. Flickr/Instagram/Facebook: @CALFIRESANDIEGO Conditions of Use: https://t.co/ssjfcviUYl

CAL FIRE/San Diego County Fire

@CALFIRESANDIEGO
bridgitmendler's profile picture. CEO, Co-founder @northwoodspace

Bridgit Mendler

@bridgitmendler
anduriltech's profile picture. Anduril is shaping the future of defense, transforming U.S. & allied military capabilities with advanced technology.

Anduril Industries

@anduriltech
jamesdbrock's profile picture. Totally normal middle-aged family man.

James Brock

@jamesdbrock
miramurati's profile picture. Now building @thinkymachines. Previously CTO @OpenAI

Mira Murati

@miramurati
masahiro_sakai's profile picture. Engineer @PreferredNet ← Research Scientist @東芝.『抽象によるソフトウェア設計』『型システム入門』共訳者, Haskeller, https://t.co/v00oxn8aAC, https://t.co/QycS3EnIBu

Masahiro Sakai

@masahiro_sakai
fumieval's profile picture. 鳥/フラジオレット/コーヒー/西荻窪 Staff Engineer @herp_inc

ふみ

@fumieval
kazu_yamamoto's profile picture. 4人の子育と親の介護真っ最中のHaskeller。Haskellコミュニティではネットワーク周りを担当。昆虫、特にクワガタが好き。エギンガー＆サワラーな釣り人。山口県在住。 アイコンは長男を模したゆるキャラです。

山本和彦

@kazu_yamamoto
HaskellDiscu's profile picture. Articles, projects and tutorials about #Haskell. Weekly newsletter: https://t.co/wHDxdrfj8s

Haskell Weekly

@HaskellDiscu
TravisMWhitaker's profile picture. I am weaponizing Haskell and Nix.

Travis Whitaker (hs/acc)

@TravisMWhitaker
PalmerLuckey's profile picture. I am a technology enthusiast, writer, and modder. Founder of @ModRetro, @Oculus VR, and @Anduriltech. Keeping American superheroes safe with autonomous systems.

Palmer Luckey

@PalmerLuckey
wesg52's profile picture. Trying to read Claude’s mind. Interpretability at @AnthropicAI Prev: Optimizer @MIT, Byte-counter @Google

Wes Gurnee

@wesg52
DanielleFong's profile picture. *hyperamerican* propane and propane accessories. a propane flame photonic engine brighter than the sun *portable* spectrally pure dyson spheres! DMs OPEN

Danielle Fong 🔆

@DanielleFong
graninas's profile picture. 📚 Author 🏗️ Software Architect 🎞️ FP 🧩 OOP 🎙️ Speaker 🔬 Researcher ✒️📜🚀👽 Sci-fi&Poetry 🧠 Thinker 📖 Book: Functional Design and Architecture

Alexander Granin

@graninas
yagiznizipli's profile picture. father, enjoying life and working on @cloudflare workers. wrote a url parser named after my daughter: https://t.co/bEwb1l2q3W. I’m a @v8js committer and @nodejs tsc member.

Yagiz Nizipli

@yagiznizipli
_jasonwei's profile picture. ai researcher @meta superintelligence labs, past: openai, google 🧠

Jason Wei

@_jasonwei
binarybits's profile picture. Reporting on AI and the future of the economy. Computer science masters degree from Princeton. @arstechnica alum. Subscribe to my AI newsletter!

Timothy B. Lee

@binarybits
trunarla's profile picture. I made https://t.co/hiOSECjQtd & https://t.co/0IBEbdSdiv https://t.co/r6Rx43hirg this my guy 👉 @HesJustJordy

˗ˏˋmewtru´ˎ˗

@trunarla
kareem_carr's profile picture. Writer. Statistician. PhD@Harvard.

Dr Kareem Carr

@kareem_carr
dieworkwear's profile picture. Menswear writer. Editor at @putthison. Bylines at The New York Times, The Financial Times, Politico, Esquire, and Mr. Porter

derek guy

@dieworkwear
andrewmccalip's profile picture. Building spacecraft @vardaspace. Circumnavigating world @ https://t.co/hLM2DEHrnx. Art @ https://t.co/Cze338MBMi Former: Co-Founder Cosine Additive, acquired by GE

Andrew McCalip

@andrewmccalip
sineatrix's profile picture. @sineatrix@sciencemastodon.com 100% scientist @BerkeleyLab, 50% artist and 0% arithmetician, https://t.co/9UzFO08Lp4, 🇮🇪 (she/her)

Sinéad Griffin

@sineatrix
TracketPacer's profile picture. 🚀 rockit network engineer | 👩🏼‍💻🛜 real thoughts on https://t.co/PU0EFC2saA

TracketPacer

@TracketPacer
tangled_zans's profile picture. Turning Category Theory into code she/her Find me at: https://t.co/B0egvR0lmb @zanzi.bsky.social

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans
roopshasamanta's profile picture. Ex-academic. Untenured, unapologetic, undaunted.

Roopsha Samanta

@roopshasamanta
QiaochuYuan's profile picture. real actual human adult male

QC

@QiaochuYuan
TrangLanguage's profile picture. Hi I’m a teacher of the Vietnamese language

TrangLanguage

@TrangLanguage
playwayfinder's profile picture. Out Now on Steam, PlayStation & Xbox! Wield the power of a #Wayfinder in a brand new character-based, co-op action rpg!

Wayfinder

@playwayfinder
CDisillusion's profile picture. Space-based individual

Captain Disillusion

@CDisillusion
dril's profile picture. welcome to my shit https://t.co/SuXccfQtN7 https://t.co/kHbbE12Ftx https://t.co/uXYQZrfYdk

wint

@dril
locallycompact's profile picture. Hydra @ Input Output. Haskell, Agda, Cardano, Mathematics, Analytic Idealism. Opinions my own.

Daniel Firth (Inspector GADT)

@locallycompact
ianyhchang's profile picture. Debut album 属 Belonging out now via @CitySlang: https://t.co/sdVoQsRBQ7

Ian Chang

@ianyhchang
skdh's profile picture. German Physicist. Author of "Lost in Math" & "Existential Physics". There is no strength in numbers, have no such misconception. rt's are not endorsements

Sabine Hossenfelder

@skdh
huggingface's profile picture. The AI community building the future. https://t.co/VkRPD0Vclr

Hugging Face

@huggingface
meeowsus's profile picture. internet girl archive ^~^ val player sometimes @ https://t.co/kHOtcJCpj9

mel

@meeowsus
georainbolt's profile picture. google maps player

rainbolt

@georainbolt
LloydSy333's profile picture. Pusheen

Lloyd Sy

@LloydSy333
chhopsky's profile picture. gamedev Ambrosia Sky 💕 writer New Astoria, sapphic cyberpunk 🦾 ex-@lolesports, @CallofDuty, @Twitch etc 🇦🇺 personal & writing acct @chhopsk_ebooks

christina 死神

@chhopsky
JanelleMonae's profile picture. The Age of Pleasure OUT NOW.

Janelle Monáe👽🚆🤖🚀🪐

@JanelleMonae
TrungTPhan's profile picture. Write on business with @workweekinc. Building a privacy-first AI research app (https://t.co/fZ5ObIy3Ra) and LLM API management platform (https://t.co/VTMMh1UFSj)

Trung Phan

@TrungTPhan
LATBones's profile picture. brooklyn-based emo-revival revival. stream our debut ep “home sweet home”. link: https://t.co/sb0fPtQyRH

LOOK AT THE BONES

@LATBones
girlbossmoder's profile picture. Research Fellow in topology at Dunkin Donuts | Minors DNI 🔞

She hopf on my fibration

@girlbossmoder
TerribleMaps's profile picture. The home of terrible maps with a pinch of humour terriblemaps@gmail.com

Terrible Maps

@TerribleMaps

United States Trends

You might like

Something went wrong.


Something went wrong.