Lindsey Kuper (@[email protected]) @lindsey
CSE assistant professor at @ucsc (https://t.co/mijWIrhfoU). Made in Iowa. Nearly 100% biodegradable. https://t.co/iAyJDalnrG decomposition.al Joined October 2006-
Tweets23K
-
Followers10K
-
Following880
-
Likes31K
I recently learned that lenses are just getter/setter pairs. That's all they are. What else are y'all not telling me?
Twitter has its problems -- @alexrudnick calls reading Twitter "pressing the pain button" -- but it's been my memex for ten years, and once I got a good chunk of research funding largely because someone appreciated a joke I made on here. It's a bummer to see it go down the tubes.
I am officially no longer the Engineering Manager for the Accessibility Experience Team at Twitter. I have words. 🧵
tfw "Steps to Reproduce the Problem" include "Wait for awhile" github.com/knative/servin…
Sylvia disapproves of the term "bus shelter" because "it doesn't even shelter the bus"
It's that time of the semester again -- make an OS or Security zine for extra credit! docs.google.com/document/d/1VK… -- thanks to @lindsey and @pinkhairedcyn for the concept and much of the content. Feel free to adopt and adapt!
This week at the LSD Seminar, Yahui Song will tell us about her work on automated temporal verification: lsd.ucsc.edu/lsd-seminar/20… Join ucsc-lsd-seminar-announce to get talk invites: groups.google.com/g/ucsc-lsd-sem…
POPL 23 is coming up and we (@shraddha_96 and I) are looking for student volunteers. POPL will take place in ☘️ Boston, MA 🟥🧦, from Jan 15th to January 21st. Student volunteers get free registration to the conference and all accompanying events. More ⬇️
and to be clear, I genuinely *love* this bit from the timely dataflow book, but I was still incapable of stopping myself from making this and then sharing it with you
and to be clear, I genuinely *love* this bit from the timely dataflow book, but I was still incapable of stopping myself from making this and then sharing it with you https://t.co/EQ4TWRF3ri
A massive strike authorization vote is taking place for 48,000 academic workers within the University of California. The sheer scale of this vote’s impact is immense - around 10% of all postdoc workers in the USA are in the UC system.
Would anyone in the Bay Area like a gorgeous Westinghouse console AM/FM radio/record player? Free to a good home — my family needs to clear it out of my dad’s childhood home in Marin ASAP.
I'm looking for a PhD student interested in connecting classic techniques from linguistic syntax and compositional semantics with software specifications. I really want to dig into *both* the specification side of this (useful tools) *and* the linguistics...
YES. I've been waiting for this dude to rebloom since 2018! Check out that lil flower spike!
Sylvia: Rainbow scratched my arm. me: Why did she scratch your arm? Sylvia: I was teaching her how to scratch.
Happy Friday all.
my attempt to get the students to vote and choose the topic for my winter grad special topics course has ended in a four-way tie lol
Talia Ringer 🟣 �.. @TaliaRinger
26K Followers 6K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבוש
Shriram Krishnamurthi.. @ShriramKMurthi
19K Followers 4K Following 🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricket
Satnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
Loris D'Antoni @lorisdanto
6K Followers 731 Following Professor @WisconsinCS, this summer moving to @ucsd_cse. Also Visiting Academic @AWScloud. Helps people write programs that do the thing people want them to do.
Brendan Dolan-Gavitt @moyix
25K Followers 6K Following Associate Professor @ NYU Tandon. Security, RE, ML. PGP https://t.co/3WXr0RfRkv Founder of the MESS Lab: https://t.co/zGycrX3Gmn "an orc smiling into the camera" — CLIP
Kristopher Micinski @krismicinski
6K Followers 3K Following @[email protected]. Tweets do not represent anyone's views, especially mine.
Ilya Sergey @ilyasergey
5K Followers 963 Following Associate Professor at @NUSComputing. Member of @nus_plse. Programming languages, verification, distributed systems. Ex-@uclcs, @IMDEA_Software, @jetbrains.
Manish @ManishEarth
14K Followers 613 Following territory mapper. 💉did @ca_covid . 🗣️ likes languages. ✈️ Repatriate/ABCD. 👨🔬 Formerly physics. he/him
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Andrew Myers @AndrewCMyers
4K Followers 283 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.
KC Sivaramakrishnan @kc_srk
4K Followers 3K Following CTO @tarides_. Profing @iitmadras. Trustee https://t.co/WE1No5QqOA.
Patrick Walton @pcwalton
18K Followers 560 Following Programming languages and graphics person. @[email protected]
✨ Jean Yang ✨ @jeanqasaur
25K Followers 4K Following New Product @getpostman. Founded @akitasoftware. Programming, APIs, and developer experience. Former programming languages professor @CSDatCMU.
Graham Hutton @haskellhutt
7K Followers 695 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Will Crichton @tonofcrates
7K Followers 163 Following Cognitive engineer, incoming assistant professor @BrownUniversity.
Mike Hicks @michael_w_hicks
5K Followers 494 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Edward Kmett⏏️ @kmett
14K Followers 777 Following Founder/CTO of @Positron_AI Helping @ToposInstitute I tend to talk about Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/oP135HK8LM
Jonathan Aldrich is K.. @JAldrichPL
4K Followers 1K Following Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board. CTO of Noteful (https://t.co/sNSJTo6uHj). He/him. Views are mine.
billions of packets @justinesherry
10K Followers 2K Following Computer person. I like middleboxes, systems, and Internets. Assistant Prof @ AS9. she/her, [email protected], @[email protected], 🇺🇲❤️🇵🇹
Praveen Vaddadi @Densebit
175 Followers 2K Following Building world's fastest analytics engine. UMD CS. Founder and CTO at Notaceon Inc. Blog: https://t.co/Vz8EJE9VtG Email: [email protected]
Hailey @twilightmaiden5
3 Followers 97 Following
gwangsu @gwangssu
81 Followers 1K Following software engineer, gamedev, distributed systems, craftsmanship
Netra Bhatt @netrabhatta
100 Followers 490 Following Software Engineer, Father of 2, adult chess improver
Zac_author_viking @Warrior2Ghost
2K Followers 5K Following Author ..with 3 published books... fibromyalgia warrior . Founder of ZWK.WRITING LLC.. Robitcs/IT Tech Compnay... freelance blogger with 30k... ..Sigma male
Alan Baker @AlanBaker555085
7 Followers 12 Following
Aryan @aryanpathania03
30 Followers 144 Following Ex-Backend Intern at Mercari | CEO at @htmx_org | Computer Science and Engineering student at NIT Hamirpur
Abhishek @abhishek538d
18 Followers 491 Following
Aman @aman_g_
165 Followers 201 Following
Maryelise Balch @MaryeliseB24283
33 Followers 310 Following
rashidiqbal @rashidiqbal
147 Followers 973 Following Ex-@VMWare; Ex-@Oracle; #Startups; #CloudComputing; #Databases; #SaaS; #EnterpriseSoftware 🌎/🇨🇦/🇺🇸 Tweets may disappear over time.
Hares Nazir @HaresNazir90275
1 Followers 11 Following
Bradley longsdon @bradley44907
349 Followers 4K Following interpol is connecting over 195 countries for a safe word. Don't Hesitate To Report Serious Cyber Abuse or Suspicious Activities
SilverLining @Sue980329493674
77 Followers 1K Following Dreams are the road to the distance, and persistence is the force of the feet.
Dan Ganea @thedanganea
83 Followers 1K Following Backend Engineer using @Kotlin. Former ML/CV researcher, MSc @UtrechtUniversity. Published a paper, wrote path-tracers. Coffee-brewer.
Richard John @Richard19760851
6 Followers 8 Following
Joel Jacob @joeljacobdev
17 Followers 132 Following Loves learning new things, programming and watching tv series.
Sandip H @HSandip1988
68 Followers 667 Following Ecommerce Solution | Mobile App Solution | Shopify | SAAS | Co Founder at Softpulse Infotech Pvt Ltd
Brenda McIntosh @McintoshBr68255
38 Followers 292 Following
Kayla long @UrenKayla48872
4 Followers 130 Following Referral link: https://t.co/IW7EBtSUuu ATTAPOLL
Sundara Vishnu @sundara_vishnu
58 Followers 248 Following @UMich '25 | pl, distributed systems, & math | 🏃♂️🧗♂️🚴♂️|
zekrioca @zekrioca
19 Followers 443 Following
Md Esahak @MdEsahak319307
0 Followers 93 Following
Allison Friars @allison_friars
11 Followers 29 Following
umar salihu @salihu_uma6790
11 Followers 67 Following
Elon Musk Parody @Elonmuskparo2
260 Followers 5K Following
Scofield Z.Q. Liu @ZhengqingLiu
81 Followers 650 Following Ph.D. student @imperialcollege, tinkering with OS/Network, previous @maxplanckpress, @Polytechnique, @Inria, @ETH_en. He/Him
Samuel Lee @myunggunl333
293 Followers 4K Following I was the leading figure of both the spiritual and psychological warfare for 17 years... https://t.co/cDnw82FoFs
rajat agarwal @rajatag30935196
0 Followers 71 Following
Ed Rooney @Rooney2k9
2K Followers 4K Following Mortgage professional for 30 years. Previously worked in middle management with USPS. Avid follower of politics since President Kennedy defeated Nixon in 1960.
Victoria Susan @lyVictoriaSusan
173 Followers 167 Following Dominance is a woman's nature and a woman's strength, and when you love, you love, and you won't let go of it easily or allow others to touch it. # I love Ameri
Lesson Chris @LessonChris
25 Followers 15 Following
Yz @zhangsuke
7 Followers 116 Following
Nenad Filly Nk @bfilly3
98 Followers 709 Following 50k in debt 800k in 3weeks make over 40k on daily basis DM me and get started
Ahmed Fouzan @AhmedFouzan
67 Followers 1K Following Figuring out life one step at a time | Cat person | Data Platform @Outsystems | Previously @Uber, @Citrix
مرزوق ابوسا.. @MrzwqA21756
0 Followers 3 Following
Talia Ringer 🟣 �.. @TaliaRinger
26K Followers 6K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבוש
Shriram Krishnamurthi.. @ShriramKMurthi
19K Followers 4K Following 🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricket
Satnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
Loris D'Antoni @lorisdanto
6K Followers 731 Following Professor @WisconsinCS, this summer moving to @ucsd_cse. Also Visiting Academic @AWScloud. Helps people write programs that do the thing people want them to do.
Brendan Dolan-Gavitt @moyix
25K Followers 6K Following Associate Professor @ NYU Tandon. Security, RE, ML. PGP https://t.co/3WXr0RfRkv Founder of the MESS Lab: https://t.co/zGycrX3Gmn "an orc smiling into the camera" — CLIP
Kristopher Micinski @krismicinski
6K Followers 3K Following @[email protected]. Tweets do not represent anyone's views, especially mine.
Ilya Sergey @ilyasergey
5K Followers 963 Following Associate Professor at @NUSComputing. Member of @nus_plse. Programming languages, verification, distributed systems. Ex-@uclcs, @IMDEA_Software, @jetbrains.
Manish @ManishEarth
14K Followers 613 Following territory mapper. 💉did @ca_covid . 🗣️ likes languages. ✈️ Repatriate/ABCD. 👨🔬 Formerly physics. he/him
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Andrew Myers @AndrewCMyers
4K Followers 283 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.
KC Sivaramakrishnan @kc_srk
4K Followers 3K Following CTO @tarides_. Profing @iitmadras. Trustee https://t.co/WE1No5QqOA.
Patrick Walton @pcwalton
18K Followers 560 Following Programming languages and graphics person. @[email protected]
✨ Jean Yang ✨ @jeanqasaur
25K Followers 4K Following New Product @getpostman. Founded @akitasoftware. Programming, APIs, and developer experience. Former programming languages professor @CSDatCMU.
Graham Hutton @haskellhutt
7K Followers 695 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Will Crichton @tonofcrates
7K Followers 163 Following Cognitive engineer, incoming assistant professor @BrownUniversity.
Mike Hicks @michael_w_hicks
5K Followers 494 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Jonathan Aldrich is K.. @JAldrichPL
4K Followers 1K Following Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board. CTO of Noteful (https://t.co/sNSJTo6uHj). He/him. Views are mine.
billions of packets @justinesherry
10K Followers 2K Following Computer person. I like middleboxes, systems, and Internets. Assistant Prof @ AS9. she/her, [email protected], @[email protected], 🇺🇲❤️🇵🇹
Rachit Nigam @notypes
4K Followers 1K Following MIT visiting scholar & Cornell PhD Candidate | Computer Architecture + Programming Languages. Organizer @PLteaforplt. He / him.
Brooklyn Zelenka @expede
4K Followers 1K Following 🦋 https://t.co/RZiIFBltk6 🐘 https://t.co/M5jkMtCF5O 👩🔬 Indie developer & researcher 🏳️🌈 Queer AF 📚🤝 FOSS, standards, commons #BLM
David Widder - @david.. @davidthewid
3K Followers 847 Following forever trying to help computer people think more critically about computer artIG@davidthewid Postdoc@Cornell Tech. PhD from CMU, exNASA/MSR/IntelLabs.
Alex Calderwood @alex_calderwoo
334 Followers 776 Following and my fabulous collection of dancing words @xenoscope.bsky.social PhD student in media computation @UCSC ex: @BrownInstitute @recursecenter @ColumbiaCompSci
anna @aldlatour
687 Followers 2K Following Computer Scientist. Postdoc interested in Boolean satisfiability and counting. Feminist. Trekkie. Traveller. Opinions my own. @[email protected]
Aishwarya Ganesan @AishwaryaGanlat
960 Followers 395 Following Assistant Professor @illinoiscs. Affiliated researcher @vmwareresearch, PhD from @WisconsinCS
mjec @mjec
2K Followers 2K Following @[email protected] and mostly not here anymore. aka Michael Cordover. Software engineer @ Etsy. Ex-lawyer. Recurser. They.
Aaron J Elmore @AaronJElmore
2K Followers 883 Following Databases & Information. Assoc. Prof of CS @ University of Chicago
Kostis Kaffes @kkaffes
857 Followers 1K Following Assistant Prof. @ColumbiaCompSci. Former Google, @Stanford. Athenian.
Joachim Breitner @nomeata
3K Followers 1 Following Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 https://t.co/9Sjz02h8dL
Andreea Costea @andre_costea
127 Followers 183 Following formal verification, languages, and OCaml enthusiast @NUSComputing
katie @focusfronting
28K Followers 6K Following views are not my own and represent those of noam chomsky. she/her
Neringa Young 🇺�.. @NeringaYoung
1K Followers 832 Following Founder of the largest software dev conference in Baltics--》BUILD STUFF. Conference manager at ACM Sigplan conferences--》 PLDI, POPL, ICFP, SPLASH
J @EremondiJoey
708 Followers 538 Following This account is deprecated. Find me as @[email protected]
Charlie McDowell @cmcwerner
22 Followers 13 Following
Shadaj Laddad @ShadajL
2K Followers 338 Following PhD student at @BerkeleySky + https://t.co/Ax69nGsKRw, building languages for distributed systems. Prev: {@google, @facebook, @apollographql, @khanacademy, @coursera}
Maya Keytar née Kupe.. @leadsynth
586 Followers 839 Following Girl with the waveform tattoo. Audio geek. Keytarist extraordinaire. Editor-in-chief @zZounds. Co-creator of @DaynaClayBand and of my two daughters!
Meredith Whittaker @mer__edith
92K Followers 5K Following President of @signalapp, Chief Advisor to @ainowinstitute (Also on Mastodon @[email protected], also on bsky @meredithmeredith.bsky.social)
Roy Frostig @froystig
1K Followers 505 Following research scientist at @googledeepmind. co-author of JAX (https://t.co/TaE9kvzZMa)
Adam Paszke @apaszke
10K Followers 512 Following Author of PyTorch, Research Scientist at Google Brain. Currently working on dex-lang. MIMUW CS & Math graduate. [email protected]
Daniel Jackson @danieljacksoncs
142 Followers 37 Following Prof. of Computer Science and Associate Director of CSAIL, MIT.
Aleksey Charapko @AlekseyCharapko
2K Followers 188 Following Assistant professor of computer science @UofNH. ex-Microsoft. Interested in everything distributed/cloud/edge
Kevin Buzzard @XenaProject
9K Followers 0 Following Mathematician learning Lean and trying to teach it to others. Now gone to Mathstodon (March 2023). No longer reading or replying to mentions.
Daniel Patterson @dbp__
346 Followers 538 Following assistant teaching professor @KhouryCollege. former: phd student @neu_prl, organizer with @nugradunion, worker @positiondev. @[email protected] https://t.co/zKjxlAzXsi
Shrutarshi Basu 🇺�.. @basus
1K Followers 2K Following Faculty @middlebury CS. Formerly PhD @CornellCIS & post-doc at Harvard. Exploring the intersection of computing & law. Go to therapy, folks. He/him.
Troels Henriksen atha.. @sigkill_dk
584 Followers 180 Following Hacker in academia. I think deterministic parallel programming is just great! I work on https://t.co/EDD6IfUdTw
Lorrie Cranor @lorrietweet
7K Followers 587 Following Password researcher & fashion idol. Bad-ass cyberfeminist. Usable privacy & security prof. Quilter. Runs after 3 kids + soccer balls.
Pedro Abreu @p_droabreu0
1K Followers 753 Following PL PhD student @purdue_pl and self proclaimed PL meme lord behind @ttforall.
asker the gauche, gly.. @johnbender
1K Followers 270 Following Though brain damaged, he retained his scientific skill and intellect, unfortunately choosing to use it for acquiring bread. (Formal Verif. Researcher @ Sandia)
David Renshaw @dwrensha
457 Followers 294 Following • Formalizing math problems in Lean: https://t.co/I2t00m5FPP. • Acronymizing every word: https://t.co/F5vAgfs2Az. • Maintaining capnproto-rust.
Razvan Marinescu @RazMarinescu
1K Followers 2K Following #MachineLearning #CompBio #MedicalImaging. Assist. Prof. in CSE @UCSC. Co-founder @GiwoTech.
Sam Lindley @reifyreflect
649 Followers 293 Following
Kevin De Porre @KevinDP55
139 Followers 185 Following Founding engineer 👨💻 @ElectricSQL. Part-time postdoctoral researcher 👨🔬 @softlab_brussel.
Richard Eisenberg @RaeHaskell
3K Followers 161 Following Type system grease monkey and language designer for Haskell and OCaml. I want type systems to save us from software errors. Works at @JaneStreetGroup. He/him
Elisa Gonzalez Boix @elisagboix
432 Followers 147 Following prof@Vrije Universiteit Brussel - concurrent and distributed systems, programming abstractions, debuggers & language-based security.
Max ⊶ New @maxsnew@.. @ProfMaxNew
1K Followers 225 Following Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️
Christie Koehler @christi3k
3K Followers 3K Following Infrastructure Engineering by day. Gaming and art by night. MS & Sjögren’s. she/her. mastodon: @[email protected]
Sreepathi Pai @SreepathiPai
401 Followers 365 Following Academic (CompSci@Rochester). Randonneur. (RFC1983) Hacker. I like writing code that writes fast, parallel code, mostly for GPUs. @[email protected]
Joe Hendrix @joe_hendrix_fm
155 Followers 131 Following I write software. Principal Computer Scientist at SRI.
The Iowa Jane Collect.. @IowaJanes
2K Followers 207 Following We are the Iowa Janes and we offer free emergency contraceptives, free pregnancy tests, and abortion resources to people in IA. email Jane at [email protected]
Brad Fitzpatrick 🌻 @bradfitz
53K Followers 1K Following I do computers. Married to @radkat. 3 kids. Xoogler. @golang team '10~'20. Made LiveJournal, memcached. Now @Tailscale. Mostly in bluer skies these days.
Michael McThrow @mmcthrow
139 Followers 177 Following I'm a computer scientist who loves systems, AI, and programming languages. I love music (especially jazz) and Japan. #StopAsianHate
Matthew Parkinson @ParkyMatthew
582 Followers 554 Following Working at Microsoft Research on various programming language things.
Jim W @jwithy@social... @jwithy
558 Followers 462 Following Semi-Buddhist nail-biting front-end web-devving hyphenator | 💙 Empathy heart supporter 💙 | he/him | https://t.co/UqnYyAokaw | https://t.co/wjwVXqAjEn
Chen Qian @ChenQianUCSC
46 Followers 91 Following Professor at UC Santa Cruz. “Networking guy” but interested in all exciting problems of computing.
Nathan Altice @circuitlions
2K Followers 574 Following Games researcher and archivist. Synth destroyer. Makes old things new. Computational Media at UCSC. Wrote I AM ERROR. https://t.co/qjPlXR8Rct. https://t.co/cHP0TOA6EV
PL conference page limits @johnregehr 🤝 Doesn’t include appendix
@lindsey @alexrudnick Just requested my tweet archive, let's see if that's the first thing to collapse
@lindsey @alexrudnick I'm not going to tell anyone that they should be spending time on Twitter, but it going down the tubes would be because people I want to hang out with, like you, aren't around any more.
@lindsey @alexrudnick Memex is a good way to describe that part of it. Like without twitter advanced search I’d still be using del.icio.us or something! I’m lowering my expectations, waiting & seeing. Twitter has only rarely felt to me like a pain button.
watching a tv episode where a professor is going to commit literal murder in order to obtain the position of……………department chair
@littlecalculist Maybe a stretch, but work by Peter-Michael Osera on program synthesis is partly based on the idea that is easier to search for correct programs if there are fewer of them. Typical static type systems (as compositional overapproximations) shrink and organize search spaces.
@swarat @lindsey @samth @hillelogram @TaliaRinger Such great leads, thank you!
My sister fostered (and then adopted) two black cats! Cuties!
@lindsey compilers are just functions from byte sequences to byte sequences
@lindsey I think that's indeed all they are. Following sensible laws for correct composition (which you already have in your mental model so don't find it worth the trouble).
I am officially no longer the Engineering Manager for the Accessibility Experience Team at Twitter. I have words. 🧵
I've seen three pregnant people and one person on maternity leave posting about being laid off so far. Ghoulish.
Hearing that some of those who are being laid off from Twitter are pregnant. And they don’t know what severance or insurance coverage they’ll have moving forward. Just so much uncertainty right now on top of losing your job…
i felt like "don't change" implied you were incapable of improving or becoming better in any way so i just wrote "don't get worse"
"We’ve filed a lawsuit challenging GitHub Copilot" 👀 "Hello. This is Matthew Butterick." 🤯 githubcopilotlitigation.com
eleanor rigby digs through the ditch and then burns through the witch with a lamb dragula slam
Trends for United States
You might like
