-
Tweets7K
-
Followers1K
-
Following3K
-
Likes8K
Als je het bedrag dat je aan de AOW bijdraagt zelf spaart heb je na 40 jaar 2.2 miljoen (al gecorrigeerd voor inflatie). Het rendement hierop bedraagt dan ongeveer 12000 per maand.
Why is the security situation such that any command line utility or Python library that I import can take over my browser and help themselves to my bank account? The OS had one job...
Recent use of Python has harshly reminded me how hard programming without types is.
I hear there is an eclipse incoming x.com/AMAZlNGNATURE/…
I hear there is an eclipse incoming x.com/AMAZlNGNATURE/…
@tomjaguarpaw Nope, Idris is in many ways *simpler* than Haskell. Type-level things in Haskell are scary *because* they are difficult to encode. When you have first-class dependent types, doing type-level computation becomes effortless. So Idris is the Elm of dependently-typed programming
Want to take part in #PLDI 2024 in Copenhagen? Apply to be a volunteer! Meet other friendly students, see how conferences are run, and get your registration covered, too! Apply at forms.gle/QB9Tdmhr9v9ZPG…. Deadline is April 15th.
[New Blog Post] Termination Checkers: Playing with AProVE philipzucker.com/termination_ch… #logic #theoremproving #verification
Talia Ringer 🟣 �.. @TaliaRinger
25K Followers 6K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבוש🥢 Jon 🍲 @ionathanch
960 Followers 483 Following Jon(athan)? Chan 🏳️🌈 • he/they ↵ MSc @ubc_spl ⊢ PhD @CIS_Penn ↵ programming languages and type theory ↵ @[email protected] • https://t.co/ZOdjW75tH1Satnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}Kristopher Micinski @krismicinski
6K Followers 3K Following @[email protected]. Tweets do not represent anyone's views, especially mine.Ilya Sergey @ilyasergey
5K Followers 966 Following Associate Professor at @NUSComputing. Member of @nus_plse. Programming languages, verification, distributed systems. Ex-@uclcs, @IMDEA_Software, @jetbrains.Pitching The Offer Op.. @PTOOP
1K Followers 611 Following (B&Q they/them) if it's enough to project probity and competence, compassion would seem surplus to requirements, and dignity positively dangerousAndrew Myers @AndrewCMyers
4K Followers 283 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.Nate Foster (@natefos.. @natefoster
5K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.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 ⚜️KC Sivaramakrishnan @kc_srk
4K Followers 3K Following CTO @tarides_. Profing @iitmadras. Trustee https://t.co/WE1No5QqOA.Yao 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]davidad 🎇 @davidad
13K Followers 7K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat deathJacques Carette @jjcarett2
2K Followers 1K Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.Hanneli Tavante @hannelita
3K Followers 831 Following Programming Languages, engineering, electronics, Maths, proofs, books, Pokémon, Lego, animals, coffee, bread, plants, @recipl_, ice skating. Personal views.Nikolaj Bjorner @BjornerNikolaj
1K Followers 326 FollowingSam Westrick @shwestrick
749 Followers 601 Following post-doc @csdatcmu :: PL :: parallel algos :: music :: lead dev of the MaPLe compiler https://t.co/6jBOSBGv9C @[email protected] @shwestrick.bsky.socialJonathan 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.Shameimaru Yay @OwoTizusa
2K Followers 1K Following 3A yoyo thrower. No longer posting type theory on main -- if you see anything related, I'm not serious, and I'm sorry.✨ Jean Yang ✨ @jeanqasaur
25K Followers 4K Following New Product @getpostman. Founded @akitasoftware. Programming, APIs, and developer experience. Former programming languages professor @CSDatCMU.Gloria @sandoval50glori
293 Followers 3K FollowingJaimee Kochen @jaime_koc
44 Followers 5K FollowingMichelina Leanard @MichelinaL28480
72 Followers 5K FollowingConchita Reynosa @ConchitReyno
49 Followers 5K FollowingLena Dorward @le_dorwa
15 Followers 2K FollowingDavid Almog @davidalmog25
2K Followers 1K Following Managerial Economics and Strategy Ph.D. student @KelloggSchool • Behavioral and Experimental Economics • AI-Human interactions • LV Raiders • BackpackingPeculiarPeyton @PPeyton47341
2 Followers 393 Following Nice to meet you. My hobbies are reading, food and sports. I like cats😘 I like to meet new friends while traveling🎉🎉🎉K @_k_4_t_3_
115 Followers 94 FollowingCarmen Brimfield @BrimfieldC41997
48 Followers 5K FollowingCharis Cagey @cagey_char
53 Followers 5K FollowingPrashant @needfriendasap
766 Followers 5K Following Shame is easier to live with then regret. There is Infinite possibility in the world but not for us (Kafka)Francesca Provow @FrancescaP93927
85 Followers 5K FollowingLola-rose Mcneal @LolaMcneal49508
92 Followers 5K FollowingFicktNichtMitDemRaket.. @jaytacula
83 Followers 889 FollowingAriadne Smart @SmaAriadn
41 Followers 5K FollowingHmm... @Vitalyx
70 Followers 4 Following Original author of AG Charts https://t.co/d6Vtb8LdZN, co-author of Sencha Charts https://t.co/mBBZJu4bWb, author of Spider Player https://t.co/kZmzDrrCUACece Petka @CeceP26761
71 Followers 5K FollowingJovita Verkuilen @JovitaVerk3114
90 Followers 5K FollowingNotEvenTrying @rizkidotme
267 Followers 5K Following The difference between planning and predicting yourself is planning just the first-person POV version of the latter. #beyondarbitraryStephine Flaharty @StephinFlahar
41 Followers 5K FollowingMarina Wiland @MarinaWila18173
58 Followers 5K Followingkryptokazz @0bkryptokazz
35 Followers 281 Following ❄️ 🐧 Struggling NixOS user 🌎 Web development 💻 Systems Programming 📊 Data Science Typescript | C/C++ | Rust | Pythoneyun17 @eyun17197503
0 Followers 4 Followingeyun18 @eyun18126
0 Followers 4 FollowingKyle @thekylez
34 Followers 159 FollowingAhmed Simeda @AhmedSimed82737
0 Followers 107 FollowingCapybara developer @wherebug_dev
20 Followers 105 Following Hi! I've been developer for over 15 years. I'm starting to share my experiences here. Not an actual capybara! 🤣Phil Andrews @PhilAndrew61181
63 Followers 16 FollowingS- @ElDiegoArgentin
103 Followers 1K FollowingTomaso Gonçalvez @tomg910
290 Followers 991 Following Executive Director, Center for Ill-Conceived and Poorly Executed InitiativesMadeleine @Madeleine186414
18 Followers 588 Followingdyun79 @dyun7967111
0 Followers 3 FollowingGeorge Porter @georgemporter
4K Followers 934 Following Computer Science Professor at @UCSD, focusing on networking and systems.Mitsuko Rozman @MitsukRoz
80 Followers 5K FollowingCienna Bolay @BolayCienn74539
104 Followers 5K FollowingAnissa Cimino @anissa_cimi
49 Followers 5K FollowingShandi Cavaness @CavanessSh12045
65 Followers 5K Followingrneb @rnebbi
169 Followers 4K FollowingAmelia Rosmarin @RosmarAme
58 Followers 5K FollowingDarline Diliberti @DarlDiliber
52 Followers 5K FollowingTalia Ringer 🟣 �.. @TaliaRinger
25K 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 || cricketEgbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc in Ljubljana • Author of the Introduction to Homotopy Type Theory • Formalisation • Univalent Combinatorics • Agda • Math Twitch • he/him🥢 Jon 🍲 @ionathanch
960 Followers 483 Following Jon(athan)? Chan 🏳️🌈 • he/they ↵ MSc @ubc_spl ⊢ PhD @CIS_Penn ↵ programming languages and type theory ↵ @[email protected] • https://t.co/ZOdjW75tH1Satnam 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 729 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.Graham Hutton @haskellhutt
7K Followers 691 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴Kristopher Micinski @krismicinski
6K Followers 3K Following @[email protected]. Tweets do not represent anyone's views, especially mine.Ilya Sergey @ilyasergey
5K Followers 966 Following Associate Professor at @NUSComputing. Member of @nus_plse. Programming languages, verification, distributed systems. Ex-@uclcs, @IMDEA_Software, @jetbrains.julesh @_julesh_
10K Followers 145 Following Applied category theorist. Also at @CyberCatInst and @[email protected]Daniel Litt @littmath
37K Followers 870 Following Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.Pitching The Offer Op.. @PTOOP
1K Followers 611 Following (B&Q they/them) if it's enough to project probity and competence, compassion would seem surplus to requirements, and dignity positively dangerousAndrew Myers @AndrewCMyers
4K Followers 283 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.Patrick Walton @pcwalton
18K Followers 560 Following Programming languages and graphics person. @[email protected]Matteo Capucci @mattecapu
4K Followers 776 Following 🇮🇹→🏴, PhD @mspstrath, mathematician (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.Nate Foster (@natefos.. @natefoster
5K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.naomi (forgetful func.. @fixedpointfae
6K Followers 574 Following 25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKmYaron (Ron) Minsky @yminsky
12K Followers 301 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] https://t.co/kiUGRvWOO2Hank Green @hankgreen
1.6M Followers 989 Following You should get some socks: https://t.co/IMXCkqywav~~datahazard~~ @fentasyl
96K Followers 284 Following ~~ Stats ~~ Civil Rights ~~ Victim Advocate ~~ ~~ ~~ eth: 0xfFFfFfFfFF4bf6A4F2217d6250754B5e937819cbTrenton Bricken @TrentonBricken
6K Followers 2K Following Trying to figure out what makes minds and machines go "Beep Bop!" @AnthropicAIkirill avery @kirillzzy
3K Followers 1K Following internet human @humanApp, human network / prev. @ycombinator, clever app (15m viral users at 16), https://t.co/xyjkNtRscQKyle Beaudette @KyleBeautweet
14K Followers 736 Following Author/Illustrator of The Garden Witch coming this Fall! https://t.co/W0ty9QMtXvOrman @LizardOrman
645 Followers 983 Following Livestreaming from the mind of an engineer sometimes pretending to be a dragon. Also geekery and Scottish millennial politics. (he/him) pfp @darkmanethewionNoland Arbaugh @ModdedQuad
87K Followers 13 Following P1. Cyborg. Neuralnaut. Skynet Progenitor. Taurus.BAGREL Thomas @tbagrel1
4 Followers 3 FollowingMikhail Samin @Mihonarium
2K Followers 388 Following Future general AI systems are a threat to everyone and should be regulated ⏹️. Previously, founded https://t.co/w7GPwsBCjo and printed 21k copies of HPMORKazuki Watanabe @KWatanabeCS
19 Followers 35 Following Ph.D. candidate at National Institute of Informatics (at Tokyo). Interest: model checking, program verification, category theory.Jesse Peltan @JessePeltan
6K Followers 398 Following On a mission to build Type 1 Civilization and restore the biosphereIbraheem Ahmed @ibraheemdev
292 Followers 73 Following Software developer interested in building fast, concurrent, and robust systems. Also @[email protected]Sam Bowman @s8mb
48K Followers 2K Following Editor of https://t.co/YPQHCCb6Ke. Just here to have fun. COYS 🇺🇦Chamath Palihapitiya @chamath
1.7M Followers 827 Following CEO @SocialCapital CEO @hustle Bestie @theallinpod Learn with me: https://t.co/PSBNs9US6oNathanael Ribeiro @gatosepudins
216 Followers 756 Following OCaml, ReScript, F#, JavaScript, and a love for programming languages and tooling Member of https://t.co/DpViH8vW5ajack @jack24dd30
5K Followers 998 Following locked myself in a room doing five tweets a day for three summersMarco Carbone @carbonem
59 Followers 80 FollowingAmbassador Shefali Ra.. @usambnl
22K Followers 389 Following Official account of the U.S. Ambassador to the Kingdom of the Netherlands Shefali Razdan Duggal. Ambassador as of October 2022. Embassy tweets at @usembthehagueEtienne Millon / dune.. @etiennemillon
377 Followers 220 Following Working on Dune, a build system for OCaml projects. https://t.co/3lra6yxebHkasra @kasratweets
6K Followers 1K Following "I am a wow-ist. I just go around in amazement and say 'wow' at things" https://t.co/WgoPOcxgNAGlitchbyte @0xglitchbyte
3K Followers 282 Following I help self-taught developers solve problems with code and overcome doubt. 10+ years designing, building, and securing software and infrastructure.Frank J. Fleming @IMAO_
66K Followers 2K Following Current: Scripted Creator for Daily Wire and Bentkey kids' shows, married dad of 4, DS dad, novelist; Past: Computer engineer, writer for The Babylon BeeHelion @Helion_Energy
38K Followers 18 Following Building the world's first fusion power plant, enabling a future with unlimited clean electricity.Jason Crawford @jasoncrawford
33K Followers 3K Following Founder, @rootsofprogress. I write about the history of technology and the philosophy of progress. Working to build the progress community and movementDominique Larchey-W. @DomLW
108 Followers 130 Following Chercheur en informatique et logique au CNRSSteve McGuire @sfmcguire79
19K Followers 2K Following Paul & Karen Levy Fellow in Campus Freedom @goACTA. Writings in @WSJ, @nypost, @Newsweek, @FoxNews, @RCPolitics, etc. Opinions are my own. RT ≠ endorsement.Ishan @radshaan
13K Followers 2K Following Undergrad electrical engineering and computer science. Past: sw & fw for compact access control. Current: hw & fw for FSAE cars. Getting good at getting goodowen @panopticowen
11K Followers 1K Following allegedly alive human, music watcher, film listener, life unenjoyer | priv @godhatesowenJSX @flyjsx
32K Followers 709 Following From now on, this is how you fly. See you at the hangar. Share your JSX journey using #FlyJSXChuck Schumer @SenSchumer
3.5M Followers 23K Following Official Account of Senator Chuck Schumer, New York’s Senator and the Senate Majority Leader.Nancy Pelosi @SpeakerPelosi
8.1M Followers 471 Following Representative for CA-11, fighting for the people of San Francisco. 52nd Speaker of the House. Wife, mother, grandmother, dark chocolate connoisseur.Kris Jenkins (@krisaj.. @krisajenkins
5K Followers 1K Following Host of Developer Voices, lifelong programmer, producer of bleepy-bloop noises.Todd Austin @ToddMAustin
2K Followers 3K Following Computer Science professor @UMich, security researcher, computer architect, entrepreneur, dad, friend, gamer, one who loves loving things!José Cano @jcanore
925 Followers 760 Following Senior Lecturer (Associate Professor) in @GlasgowCS at @UofGlasgow | Leads @gic_lab | #ComputerArchitecture #Compilers #MachineLearning #SecurityAndrea R. Lucas @andrealucasEEOC
4K Followers 384 Following Commissioner, @USEEOC. Views are my own & should not be attributed to the EEOC or any other Commissioner. https://t.co/i434O2nbhuJoscha Bach @Plinz
129K Followers 748 Following FOLLOWS YOU. Artificial Intelligence, Cognitive Architectures, Computation. The goal is integrity, not conformity. https://t.co/rFUNzdYXuKzack (in SF) @zack_overflow
7K Followers 1K Following "this guy's all boners for Rust" — @ThePrimeagen baking bread at @bunjavascript i like compilers/FP/Rust/graphics/wasm/etcJerry Wei @JerryWeiAI
5K Followers 255 Following 🧐 Improving and aligning large language models 🧠 Research Engineer @GoogleDeepMind ⏰ Past: @Stanford, @Google BrainBen Newhouse @newhouseb
7K Followers 955 Following @openai, https://t.co/i3YR3e9UMT, former head of sync @ dropbox (till 2018), cofounded bubbli (acquired by dropbox), previously made yelp monocle.Guido van Rossum @gvanrossum
290K Followers 493 Following Python's BDFL-emeritus, Distinguished Engineer at Microsoft, Computer History Fellow, fully vaccinated. Opinions are my own. He/him.Dmitrii Kovanikov @ChShersh
7K Followers 111 Following 🧑💻 Senior SE at Bloomberg using OCaml 🐫 Ꚙ Autistic 📽 Content: https://t.co/6laFNyCooC Opinions are my ownDeutsch Explains @DeutschExplains
3K Followers 1 Following A Compendium of @DavidDeutschOxf's Explanations.Thanks so much for the recognition!🥰
Congratulations also to Jeremy Yallop, @xnningxie & Neel Krishnaswami! They won Publication of the Year (against stiff competition) for 'flap: A Deterministic Parser with Fused Lexing'. cst.cam.ac.uk/news/celebrati…
Plot twist: the author with 33 submissions is Taylor Swift.
Statistics from @ICSE2024. Authors submitting, *each*, 33, 27, 24, ... papers. Interactive dashboard: app.powerbi.com/view?r=eyJrIjo…
@JulesJacobs5 @itsandrewgao yea depends how you count, ~2000ish individual person-flights, but only 10 planes i guess both make sense as a framing depending what point you’re trying to make
Beside retweeting this as a shameless advertisement for my book, I do really think there is a general mistake that "bigger is better" when it comes to books. 1/2
We need more books in this format. It’s so convenient to be able to carry around and just feels much better to read instead of the classic massive text book. Chapeau @francoisfleuret !
What are the common scientific paper title clichés in your field of research? Everyone in programming languages knows about “The Next 700 X” and “X for Free!”. And, of course, everyone’s favourite:
All right peeps: let's brainstorm proof langs: what are must have features? Some starters for me: - a goal stack with hyps and targets, the ability to transform them. - a nice way to "focus" on a subterm and do rewrites to it What else/alternatives?
Tactic-based computer-aided proofs are the worst form of proofs – except for all the others that have been tried.
I have the same gut reaction to all tactic-based proof assistants, even as an expert user of a few. We may not yet have found a uniformly better method of presenting proofs to a computer, but tactics should certainly not be where the design space settles..
@JulesJacobs5 @kamatsu8 Not saying automation isn't helpful but imo, it's only helpful insofar as it's operating over the correct abstractions for your domain, such that the proof still makes sense etc
@JulesJacobs5 @kamatsu8 My point being that well constructed manual proofs break only in the lemmas concerned with what changed. Meanwhile automation when applied directly to something like the above means you've inlined a lot of reasoning into the theorem prover.
@JulesJacobs5 Yup. People think I’m nuts but I swear it’s just so much more intuitive and easy to use …
Proof assistants are a great motivator for abstract algebra. "Ugh I don't want to prove all these facts for my new data structure... Oh wait, but if I think of it as a semilattice, I'll get these theorems and tactics for free!"
I've seen students who had trouble keeping straight which side is smaller and bigger and thought they'd have a much easier time if it was consistently left to right. Also maybe it should be replaced by ∈/in: if x in 3..: # x >= 3 if x in ..3: # x <= 3 if x in ..3*: # x < 3
programming languages shouldnt have the > or >= operator at all, and when they do, you shouldnt use them just use < and <=, swapping the operands as needed. i shouldnt need to double check both the operand order AND the operator to decipher your comparison
"Stop what you're doing, you're late for a meeting I've just decided starts immediately. Here, lemme set off a siren in your home until you join." Phonecalls are wild.
Solving linear systems comes in different flavors. en.wikipedia.org/wiki/Least_squ…
US per capita CO2 emissions now at 1913 levels. In 1913 only 1% of Americans had indoor plumbing and electricity 😮
When debugging an opaque problem in a system, a nice strategy is to just focus on adding permanent (rather than temporary) metrics or logging to make the problem obvious. Often makes it easy to solve not just the specific issue but also a whole class of potential related issues.
best way to get hard things to work is to first focus on getting all the easy things to work perfectly
All academic publishing should be replaced with overlay journals that just assign DOIs to documents on university repositories and arXiv. These journals can operate on $10 a paper, and have already demonstrated proof of concept very clearly with several successful journals.