marsam @_marsam
I hate computers Joined March 2013-
Tweets311
-
Followers136
-
Following513
-
Likes5K
marsam retweeted
This talk is a great exposition on type soundness, including choice historical context.
This talk is a great exposition on type soundness, including choice historical context.
0
7
15
0
1
marsam retweeted
"Collapsing Towers of Interpreters": to appear at POPL 2018, revisions still ongoing, comments welcome. Preprint: cs.purdue.edu/homes/rompf/pa…
marsam retweeted
PACM PL: it lives! And it's Gold Open Access from day 1. First issue is ICFP, OOPSLA soon to follow. dl.acm.org/citation.cfm?i…
marsam retweeted
Some History of Functional Programming Languages - David Turner youtu.be/QVwm9jlBTik. Love hearing about the history of ideas in PLs.
marsam retweeted
First steps of freedom!! 😄 instagram.com/p/BUMgk0_BPbs/ #ChelseaIsFree
marsam retweeted
It's 2017 and Vanity Fair says Russians are hopeless primitives "despite noble intentions of Boris Yeltsin, Bill Clinton & Jeffrey Sachs"
marsam retweeted
El racismo es una máquina de maltrato, explica Marco Avilés en "No soy tu cholo", para @Ojo_Publico goo.gl/5SDQvd
marsam retweeted
New blog post: It's time for a memory safety intervention: tonyarcieri.com/it-s-time-for-…
marsam retweeted
WhatsApp: 900M users, built w/ < 35 devs, using #erlang Uber: 40M users, a Rube Goldberg machine (Pyhon, go, Java...), 2k devs + growing
marsam retweeted
These are the ridiculous euphemistic headlines Western news outlets write when a US airstrike kills more than 200 Iraqi civilians
marsam retweeted
I wrestle with this a fair amount regarding not just women but any marginalized group in science thestar.com/opinion/commen…
marsam retweeted
computers are fast (computers-are-fast.github.io)
marsam retweeted
"A specification for dependently-typed #Haskell" seas.upenn.edu/~sweirich/pape…
marsam retweeted
A new story for the retro fans: edfries.wordpress.com/2017/03/22/cha…
marsam retweeted
JSCaml: Compile JS to OCaml runtime: Allowing interop between JS and pure @reasonml without the weight of JS VMs. github.com/facebookexperi…
marsam retweeted
Towards linear types in haskell without breaking the ecosystem: blog.tweag.io/posts/2017-03-…
marsam retweeted
I really try to avoid outright ranting these days, but it is remarkable how many tools used in software dev are brittle and unreliable.
marsam retweeted
Has he tried *not* being dead?
Juan-Pablo Scaletti @jpscaletti
1K Followers 69 Following 🔥 Python, Peruvian food 🎯 Building JinjaX and FORMidable ✨ Father, optimist, and carrier of other meaningful burdens
Monge Taxonomista @TaxonomistMonk
12 Followers 451 Following
Ben Karel @benkarel
95 Followers 395 Following On a quest to find out just how far we humans can push this computer science thing.
Miguel Morachimo @miguelmorachimo
4K Followers 2K Following not using Twitter anymore ~ https://t.co/vlt4aHqp1L
Nikolas Escuza @EscuzaNikolas
3 Followers 65 Following Psychologist | Recruiter for Able Co. | I Love: cars, camping, and pretty much all of Elon Musk's business ideas.
Gabriel Calivent @calivent
348 Followers 1K Following Chief Operating Officer of CNSD Perú #csirtpe, Cyber Security Researcher (Hacker), ñ
Tom @heyisfortom
289 Followers 2K Following Just you’re friendly neighbor Tom. Profesional creep. Avid drinker of Earl Grey Tea. #jokes #followmeforagoodtime
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
arturo @arturopuente
468 Followers 50 Following
miss. god christ @mykidsfuneral
42 Followers 897 Following i said what I said and I meant what I meant this crackwhores account is 💯 get me verified
vi @vcelim
170 Followers 2K Following
Cinthia Nathaly @CinthiaNathaly8
18 Followers 87 Following Alegre ,divertida,me gusta converzar de todo un poco,me gusta escuchar musica
Lupo Montero @lupomontero
1K Followers 1K Following Director of Technology and Head JavaScript Coach at @LaboratoriaLA. Co-organizer at @LimaJSorg, @node_lima, @mozillaperu and @causaconf.
Luciana Enero Jesus @Luciana_Enero
1 Followers 63 Following
Dank @DankSadBoys
23 Followers 270 Following ya boi got them Dank memes right here. Follow and I'll follow back.
Erick 🙃 Navarro @erickgnavar
519 Followers 2K Following I write bugs and get paid for that ❤ #emacs #python #elixir #lisp Stream coding stuff in Spanish at https://t.co/8MKwqi50r6
Cristian Uscata @CrisUscata
36 Followers 174 Following
Luis Mayta @slovacus
233 Followers 473 Following Hermit | Passionate Coder | Blockchain, EOS | GraphQL, AI | Serverless, @kubernetes, @golang, @python, @lua, @ruby, @dart-lang, @rust-lang and @haskell
Benjy M. @benjymb
109 Followers 1K Following Life won't always be smooth, it may not always be pretty, but it will be an adventure — one not to be missed. Be proud 🏳️🌈!
jaime sotil @sotilon
208 Followers 3K Following
neet machine 🏗 @neetmachine
49 Followers 504 Following @ me with screencaps, or reply with lore for (nearly) guaranteed rts
Haskell for Mac @HaskellForMac
3K Followers 2K Following Functional programming without the hassle. Live programming for Haskell.
kumavis @kumavis_
9K Followers 8K Following ࿂ p2p ࿂ ocaps ࿂ js langsec ࿂ ࿋ Endo ࿋ LavaMoat ࿋ founder MetaMask ࿋ ∴ he/him 日本語・中文 ∴ 👉 hiring js devs interested in security 👈 bsky: 🦋https://t.co/KLceIhYNiZ
You and 52 others @bahstgwamt
2K Followers 2K Following photo by Beatrice Murch, cc-by-sa. Fuck this fucking #hellsite.
James Villanueva @jamesvq
45 Followers 380 Following
Ed Málaga Bernal @edmalaga
669 Followers 422 Following Dividiendo mi tiempo entre la música, el marketing digital, el emprendimiento, el diseño de proyectos digitales y la búsqueda incansable del piscosour perfecto.
UW PLSE @uwplse
1K Followers 179 Following We are the Programming Languages and Software Engineering group at the University of Washington (@uwcse)
Joeee @Joemn92
24 Followers 445 Following
Guisse @edithgqr31
8 Followers 41 Following
Miguel Morachimo @miguelmorachimo
4K Followers 2K Following not using Twitter anymore ~ https://t.co/vlt4aHqp1L
András Kovács @andrasKovacs6
910 Followers 66 Following Type theory & applications. Also on Mastodon: https://t.co/KYgeYKJQgM
Joel Björnson @joelbjornson
133 Followers 193 Following
Graham Hutton @haskellhutt
8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Graham Sutherland (Po... @gsuberland
8K Followers 1K Following Electronics, windows internals, cryptography, hardware, lasers, chemistry, demoscene, ADHD. I run @unsafe_warnings and hack stuff for a living, I guess (he/him)
POPL 2026 @poplconf
3K Followers 280 Following ACM SIGPLAN Symposium on Principles of Programming Languages. Rennes, France, 11-17 January 2026 (#POPL2026). Tweets by @xnningxie
justin @jusrin00
2K Followers 812 Following 90% random content, some programming. i have many repos and posts about nix, purescript, etc
Heather Miller @heathercmiller
14K Followers 987 Following Science-ing at Two Sigma, Professing computery things at CMU. Co-founder & former Exec Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Will Fancher @ElvishJerricco
99 Followers 12 Following
arturo @arturopuente
468 Followers 50 Following
Dominic Orchard @dorchard
2K Followers 689 Following Computer science academic at University of Kent (@UniKentComp) & co-director of the Institute of Computing for Climate Science @Cambridge_ICCS (@Cambridge_Uni)
Grigore Rosu | π² @RosuGrigore
19K Followers 670 Following Founder & CEO @Pi_Squared_Pi2, building Web3 infra beyond blockchain | Founder @rv_inc | Professor @cse_uiuc | Creator of K Framework | Previously @NASA.
Shumo Chu @shumochu
6K Followers 827 Following brewing a stealth mode AI startup. ex prof. @UCSBCS, ph.d. @UWCSE, eng. @Google
Ron Garcia @rg9119
2K Followers 430 Following Transmogrifies coffee into LaTeX at University of British Columbia
Leif Andersen @LeifAndersen
784 Followers 288 Following Working on Interactive Syntax at UMass Boston.
OPLSS @UOPLSS
261 Followers 0 Following Official account of the Oregon Programming Languages Summer School. 2017 tweets by @d_christiansen.
We Rate Curves @WeRateCurves
392 Followers 1 Following
João Forte Carvalho ... @bgamari
2K Followers 314 Following Director of Product @Constellation Network
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Tzetze @mnxmnkmnd
285 Followers 89 Following Goo guru. Synthetic psephology expert. Infuriatingly amphichiral cybernetics buff. Professional alife geek. Vertical. Mother. Mother. Mother. Mother. Mother.
Stefan Marr @smarr
2K Followers 470 Following Researcher, Royal Society Industry Fellow, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
Alvin Cheung @alvinkcheung
2K Followers 309 Following Data management and programming systems; Associate professor @Berkeley_EECS, member of @ucbrise, SLICE Lab, and @UCBIDS
Nadia Polikarpova @polikarn
4K Followers 291 Following Associate prof @ucsd_cse. Building tools for program verification and synthesis.
Lupo Montero @lupomontero
1K Followers 1K Following Director of Technology and Head JavaScript Coach at @LaboratoriaLA. Co-organizer at @LimaJSorg, @node_lima, @mozillaperu and @causaconf.
Volodymyr Kyrylov @darkproger
2K Followers 2K Following Technical Staff at OpenAI. AI student from USI/ETH. Donate https://t.co/GDSkWG30ZS
Erick 🙃 Navarro @erickgnavar
519 Followers 2K Following I write bugs and get paid for that ❤ #emacs #python #elixir #lisp Stream coding stuff in Spanish at https://t.co/8MKwqi50r6
Alastair Reid @alastair_d_reid
3K Followers 337 Following Researcher at Intel Strategic CAD Labs. Formal methods, security, computer architecture, ... He/him. Tweets are my own.
Claire Xen 🏳️... @oe1cxw
5K Followers 792 Following Neurodiverse Trans Geek Girl 🧙♀️ Queer Kinky Poly Mess 🏳️🌈 🏳️⚧️ CTO @YosysHQ 😺 RISC-V, SMT 👩💻 Opinions are my Ceti eel's 😛 ACAB BLM ✊ I am Antifa
Irakλi Safareli @safareli
649 Followers 488 Following SWE @headroomai TypeScript and functional programming wizard. 🧙♂️
Cristian Uscata @CrisUscata
36 Followers 174 Following
Logyi várja a Mikul�... @lojikil
3K Followers 947 Following Brains in the "trying to be a good dad despite having a bad dad" gang. ☦️|Philosopher|Offensive Security|PLT
Larry Diehl @larrytheliquid
794 Followers 657 Following Founder @ColimitAI. Formal Verification & Neuro-Symbolic AI. Formerly postdoc @uiowa and PhD @Portland_State.
Simon Peyton Jones @simonpj0
5K Followers 3 Following
Belén 😱 @ladybenko
9K Followers 774 Following Software engineer & game developer. Now at @penpotapp. She/her. 🖋 Escribo en https://t.co/tcud5Gngn6
Tony "Abolish ICE" Ar... @bascule
17K Followers 8K Following I don't use Twitter anymore. You can find me on Mastodon: https://t.co/DZ2JbWztoi
Jacques Carette @jjcarett2
2K Followers 933 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
Trends for United States
21,8 B posts
79 B posts
70 B posts
55,5 B posts
7.923 posts
9.275 posts
2.724 posts
13,1 B posts
2.933 posts
63,9 B posts
8.385 posts
2.198 posts
23,3 B posts
1.302 posts
18,4 B posts
1.940 posts
1.530 posts
23,1 B posts
You might like
Hamel Husain
@HamelHusain
38K Followers
Seth Juarez
@sethjuarez
12K Followers
Mike MacCana
@mikemaccana
6K Followers
Germán Martínez
@germanmartinez
2K Followers
Juan-Pablo Scaletti
@jpscaletti
1K Followers
HedgeFair
@hedgefair
3K Followers
basarat
@basarat
11K Followers
Michal Czaplinski
@c_z_a_p_l_a
350 Followers
Clifford 🎼🧑�...
@duckmaestro
196 Followers
Moisés Cachay
@xpktro
323 Followers