Kraang Subprime Mortgage @overfull_hitbox
Software Engineer in Android Security and Privacy, analyzing apps for shady behavior. This account's at the hotel bar, not the technical session he/him google.com Portland, OR Joined January 2009-
Tweets13K
-
Followers361
-
Following155
-
Likes9K
I'm finally logging off of this site for good and I wish I'd done so earlier
1
0
0
224
0
Download Image
Kraang Subprime Mortgage retweeted
PAGLIACCI: This stupid doctor said going to a clown would cure my depression so he said I should come watch myself. He didn't even read my file. My name was right there! So I got him fired. So, what made you decide to join our circus? NEW CLOWN: Well, I lost my job as a doctor
Kraang Subprime Mortgage retweeted
Trying to make small talk in Omelas... "Nice day. Sucks about that kid though"
Kraang Subprime Mortgage retweeted
Who will end the centuries old farce of letting vermilion mean red. That’s a green ass word and I’m done pretending otherwise. If I lose friends and family over this, so be it.
I think I got booted within two weeks of moving to Atlanta
I think I got booted within two weeks of moving to Atlanta
Kraang Subprime Mortgage retweeted
Achewood is posting new comics + more again! Exclusively on Patreon: patreon.com/achewood Several months' worth of content has been created and scheduled to go live, starting NOW
Kraang Subprime Mortgage retweeted
The final prerelease of Functional Programming in Lean is out! If you have time, I'd really appreciate any feedback you can provide on the final chapter before my deadline on April 30. But even more, I hope that you find it valuable and enjoyable :-) leanprover.github.io/functional_pro…
Kraang Subprime Mortgage retweeted
New commission: a Muppet version of THE PRISONER (series) featuring Fozzie, Statler and Waldorf! Mixed media on 9 X 12" bristol board. #MuppetMonday
Kraang Subprime Mortgage retweeted
"I would ignore the whole is-it-correct wormhole" -- NSF reviewer
Time for a little Passover/Easter animation doubleheader
Kraang Subprime Mortgage retweeted
This is beyond party or partisanship. This degree of corruption is shocking - almost cartoonish. Thomas must be impeached. Barring some dramatic change, this is what the Roberts court will be known for: rank corruption, erosion of democracy, and the stripping of human rights.
This is beyond party or partisanship. This degree of corruption is shocking - almost cartoonish. Thomas must be impeached. Barring some dramatic change, this is what the Roberts court will be known for: rank corruption, erosion of democracy, and the stripping of human rights.
Kraang Subprime Mortgage retweeted
How is this possible
For those who don't happen to play it day to day, Puzzlemaster Will Shortz just did the crossword equivalent of when John Wick shoots someone in the Continental
Kraang Subprime Mortgage retweeted
How neat. Researchers claim to have found, at long last, an "einstein" tile - a shape that tiles the plane in a pattern that never repeats. First two authors appear to have no academic affiliations. arxiv.org/abs/2303.10798
Kraang Subprime Mortgage retweeted
For those too young to have lived through what happened twenty years ago, a thread of self-styled left/liberal types endorsing the invasion of Iraq
Kraang Subprime Mortgage retweeted
A man of great strength and grace. As talented a musician as he was an actor. The epitome of class. An sudden unexpected sharp painful grief for our artistic family. An unimaginable suffering for his personal family and loved ones. Godspeed my friend. You made your mark here. RIP
Kraang Subprime Mortgage retweeted
For twelve years, you have been asking: Who is John Galt? This is John Galt speaking. If John Galt Bank is not immediately fully backstopped and depositors protected,
Kraang Subprime Mortgage retweeted
A new release of Functional Programming in Lean is out! leanprover.github.io/functional_pro… The new chapter this time around focuses on programming with dependent types.
Loris D'Antoni @lorisdanto
8K Followers 771 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
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
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
José Manuel Calderó... @josecalderon
2K Followers 856 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Mike Dodds @miike
1K Followers 562 Following Formal methods enthusiast. Principal scientist at @Galois. English immigrant. Nitwit. Opinions my own.
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Alexa VanHattum @avanhatt
2K Followers 1K Following Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] https://t.co/9UVghNn4e5
Santosh Nagarakatte @santoshgnag
2K Followers 602 Following Professor and undergraduate program director, Computer Science, Rutgers University, New Brunswick. See my group RAPL: https://t.co/dYChac4veQ
PurPL @purdue_pl
925 Followers 120 Following PurPL is the cross-departmental center for programming languages research at Purdue University.
Eric Eide @eeide
2K Followers 2K Following Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own • RTs not endorsements • @[email protected]
Dan Ports, @dan@discu... @danrkports
5K Followers 682 Following Exclusively on Mastodon these days: https://t.co/uq8vRRSnQa Distributed systems and operating systems. @MSFTResearch @uwsyslab
Manu Sridharan @rakingleaves
2K Followers 1K Following Professor @UCR_CSE doing research in programming languages and software engineering. https://t.co/8YGA4y2NaS BSky: @manu.sridharan.net
Nadia Polikarpova @polikarn
4K Followers 291 Following Associate prof @ucsd_cse. Building tools for program verification and synthesis.
Swarat Chaudhuri @swarat
3K Followers 628 Following Professor at @UTCompSci, Research Scientist at @GoogleDeepmind. Automated Reasoning + Machine Learning + Programming Languages.
Galois @galois
6K Followers 655 Following Galois applies cutting edge computer science and mathematics to solve difficult technological problems.
David Van Horn @lambda_calculus
5K Followers 1K Following Prof at @umdcs and @umiacs. Co-director of @plumlab. BlueSky: https://t.co/Bwck1H9fXK Mastodon: @[email protected]
Srinvu @Srinvu9736538
18 Followers 1K Following
Orbawfi @Orbawfi21020
14 Followers 1K Following
warmheart @warmheart63954
42 Followers 4K Following
hdoly @hdoly20
59 Followers 1K Following
miho41 @hg_qvy
4 Followers 73 Following
David J. Pearce @whileydave
1K Followers 3K Following [email protected] | Formal Verification, Compilers & Static Analysis | @WhileyLang | Researcher in Smart Contracts @ConsenSys | Opinions are my own.
Shankar Garikapati @gbshankar31
141 Followers 3K Following Security, Privacy and Distributed Systems / Staff Engineer & Tech Lead at Lyft. UCLA/IIIT-HYD Alumnus.
Saberarch*** @saberarch666
658 Followers 6K Following Chronischer Zweifler u. ehem. Journalist. Tweets/Likes/Retweets sind keine Finanzberatung oder Befürwortung. Sapere aude!
Logan Capaldo @elcapaldo
115 Followers 153 Following
PrivacyEngineeringSou... @PrivEngSourcing
0 Followers 47 Following Talent Sourcing Privacy Engineers @Meta
schch @meehaaaaaa
6 Followers 384 Following
Allison McArthur @allisonpr
78 Followers 470 Following Communications Account Exec. 👀 | Still waiting on my Survivor callback 🔥
WYSIWYG @fusedcopula
33 Followers 925 Following
Jing Liu @fuzzjing
277 Followers 717 Following PhD student @UCIbrenICS ➡️ #MPI_SP @maxplanckpress | @summerofbitcoin '22 | btw I use Arch
Hazel is still disabl... @phazelic
590 Followers 4K Following Disabled dispatches from a death cult. Urban hermit, queer crip, knitter, tech ghost, gay married, ND, any pronouns. YT @3tangents. 🦓🧑🏻🦼👩🏻💻📚🧶🏴
Radhika Ghosal @kharghoshal
312 Followers 2K Following PhD student at @hseas in systems and computer architecture | @IIITDelhi alum. Interested in all hardware big and small. Dilli hip hop stan account.
cohost.org/monadliker @monadliker
3K Followers 3K Following
Zachary Larson @zacharylarson
621 Followers 5K Following Cyber-Social Infrastructure You are your environment 🦋zacharylarson
Ren Tristan A. de la ... @rtadelacruz
28 Followers 791 Following
rottensunday @Arnachim
57 Followers 1K Following
optictropic @optictropic1
206 Followers 5K Following Can't make it like Alexander, gotta make it like Satoshi
Alexandros Hasikos @alexhasikos
93 Followers 522 Following Partner & Head of R&D @ Electi | Cryptography | Blockchain
Brent Carmer @alpha_brentauri
31 Followers 87 Following
Hazel Weakly @hazelweakly
828 Followers 797 Following Account locked so the name isn't stolen. Consider this account deactivated. mastodon: @[email protected] bluesky: @hazelweakly.me
Ian Sweet @completelysound
441 Followers 344 Following Research Engineer @galois, previously PhD @umdcs and @plumlab with @michael_w_hicks. Interested in language-based security.
Gary Hu @rdsspq_eax
172 Followers 871 Following Ph.D. student at @HKUST. I'm focusing on formal verification.
Ben Karel @benkarel
94 Followers 395 Following On a quest to find out just how far we humans can push this computer science thing.
Education Schmeducati... @Edschmedpod
284 Followers 963 Following current comedian and future teacher @themikeokeefe talks to guests about their experience in school before giving them a pop quiz for charity! Subscribe below!
Tiffany Jennings @writingthesurf
3K Followers 2K Following #RipCity fan, mental health advocate, cross stitcher, LEGO builder, Star Wars, content strategy @sonatype, surfer, #WeAre12! she/her
Andrew Kent @pnwamk
96 Followers 112 Following During the day I hack on cryptographic computing tech at @AWS. PhD in CS (Programming Languages) from @IULuddy. Tweets may reflect the opinion of no one.
Dani @Electricfire13
340 Followers 795 Following
Lars Bergstrom @larsberg_
3K Followers 3K Following Google Director of Engineering, @android Platform Tools & Libraries. @rust_foundation & @risc_v Board of Directors. Powerlifter. (he/him)
Shraddha Barke @shraddha_96
676 Followers 889 Following Senior Researcher @MSFTResearch | program synthesis, AI4Code, large language models, Human-AI | PhD from @ucsd_cse, @Theteamatx, @BITSPilaniGoa.
Vivek @vairvt
41 Followers 119 Following Cryptography Engineer @qeditzkp. Previously @ucsd_cse, @galois, @iitbombay
Ben Fuller @fuzzycrypto
636 Followers 384 Following Security Researcher, Cryptographer, Assistant Professor @UConn, person figuring out life, he/him, former weightlifter
Daniel BG 🇮🇱 @BenarrochDaniel
1K Followers 3K Following Building collective intelligence @inversed_tech; can technology help bring the geula? podcasting at What Matters Most https://t.co/Ipio1WRztp
Tinho @0xtinho
405 Followers 6K Following Would love to make a business out of going down rabbit holes
☛ S. Rusinsky @rusinsky
1K Followers 3K Following Dad, CEO. ex: NLP, director of R&D, maker of compilers. Tweets in FR, EN, HE, NL, IT & ES. I love humankind, might dislike deeds
Xiao Wang @wangxiao1254
2K Followers 434 Following Teaching and Learning Cryptography at Northwestern https://t.co/6itlOlxLLx
Langston Barrett @langston_______
8 Followers 139 Following
Brandon Kramer @brandonlkramer
560 Followers 2K Following phd-level sociologist specializing in blockchain, data, and open-source at @edgeandnode @graphprotocol. ex: @uiowa @RutgersU @UVA. alt: @0xgraphlet.
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
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
José Manuel Calderó... @josecalderon
2K Followers 856 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Mike Dodds @miike
1K Followers 562 Following Formal methods enthusiast. Principal scientist at @Galois. English immigrant. Nitwit. Opinions my own.
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Santosh Nagarakatte @santoshgnag
2K Followers 602 Following Professor and undergraduate program director, Computer Science, Rutgers University, New Brunswick. See my group RAPL: https://t.co/dYChac4veQ
Eddie Kohler @xexd
2K Followers 383 Following Ass, Professor. Gay. “Wow, A+++ would rely on the services of Eddie "Monkey Bounty Hunter" Kohler again” —@moyix. They (or he)
Dan Ports, @dan@discu... @danrkports
5K Followers 682 Following Exclusively on Mastodon these days: https://t.co/uq8vRRSnQa Distributed systems and operating systems. @MSFTResearch @uwsyslab
Nadia Polikarpova @polikarn
4K Followers 291 Following Associate prof @ucsd_cse. Building tools for program verification and synthesis.
Swarat Chaudhuri @swarat
3K Followers 628 Following Professor at @UTCompSci, Research Scientist at @GoogleDeepmind. Automated Reasoning + Machine Learning + Programming Languages.
Galois @galois
6K Followers 655 Following Galois applies cutting edge computer science and mathematics to solve difficult technological problems.
David Van Horn @lambda_calculus
5K Followers 1K Following Prof at @umdcs and @umiacs. Co-director of @plumlab. BlueSky: https://t.co/Bwck1H9fXK Mastodon: @[email protected]
Brooks Otterlake @i_zzzzzz
85K Followers 1K Following Send me your address so I can visit you and explain my passions
Sam Adler-Bell @SamAdlerBell
49K Followers 2K Following cohost of @knowyrenemypod with my pal @matthewsitman // writing @nymag @nytimesbooks @bookworld @newrepublic // literary rep @CarolineMEisen
Xiao Wang @wangxiao1254
2K Followers 434 Following Teaching and Learning Cryptography at Northwestern https://t.co/6itlOlxLLx
Brent Carmer @alpha_brentauri
31 Followers 87 Following
Lars Bergstrom @larsberg_
3K Followers 3K Following Google Director of Engineering, @android Platform Tools & Libraries. @rust_foundation & @risc_v Board of Directors. Powerlifter. (he/him)
Daniel BG 🇮🇱 @BenarrochDaniel
1K Followers 3K Following Building collective intelligence @inversed_tech; can technology help bring the geula? podcasting at What Matters Most https://t.co/Ipio1WRztp
Ben Fuller @fuzzycrypto
636 Followers 384 Following Security Researcher, Cryptographer, Assistant Professor @UConn, person figuring out life, he/him, former weightlifter
Parisa Ataei, PhD @parisataei
101 Followers 297 Following FP, DSL, Type systems, Static analysis, Formal verification. Opinions my own. Food and lifting make me happy 🏋🏻♀️🤸🏻♀️☕️🧁🧇🍱🌮
Anders Miltner (@amil... @AndersMiltner
481 Followers 451 Following He/Him. Assistant Professor at Simon Fraser University. Follows PL people. Posts Corgi Pictures.
Evan Sultanik @ESultanik
1K Followers 478 Following Ph.D. computer security researcher @TrailOfBits. Editor of and frequent contributor to #pocorgtfo. My CV is a PDF that’s also an NES ROM https://t.co/lDrC4Hz6AI
Hila Peleg is not her... @HilaCodes
2K Followers 377 Following Assistant Professor at @TechnionLive CS. Researches program synthesis and hopes to bring about the robot apocalypse. (she/her)
The Perry Bible Fello... @PBFcomics
102K Followers 1K Following Appearing 13-14th at the Rust Belt Market for Webcomicon! Limited Edition prints: https://t.co/9gcEjd2v8K On Patreon: https://t.co/io9cm9ECJ9
Amanda @zivicha
3 Followers 30 Following
Police Squad! @policeincolor
19K Followers 1 Following Police Squad! In Color - A tribute to the tragically short-lived TV drama. Not officially sanctioned in any way whatsoever.
Natasha Griffin @natakisgriffin
109 Followers 293 Following MS student in the Crump lab @OSUCEOAS working with the @ArcticLagoons LTER. Excited about tiny creatures🦠 and big ecosystems 🌊.
Paul Pearce @paul_pearce
2K Followers 390 Following Assistant Professor at Georgia Tech Computing. I work on network security. PhD @ UC Berkeley. My opinions are actually yours. How could you think that?!?
SungWon Cho @ProZD
788K Followers 840 Following I'm a voice actor. Represented by CAA. [email protected]
Owen Arden @owenarden
947 Followers 2K Following CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems @[email protected] (https://t.co/L1VYRUX30H) he/him
paulette d. koronkevi... @koronkebitch
3K Followers 337 Following preserving types with @wilbowma at @ubc_spl. former @galois intern, former former @IULuddy undergrad (she/her)
Rebecca Sugar @rebeccasugar
622K Followers 172 Following Writer, artist and songwriter for "Adventure Time" and the creator of "Steven Universe." New album "Lonely Magic" coming August 2025
Cohen is a ghost @skullmandible
47K Followers 797 Following Cohen Edenfield. Writes games. DM on @skulltenders they/them
lyndal b. @lyndal_b
144 Followers 103 Following Medical Registrar in Australia. I like night shifts, cats, video james, and making you cake. Pretty queer, she/her.
Nothing but antic cla... @joranwei
366 Followers 637 Following Done here. See: https://t.co/HKIEHAvuof
Alexandria Ocasio-Cor... @AOC
12.7M Followers 4K Following US Congresswoman, NY-14. In a modern, moral, and wealthy society, no American should be too poor to live. People-Funded, takes no lobbyist💰. Personal account.
Jason Dagit @thedagit
671 Followers 265 Following
bsky.app/profile/acfo... @acfoltzer
951 Followers 735 Following he/him/his / https://t.co/TOW00igWEl / https://t.co/PcUVV5ynmY
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Adam Doupé @adamdoupe
5K Followers 1K Following Former DEF CON CTF organizer. Associate Professor @ASU. Web, system, and network security. Loves CTFs. Hacks w/ @shellphish. Hosts @ctfradiooo. Open DMs.
Klaus Gleissenthall @kgleissen
278 Followers 320 Following Assistant Professor in Computer Science at @VUamsterdam.
Somesh Jha @jhasomesh
4K Followers 863 Following Professor of Computer Science and a music lover. Interested in formal methods, security, and Trustworthy ML. Oh yes, and classical music and jazz.
Aaron Tomb @atombeast
266 Followers 336 Following Applied Scientist at Amazon Web Services. All opinions are entirely my own. He/him.
David Thrane Christia... @d_christiansen
3K Followers 624 Following I like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean. he/him
David Darais @daviddarais
983 Followers 825 Following Principal Scientist @ Galois, Inc.. Programming languages, software verification, computer security, data privacy.
wintensional equality @plt_dril
1K Followers 0 Following 'flawless agda noscope'. the crowd goes wild...
Joey Dodds @n1nj4
685 Followers 304 Following Automated reasoning, cryptography, and systems at AWS This is a personal account. https://t.co/mHZnPLjx9p
Jana Giceva @JanaGiceva
810 Followers 485 Following Assistant Professor for Computer Science at TU MunichTrends for United States
2.512 posts
3.515 posts
64,1 B posts
5.716 posts
12,3 B posts
3.341 posts
184 B posts
36,1 B posts
2.853 posts
12,5 B posts
20,4 B posts
6.650 posts
2.289 posts
2.292 posts
26,7 B posts
7.426 posts
1.473 posts
9.205 posts
You might like
Peter O'Hearn
@PeterOHearn12
2K Followers
Arjun Guha
@ArjunGuha
1K Followers
Eric Eide
@eeide
2K Followers
Ranjit Jhala
@RanjitJhala
3K Followers
Ningning Xie
@xnningxie
4K Followers
Ilya Sergey
@ilyasergey
6K Followers
vollmerm
@ma_vollmer
677 Followers
José Manuel Calderó...
@josecalderon
2K Followers
Mike Dodds
@miike
1K Followers