@[email protected] (EDITED) @_redmp
Played at https://t.co/3dfzzqjgvZ, worked at https://t.co/GGCdwQfsLn, studying at https://t.co/BNseFE3RnO. I use Haskell to do all the things only fast languages can do. curious.software Joined March 2012-
Tweets999
-
Followers152
-
Following167
-
Likes440
"Oct 7th was an atrocity, and so was every day since then. 20,000 Palestinians have been killed by indiscriminate, deliberate Israeli bombs." blog.paulbiggar.com/i-cant-sleep/ (from @[email protected])
The U.S. must not provide $10 billion in military aid for Netanyahu's right-wing government to conduct their horrific war against innocent Palestinians. Read my letter to President Biden asking him to stop funding this war and to support UN efforts for a humanitarian ceasefire.
The recording of the #Haskell Unfolder episode on Haskell at ICFP is now ready for watching, showcasing work by @gshen42, @shun_kashiwa, @lindsey , @_redmp and Aaron Allen. youtube.com/watch?v=dthDvN…
Tomorrow, 2023-09-13, at 1830 UTC, we will be streaming a new #Haskell Unfolder episode about Haskell at ICFP. @EdskoDeVries will tell @kosmikus about a few selected papers that were presented at ICFP and associated events last week. youtube.com/watch?v=dthDvN…
An Exceptional Actor System (Functional Pearl) Uses async exceptions to model actors arxiv.org/abs/2307.11194
The economics of growth is a religion. First time I've heard it said by a public figure.
The economics of growth is a religion. First time I've heard it said by a public figure.
This is insane verging on criminal and shows the dangerous ideology of economic growth as our secular religion, completely blinding us to the possible economic alternatives that could preserve a liveable planet. But it is the current reality. So please. I am not good at this. 8/
Because here is the thing. Every. Single. Journalist. who was there (and there were many, from major outlets all over Europe and the world) that I spoke to, said "my editor refuses to print any story critical of economic growth." Every. Single. One. #BeyondGrowth2023 7/
A simplified version of @_redmp's figure below, + a definition of causal delivery expressed as a refinement type in Liquid Haskell, from my talk at the Berkeley Programming Systems Seminar yesterday: users.soe.ucsc.edu/~lkuper/talks/…
A simplified version of @_redmp's figure below, + a definition of causal delivery expressed as a refinement type in Liquid Haskell, from my talk at the Berkeley Programming Systems Seminar yesterday: users.soe.ucsc.edu/~lkuper/talks/… https://t.co/kcwOQ2z9Zj
The talk I gave at IFL last week, "Verified Causal Broadcast with Liquid Haskell": decomposition.al/blog/2022/09/0…
This project was led by my student @_redmp with contributions from @gshen42 and @nikivazou. Check it out! arxiv.org/abs/2206.14767 And the code is here, ready for you to try out: github.com/lsd-ucsc/cbcas…
Twitter asks me if I "Want to read the article first?" as I retweet this. 🧐
Twitter asks me if I "Want to read the article first?" as I retweet this. 🧐
I heard you're not supposed to explain a proof, so I drew you a picture instead. Here's a visual summary of the CBCAST verification work I've done with @lindsey and @gshen42 at lsd.ucsc.edu.
Important vim setting for all comrades :map <C-w>L <nop>
beike @beikejun07
35 Followers 2K Followingsclv @sclv
2K Followers 3K Following "more important than being able to do mathematics is to be sure the applications are meaningful." - e. bishop • https://t.co/vM4OgmDjGQheneli.dev @henelidotdev
159 Followers 713 Following Haskeller, Alum @recursecenter Sp2'17, alt: @anthrolawnmowerSerokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AIaramya @thmgdi
215 Followers 2K Following interested in low-level computing, pwn and functional programming :)Andrew Quinn @AndrewRQuinn
498 Followers 157 Following Systems Researcher, Professor at the University of California, Santa Cruz https://t.co/1VT5E828cFJing Liu @jingliucs
84 Followers 419 Following Ph.D. student in CS@UW-Madison, working on operating systems.Tom Lynch @machineslearn
89 Followers 3K FollowingDev (discuss.systems/.. @Dev14e
1K Followers 1K Following no time for facts, vibes only. phd candidate in systems at uc santa cruz. he/him https://t.co/eXZkO5t3TI{...} Phil de Joux @philderbeast
291 Followers 1K Following Linking moves, deferring to the compilersYao Li @lastland0
1K Followers 696 Following He/Him. Assistant professor at @Portland_State. Ph.D. @Penn. Programming Languages, Formal Verification, Interactive Theorem Proving. [email protected]L. Amber O'Hearn 🛡.. @ambimorph
3K Followers 2K Following code(s), information theory, linguistics, brains,… ‖ Erdős #4 ‖ former board member @LeastAuthority ‖ @ZcashCommGrants committee ‖ aka @KetoCarnivore ‖Amin K @OItsMAK2
81 Followers 295 Following Computer Science & Engineering Master's candidate at UCSCColin Gordon of Masto.. @csgordon
1K Followers 3K Following CS prof at Drexel. (He/him). Now mostly on Mastodon at @[email protected] and @[email protected] and @[email protected]shzmwfgwzf @asnawysl
159 Followers 5K Following Charity Volunteer, Buddhist Believer, Help those who are struggling in life and God will bless yousalim pamukcu @Salimp2009Salim
400 Followers 2K Following @[email protected] C++🚀🚀 & 🦀🦀 Self Learning Programmer C++23+, Rust , Haskell, Linux, vim/nvim, Lunarvim,... 🙈Tyler Sorensen @Tyler_UCSC
980 Followers 842 Following Assistant Professor at UC Santa Cruz in CS and Security Research Engineer at @trailofbits Interested in PL and architecture design for heterogeneous systemsNataraj Subramanian @nataraj_s
298 Followers 4K FollowingRay @rayyy1024
1K Followers 941 Following Rusty Lakehouse. Coauthor of iceberg-rust. Apache Iceberg Committer.Yanze @liyzunique
177 Followers 298 Following PhD student at @ubc_spl, interested in anything related to PLGiridhar Addepalli @connect2ppl
213 Followers 2K FollowingAchilles Benetopoulos @singingcircuits
243 Followers 455 Following Systems PhD candidate @BaskinEng Previously: engineering @withplum, @intuitionrobo/plæd•fɪnʧ/ is o.. @plaidfinch
499 Followers 833 Following watch bird, zoom car, eat snack email me! [email protected] @plaidfinch.net on 🟦 λ □ · ν ○ · □ ◇ Δ ○﹕□ ( □ ○ → ○ ) → □ ○Jamison Dance @jamison_dance
8K Followers 765 Following Computers are neat and people are neat. 🦣 @[email protected] 🎙️ @SoftSkillsEngHere 4 the Musk self .. @efvincent
213 Followers 666 Following Twitter: the most entertaining dumpster fire in recent memory. Looking forward to the movie in a couple of years. I hope they get Danny Devito to play Musk.Jason Chen @jasonchenpl
129 Followers 165 Following CS MEng Student @ MIT | interested in PL https://t.co/jh72o3N1H9 | personal account @chezbgoneJonathan Castello @Twisol
230 Followers 237 Following Ph.D student under @lindsey. I like concurrency and sustainable codebases. https://t.co/5MtoW8xi5l No, the domain is not for sale, sorry.Rithik Sharma @sharmarithik02
63 Followers 213 Following PL researcher traveling back in time Contributor at @llvmorg. Bachelor's thesis @SIC_saar & @HighTecEDV. PhD @UCSCnothingmuch @not_nothingmuch
2K Followers 5K Following incapable of producing grammatical tweets. he/him/they. worrying about privacy @spiralbtc. new people followed in private list due to twitter's arbitrary limvaibhav sagar @vbhvsgr
3K Followers 5K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on blueskyyomi "cursed meat" mo.. @mindypreston
956 Followers 1K Following @[email protected] . she/her, cis lesbian (fuck off TERFs). stuff for sale at https://t.co/ZniYJuA9zj. yep, still working on unikernelsDev (discuss.systems/.. @Dev14e
1K Followers 1K Following no time for facts, vibes only. phd candidate in systems at uc santa cruz. he/him https://t.co/eXZkO5t3TIMichael Greenberg @mgrnbrg
999 Followers 168 FollowingMelissa Xie @mxie
1K Followers 531 Following @GitHub Desktop + CLI EM. @bridgefoundry & @paisocofficial Board Member. 👩💻🎵🏋️♀️🐈 Tweets are my own. she/her/她Safiya Umoja Noble @safiyanoble
66K Followers 17K Following 2021 #MacFellow 🥰 | Author, Algorithms of Oppression, @[email protected] & @safiyanoble.bsky.socialJonathan Castello @Twisol
230 Followers 237 Following Ph.D student under @lindsey. I like concurrency and sustainable codebases. https://t.co/5MtoW8xi5l No, the domain is not for sale, sorry.Nintendo .DS_Store @sliminality
10K Followers 177 Following I want to talk to you about the affect and aesthetics of computing. All my PLposting now lives at @[email protected]Ben Gamari @bgamari
2K Followers 312 Following I work on the Glorious Glasgow Haskell Compiler at @WellTyped.PupXCrypto @PupXCrypto
15K Followers 2K Following Crypto enthusiast since 2013. This is not financial advice. DYOR. DM for promo.vaibhav sagar @vbhvsgr
3K Followers 5K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on blueskybrennanpierre @BrennanPierre
3K Followers 698 Following Blackbird Art Director, ramen and sci-fi enthusiast.PaulChadeisson @PaulC04
62K Followers 181 Following SOLSTICE - 5 film is available on youtube!!! https://t.co/L568O0wegLsparth @nbsparth
86K Followers 2K Following Tencent - TiMi Studio Senior Art Director. Formerly: Halo Infinite Art Director. Credits: Halo 5, Halo 4, Prince of Persia, Assassin's Creed, RAGE...ghc2031 @ghc2031
274 Followers 1 Following Default enabled language extensions for GHC2031. By @locallycompactBjörn Buckwalter @bjornbuckwalter
32 Followers 42 FollowingEdward Kmett⏏️ @kmett
14K Followers 776 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/oP135HK8LMAndres Löh @kosmikus
3K Followers 501 Following I am a partner and Haskell Consultant at Well-Typed LLP. http://t.co/cc1cbLgax5Simon Peyton Jones @simonpj0
5K Followers 3 FollowingMae Milano @mbpmilano
2K Followers 603 Following @PrincetonCS Assistant Professor. I build Programming Languages for Distributed Systems! @mpmilano.bsky.socialchris martens @chrisa.. @chrisamaphone
5K Followers 1K Following I'm not here anymore! Go find me where my display name says.Graham Christensen @grhmc
5K Followers 1K Following Realizing Nix's future with flakes with https://t.co/KZdugzj72q, at @DeterminateSys. he/him. 📻 NO5IGNeil Mitchell (neildm.. @ndm_haskell
5K Followers 169 Following Haskell/Rust programmer. Views expressed are my own.Cyrus Hall @cyrusphall
1K Followers 747 Following Mass car use is incompatible with great cities. Transit & bikes are the future. Tech things sometimes. [email protected]. RT != endorsement.Scott Rabin @scottirabin
47 Followers 66 FollowingNiki Vazou @nikivazou
3K Followers 477 Following Research Associate Professor at IMDEA && Haskell Enthusiast && developer of LiquidHaskell.Rep. Alexandria Ocasi.. @RepAOC
782K Followers 604 Following This account is maintained by federal staff to share services and legislation relevant to constituents of NY-14.Rep. Ilhan Omar @Ilhan
1.3M Followers 497 Following Representing Minnesota's 5th District in the People's House. @USProgressives Deputy Chair. Account managed by staff.Ilhan Omar @IlhanMN
2.9M Followers 2K Following Mom, Refugee and Congresswoman for #MN05. Progressive Caucus Deputy Chair. Fighting for a more just world.✨ https://t.co/u6aQiJB0hs 📚Gan Shen @gshen42
181 Followers 169 Following PhD student in programming languages @ucsc. I’m into functional programming, logic, and video games. he/him/his. English|中文Alexandria Ocasio-Cor.. @AOC
13.2M 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.Green New Deal Pengui.. @GreenNewPenguin
2K Followers 1K Following Upbeat penguin supporting @AOC and @EdMarkey‘s #GreenNewDeal with @SunriseMvmt. Let’s make this happen!People for Bernie @People4Bernie
255K Followers 2K Following We are activists and organizers building a broad, effective movement for democratic change. Welcome to the political revolution! #FeelTheBernbunniesforbernie🐇 @bunnies4bernie
239 Followers 6 Following Hello everybunny! I am so excited to elect @BernieSanders aka Bunny Sanders to be the next president of the United States!deech @deech
5K Followers 1K FollowingBananaft @Bananaft
4K Followers 963 Following Indie gamedev, techart, vfx, graphics programming. https://t.co/QtdhdexaD5Build the strike wave @GrnMtnWobblies
2K Followers 612 Following #IWW #Organize #FireYourBoss #WorkerPower #RentStrike #rentistheftstakhanovite coaster @endsofthreads
1K Followers 615 Following i like cooking and reading books; software engineer. he/they is fine.Veronica Hanus @veronica_hanus
2K Followers 3K Following 💻Software Engineer who💖#docs, #git & #workflows Past @recursecenter🐙💻#Schlumberger @MIT @colgateuniv she/herDiego @dberrocal2
362 Followers 453 Following 🇵🇪 SRE @google Opinions are my own and not my employer’s.Daniel Denvir @DanielDenvir
48K Followers 4K Following Host Jacobin's @thedigradio podcast. Author of All-American Nativism from @versobooks. Organizing for housing justice @reclaimri.DSA @DemSocialists
355K Followers 5K Following Democratic Socialists of America is the largest and fastest growing socialist organization in the USA. Students: @ydsa_ 🌹 Tweets are not official statements.Jacobin @jacobin
388K Followers 8 Following Jacobin offers socialist perspectives on politics, economics, and culture. Support our work and subscribe to our print magazine!Tech Workers Coalitio.. @techworkersco
17K Followers 1K Following We are a coalition of workers in and around the tech industry, labor organizers, community organizers, researchers, and friends.Darrick Hamilton @DarrickHamilton
41K Followers 6K Following Henry Cohen Professor of Economics and Urban Policy; University Professor; and Director, @RacePowerPolicy @TheNewSchoolIbram X. Kendi @ibramxk
408K Followers 2K Following Historian • Director @AntiracismCtr • Founder @The_Emancipator • National Book Award Winner • 10x NYT Best Selling Author • MacArthur Fellow. 🐍Emily Witt @embot
8K Followers 741 Following Staff writer @NewYorker. Author of Future Sex, FSG, 2016; Nollywood, Columbia Global Reports, 2017; and Health and Safety, forthcoming from Pantheon in 2024.The recording of the #Haskell Unfolder episode on Haskell at ICFP is now ready for watching, showcasing work by @gshen42, @shun_kashiwa, @lindsey , @_redmp and Aaron Allen. youtube.com/watch?v=dthDvN…
Tomorrow, 2023-09-13, at 1830 UTC, we will be streaming a new #Haskell Unfolder episode about Haskell at ICFP. @EdskoDeVries will tell @kosmikus about a few selected papers that were presented at ICFP and associated events last week. youtube.com/watch?v=dthDvN…
An Exceptional Actor System (Functional Pearl) Uses async exceptions to model actors arxiv.org/abs/2307.11194
@_redmp Not to get overly romantic, but it's the lazy cache coherence on edge allowing us to remove per-stream state tracking that makes my eyes moisten. 🥲
@paulg this is the tweet they’ll use in the movie about elon’s house of cards inevitably falling and ppl are like “but he was highly esteemed, who could’ve ever predicted this!”
Let’s promote Elon to being general manager of entire capitalist system.
In all seriousness, we managed to scale one of the core service databases using horizontal in-memory read caches for years before @_redmp was kind enough to join and implement a crazy, nearly stateless consistent hashing scheme that was vaguely inspired by bloom filters.
I heard you're not supposed to explain a proof, so I drew you a picture instead. Here's a visual summary of the CBCAST verification work I've done with @lindsey and @gshen42 at lsd.ucsc.edu.
The MASTODON GOD demanded a sacrifice, so you can now find me at wandering.shop/@yomimono , or @[email protected] if you're already in the fediverse.
Gonna give Mastodon a try for a while. See you over there! recurse.social/@lindsey
I'm excited to give a talk at the @nus_plse seminar next week on my work with @_redmp, @gshen42, and @nikivazou on verified causal broadcast with Liquid Haskell. nus-plse.github.io/seminars/12-10…
A simplified version of @_redmp's figure below, + a definition of causal delivery expressed as a refinement type in Liquid Haskell, from my talk at the Berkeley Programming Systems Seminar yesterday: users.soe.ucsc.edu/~lkuper/talks/…
I heard you're not supposed to explain a proof, so I drew you a picture instead. Here's a visual summary of the CBCAST verification work I've done with @lindsey and @gshen42 at lsd.ucsc.edu.
Safe couplings by @oquechy at @icfp_conference
Shiny new look for my blog! Now with HTTPS! decomposition.al ✨ Plus, new post with a transcript of my FLOPS 2022 keynote talk, on building distributed systems with Liquid Haskell: decomposition.al/blog/2022/07/2…
buzzfeed quiz, are you millennial or gen Z? first question: monadic or applicative parsing
Incredibly proud of the work @_redmp has done on this project! You can read and run this proof yourself, by the way -- just clone github.com/lsd-ucsc/cbcas… and `stack build`.
I heard you're not supposed to explain a proof, so I drew you a picture instead. Here's a visual summary of the CBCAST verification work I've done with @lindsey and @gshen42 at lsd.ucsc.edu.
@lindsey @_redmp @gshen42 @nikivazou Congrats to everyone involved!