Ray Myers @lambdapocalypse
Retrofuturist software mender. Host of Craft vs Cruft. Social links in pinned post while supplies last! mender.ai Chicago, IL Joined December 2019-
Tweets6K
-
Followers451
-
Following940
-
Likes12K
@aiDotEngineer just when you thought we were done with AIE... here's Wave 2 of the AIE Online talks! (basically people who submitted late but still submitted haha) youtube.com/playlist?list=… from @ProgramWithAi , @vmelnikova_en, @aparnadhinak, @kozerafilip, @know_vikash, @lambdapocalypse and…
Tomorrow is AI Native DevCon, where our chief architect @lambdapocalypse will be giving a talk on "The Many Ends of Programming"! We're proud to partner with them for this exciting and timely event, register here: ainativedev.co/dl6
What if you could prove your program is correct? Not just "looks good to me", but a formal mathematical guarantee that it does what you want? This formal verification is far too difficult for most programs we write, but for the most critical software in the world, it may be…
Alright gonna try this BlueSky thing one more time if anyone wants to connect :) @ raymyers.bsky.social
@SWENGDAD every time
Would anyone be interested in a semi-interactive blog post on how to build a lock-free, thread-safe ring buffer?
I really like the 'not attempted' category. We should talk about this more. No answer is so much better than a wrong answer. We should probably have a version of SWE-bench that penalizes wrong answers. Knowing when not to submit is super useful in practice!
I really like the 'not attempted' category. We should talk about this more. No answer is so much better than a wrong answer. We should probably have a version of SWE-bench that penalizes wrong answers. Knowing when not to submit is super useful in practice! https://t.co/wDD82CaoRY
🚀 Excited to announce my appearance on the "Empathy in Tech" #podcast with @andreagoulet and @lambdapocalypse ! In our episode "They Called Me a Turnip," we discuss the vital role of #empathy in tech #strategy. Join us for insights on fostering inclusive innovation! 🎧
Formal Methods tools is finally becoming mature enough for industry use. Z3, CVC6, Dafny, SAW, Lean, Jasper Gold, Liquid Haskell, TLA+, Alloy, to name a few
Formal Methods tools is finally becoming mature enough for industry use. Z3, CVC6, Dafny, SAW, Lean, Jasper Gold, Liquid Haskell, TLA+, Alloy, to name a few
Sometimes a little refactoring goes a long way. In my latest video I've got a short demo of how much difference you can make when you know your refactoring tools and have a good idea of where you want to take the design. youtube.com/watch?v=lU8Wmo…
As the author of this PDF, it's been interesting seeing people guess at the rationale behind its design. However, the rationale had nothing to do with theory vs practice, and everything to do with pragmatically coping with an unaccommodated disability in academia. (1/16)
As the author of this PDF, it's been interesting seeing people guess at the rationale behind its design. However, the rationale had nothing to do with theory vs practice, and everything to do with pragmatically coping with an unaccommodated disability in academia. (1/16)
LeanAgent is a fascinating exploration in how to incrementally train a model that not only adds to its own corpus, but it balances skill retention and plasticity to level up and prove nontrivial gaps in advanced repositories like Terry Tao’s PFC.
LeanAgent is a fascinating exploration in how to incrementally train a model that not only adds to its own corpus, but it balances skill retention and plasticity to level up and prove nontrivial gaps in advanced repositories like Terry Tao’s PFC.
We have some awesome beginner projects for anyone who'd like a gentle introduction to contributing to a real-world compiler that's already used in production! 😃
We have some awesome beginner projects for anyone who'd like a gentle introduction to contributing to a real-world compiler that's already used in production! 😃

@norootcause.surfingc... @norootcause
13K Followers 5K Following Lorin Hochstein Student of complex systems failures, resilience eng, cognitive sys eng. Will talk your ear off about @LFISoftware. @[email protected]
Senior Oops Engineer @ReinH
20K Followers 2K Following doin capitalism a frighten, https://t.co/mROKLREFXT deleted my bsky account because of the racism don't ask me to come back
Mob Mentality Show @mob__mentality
4K Followers 5K Following Videocast by @ChristophLucian and Austin Chadwick // all things product development and #agile through a #MobProgramming perspective #モブプロ
Nora Jones @nora_js
13K Followers 2K Following Founder and CEO @jeli_io (acq’d by @pagerduty ). Ex-@slackhq @netflix . Co-wrote O’Reilly Chaos Eng x2. Created @LFISoftware. Angel Investor.
Benny Hudson @Benny_Hudson6
0 Followers 51 Following This is just a side page... Kindly support my main page @Gabbyycaky
Ruth @smith_ruth69
317 Followers 3K Following
Matthew Thompson @thompsonson
42 Followers 206 Following AI Systems Researcher and Freelancer. #ContextIsAllYouNeed https://t.co/odb2PQ9jpR
Daniel Bis @danielbis01
101 Followers 758 Following LLMs at Amazon AI | prev Samsung, RMS | Opinions expressed are my own
Twouvau @Twouvau71406
23 Followers 1K Following
Bria Farrell @BFarrell99221
173 Followers 7K Following
Abhishek Bansal @bansalab93
18 Followers 54 Following Co-Founder, ProdE AI - your Senior Software Developer knowledge, available 24x7, give coding agents access to all your microservices knowledge.
nurk @the_nurk
76 Followers 543 Following split . search . record, forget, merge . repeat . You already are . Empathy is the bottleneck . Children are Our initial conditions . the cosmic ocean awaits .
Urban Schimmel @USchimmel74377
69 Followers 3K Following
Irrelevant @rando_tech_wiz
10 Followers 323 Following
Parsa @sighpaaa
3 Followers 4K Following
Ameya @panchman_690
21 Followers 69 Following
Georgia Buggy @GeorgiaBuggy4
2K Followers 7K Following I Am Who I Am. Your Approval Is Not Needed💎 Adult Model🤗 ⬇️💖Find Me Now At The Link Below💖⬇️
Graham Neubig @gneubig
40K Followers 708 Following Associate professor @LTIatCMU. Co-founder/chief scientist @allhands_ai. I mostly work on modeling language.
Juan Michelini @juanontech
27 Followers 34 Following I love when numbers go up 🌊 AI Agent Researcher @allhands_ai 🤖
John Skobrak @JSkobrak
5K Followers 7K Following Retired Submariner, Instructor, Safety Trainer. “Climate Denyer”, Patriot!
SmartGuard @Efierse6782213
34 Followers 595 Following
Simson @Simson369
52 Followers 2K Following
amanar aziz @gekobraa
2K Followers 4K Following Curious mind with a love for technology and a focus on blockchain and AI. Exploring new ways to fuse tech and creativity. #Blockchain #Ai
Nisar Ahamed k @nisarahamedk91
0 Followers 173 Following
r@j€$# @rajescse123
1 Followers 109 Following
Farhath Razzaque @FarhathRazzaque
16 Followers 162 Following
Raymond Weitekamp @raw_works
820 Followers 2K Following building tools for builders | founder @polySpectra | cofounder @cyprismaterials | cohort 1 @activatefellows @berkeleylab | PhD @caltech | AB @princeton | #rwri
Bethany Crystal @bethanymarz
5K Followers 4K Following Building @musekat_app to help parents and kids make sense of the world through AI-enabled audio stories fractionally social on warpcast, instagram, linkedin
All Hands AI @allhands_ai
8K Followers 11 Following We build AI software development agents, in the open. Developing OpenHands: https://t.co/wDOBeXGLmO
Claudia Collins @collins_cl91487
55 Followers 3K Following
Onaule @Onaule6530386
4 Followers 201 Following
Look at my homepage @ArleyZenob84567
0 Followers 884 Following Recruiting webshell engineers to penetrate websites, with a monthly salary of up to $100,000. If interested, please contact https://t.co/qttuJCj5vm
Sareteigh @SareteighWkj
43 Followers 5K Following
Anna @anna_artemrxale
526 Followers 3K Following
Tudor Girba @girba
4K Followers 989 Following CEO @feenkcom We modernize legacy systems. How? #MoldableDevelopment
Jeyto @JeytoxUZd
34 Followers 4K Following
Yoran Brondsema @YoranBrondsema
919 Followers 630 Following 🛠️ Improving the financial future of my generation @CurvoEU 🖊️ Wrote De hangmatbelegger, Gagner en bourse sans se fatiguer 📜 Co-founder CTO @CurvoEU @SutoriAbeansits @ABeanSits
238 Followers 1K Following Husband, father & coder (in that order). Finding that coding zen...
Oscar Neto @oscaromsn
143 Followers 3K Following Code interpreter (legal & python) - crafting agentic workflows - exploring alignment 🇧🇷
Lakshman @n_lakshman_
6 Followers 463 Following
Smysmeth @Smysmeth3jS1
72 Followers 1K Following
Noaseson @Noaseson3Z6
37 Followers 5K Following
Kewnoti @Kewnoti8wV
75 Followers 7K Following
Husews @Husewsa4_
37 Followers 3K Following
Janet Walter @walter_jan45078
51 Followers 1K Following Dreaming bigger than my imagination can handle.
Sam Taggart (@saswork... @sasworkshops
587 Followers 1K Following I help teams create healthy, human-centered software development processes.
Gergely Orosz @GergelyOrosz
289K Followers 3K Following Writing @Pragmatic_Eng, the #1 technology newsletter on Substack. Author of @EngGuidebook. Formerly Uber & Skype.
Leon Noel 🔥 @leonnoel
82K Followers 1K Following Managing Director of Engineering @ResilientCoders I help POC unlock high growth careers as software engineers Teacher @ #100Devs A FREE LIVE Coding Bootcamp 🔗
emily freeman @editingemily
83K Followers 3K Following Human router. Bestselling author of DevOps for Dummies. I’ve led community, DevRel and product marketing at AWS, MSFT, and startups.
Scott Hanselman 🌮 @shanselman
321K Followers 10K Following VP of Developer Community @ MSFT - Code, OSS, STEM, Beyoncé, 🏴🇿🇼#T1D, #DevRel YouTube+TikTok listen to the @Hanselminutes inclusive tech podcast!
Allen Holub. https://... @allenholub
76K Followers 609 Following I'm done with Musk and his Nazis, so I've moved to BlueSky (@allenholub.bsky.social) and LinkedIn (https://t.co/EBnkZ8qUC8). LinkedIn is more lively.
@norootcause.surfingc... @norootcause
13K Followers 5K Following Lorin Hochstein Student of complex systems failures, resilience eng, cognitive sys eng. Will talk your ear off about @LFISoftware. @[email protected]
Senior Oops Engineer @ReinH
20K Followers 2K Following doin capitalism a frighten, https://t.co/mROKLREFXT deleted my bsky account because of the racism don't ask me to come back
David Fowler @davidfowl
139K Followers 1K Following Distinguished Engineer at Microsoft on .NET, Creator of NuGet, SignalR, https://t.co/PiydKAsC8g Core, Aspire and Barbadian 🇧🇧, Tennis Player, Father, other half @symonefowler
Cindy Sridharan @copyconstruct
41K Followers 159 Following
Danny Thompson @DThompsonDev
298K Followers 2K Following Software Developer | Director Of Technology @ThisDotLabs | I've helped 1000s of people land jobs in tech | Book a 1:1 https://t.co/9pEdQaBy3J
Jaana Dogan ヤナ �... @rakyll
125K Followers 1K Following Principal Engineer at Google. Gemini + model serving at large. Simplicity and optimism. Personal opinions.
Maggie Johnson-Pint @maggiepint
5K Followers 1K Following Dog Person. DateTime weirdo. These days I work on planes. Forever ❤️JS. She/her @maggie.bsky.social @[email protected]
ThePrimeagen @ThePrimeagen
297K Followers 1K Following skill issues: 🟩⬛️⬛️⬛️⬛️⬛️(69/420) https://t.co/qWJnB6p4EP https://t.co/IwY3FTx1ZE https://t.co/TYJ6aSpwYs
Kevin Naughton Jr. @KevinNaughtonJr
90K Followers 195 Following 1st string all-american prompt engineer
Cher Scarlett 🌌 @cherthedev
49K Followers 2K Following 🦋 https://t.co/bDmUt3vs6V SWE x-@Apple x-@Blizzard_ent studying physics | @nasajpl @caltech @earthscope_sci
˗ˏˋmewtru´ˎ˗ @trunarla
102K Followers 738 Following I made https://t.co/hiOSECjQtd & https://t.co/0IBEbdSdiv https://t.co/r6Rx43hirg this my guy 👉 @HesJustJordy
Nick Dobos @NickADobos
50K Followers 8K Following prompt engineer @browsercompany | I make apps. My code runs on 100mil+ phones | former iOSdev @Twitter | indie dev @mindGoblinStdio Download Hivemind⬇️
normie macdonald is m... @SWENGDAD
17K Followers 763 Following Disobedience is the true foundation of liberty. God✝️ & Country. 500lb deadlift
Brian Merchant @bcmerchant
29K Followers 3K Following author: BLOOD IN THE MACHINE and THE ONE DEVICE editor: TERRAFORM formerly: LA Times tech columnist, Motherboard, etc NEWSLETTER ----------v
Jeremy Adamson @r2b7e
415 Followers 1K Following Independent AI consultant and author of Minding the Machines #analytics #datascience #leadership #author #ai
goth ms frizzle 🧚�... @g0thgoblin
74K Followers 2K Following Fae 🧚🏻♀️| BEING KIND IS PUNK !! | Educational threads, my art, and nerd shit | 🇨🇦🇮🇪 | @faerylandxo
Ross Tate @rossetate
3K Followers 148 Following Researcher and Consultant for Programming-Language Design and Implementation
Prof. Anima Anandkuma... @AnimaAnandkumar
34K Followers 2K Following Bren Professor @caltech, Time100, Fmr Sr Director of #AI research @nvidia Fmr Principal Scientist @awscloud
Steve Goguen @sgoguen
636 Followers 1K Following F# flunky, Lean lackey, theorem thief, formalism fanboy
JP Silvashy 🇺🇸 @jpsilvashy
5K Followers 2K Following CTO @ https://t.co/zUIzEndwJ8 - The gold standard for aerial data Previously @Casper, @CharlesSchwab, @Forcebrands DM to work at Raad 👆
David 𖣂 There is a... @davecaos
1K Followers 2K Following Senior Software Overengineer & 🖱️wheelman. Kein Mensch ist illegal
Jeremy Siek @jeremysiek
3K Followers 352 Following Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
Buck Shlegeris @bshlgrs
5K Followers 325 Following CEO@Redwood Research (@redwood_ai), working on technical research to reduce catastrophic risk from AI misalignment. [email protected]
Julien Chaumond @julien_c
64K Followers 1K Following Co-founder and CTO at @huggingface 🤗. ML/AI for everyone, building products to propel communities fwd. @Stanford + @Polytechnique
Tim Dettmers @Tim_Dettmers
38K Followers 991 Following Creator of bitsandbytes.Research Scientist @allen_ai and incoming professor @CarnegieMellon. I blog about deep learning and PhD life at https://t.co/Y78KDJJFE7.
Matt Olma @matt_olma
877 Followers 288 Following mushing the pieces of my worldview together like a shittily made puzzle
ennui fans @spaceghostkari
81K Followers 785 Following 🔞 the only 3 Michelin star boobs on the internet - banner by @digbysart - @spaceghost thirstpost - business: [email protected] - backup: @chappell_bone
Malcolm Ocean 🏴... @Malcolm_Ocean
10K Followers 1K Following playing & learning with nascent intelligences, particularly my baby daughter & LLMs. devout whatever-I-am, praying for more clarity of what godshape to pray to
Sergey Alexashenko @SAlexashenko
2K Followers 1K Following Building something different in AI. Previously co-founded Rostra, worked at Substack, wrote a book on dendritic computation.
Sam Rodriques @SGRodriques
15K Followers 192 Following Director and CEO at FutureHouse. Building an AI scientist. https://t.co/rQYoPOxsYo
EduardoRFS.tei @TheEduardoRFS
9K Followers 2K Following 26yo anti floating point developer. You can almost always find me at https://t.co/XTQJQqaVhe, it's the boring side of tech.
Ben Dicken @BenjDicken
13K Followers 620 Following databases @planetscale Some stuff I've written: - https://t.co/YpfkF0JIKG - https://t.co/8OpZ7wtZWB - https://t.co/Xfx1AqbaeS
Becca Lewis @beccalew
30K Followers 4K Following assistant prof of comparative media studies @MIT, researching the politics of silicon valley and tech. email: [email protected]
Yuriy Brun @YuriyBrun
186 Followers 0 Following see https://t.co/1q9tzWkQ2y Professor at the University of Massachusetts Amherst. https://t.co/QNezwkmbD0
Patrick Dubroy DONE H... @dubroy
3K Followers 317 Following GONE HERE: https://t.co/jkazdv30Qw Programmer & researcher, co-creator of @_ohmjs. 🇨🇦 🇩🇪 🇪🇺 Wrote @wasmgroundup.
Tilman Bayer @tilmanbayer
360 Followers 381 Following data, Wikipedia, co-maintainer of @WikiResearch, @BerkeleyISchool grad
Rohan ࿇ @r0hxn1
427 Followers 389 Following swe • for the love of the game • oss • chrome hearts 🖤 • rally • aesthetics is allat matters • in the PLT trenches
Michael Peyton-Lebed ... @mpeytonjones
2K Followers 729 Following thread the needle, find the path 🔸10% Pledge #132 with @GivingWhatWeCan
Markus Zimmermann @zimmskal
2K Followers 890 Following Benchmarking LLMs to check how well they write quality code. Support me using the profile link 👇
Conor Hoekstra @code_report
8K Followers 678 Following @nvidia • @youtube • @adspthepodcast • @arraycast Blusky: https://t.co/UPjBqO9qFS Mastodon: https://t.co/bjvEaww90u
Graham Hutton @haskellhutt
8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
HyperCard @HyperCard
1K Followers 22 Following I'm a software erector set that brought HyperText to the masses and got many a start in programming.
Jimmy Koppel @jimmykoppel
3K Followers 293 Following Making every Claude Code user a 100x developer @ccdotdev. Turning good software engineers into great at https://t.co/r6u0DWASrS . Ph. D. in PL from @MIT.
mcyoung /@mcy.gay �... @DrawsMiguel
4K Followers 443 Following gone fishing: https://t.co/Iqz9TKtLb5
Avi Press @avi_press
796 Followers 643 Following Founder @scarf_oss. Board @HaskellFound. Open source usage analytics.
TracketPacer @TracketPacer
58K Followers 396 Following 🚀 rockit network engineer 👩🏼💻🛜 weird use cases & silly tech | find me on a platform not run by a nazi 👋🏼
Evan Czaplicki @evancz
16K Followers 68 Following Creator and developer of @elmlang Reading highlights at @power_studies
Chris Penner @chrislpenner
21K Followers 17K Following he/him | Optics By Example: https://t.co/WC3SHRY4Kl | Cunningham's law made manifest. | Building @unisonweb
Wollantine @wollantine
342 Followers 335 Following Channel about Elm, JS, and React best practices. React developer. Functional Programming advocate.
nanodijkstra @nanod1jkstra
489 Followers 8K Following based computer systems researcher & hacker @ NYU
Russell Kaplan @russelljkaplan
20K Followers 700 Following President @cognition. Past: director of engineering @Scale_AI, startup founder, ML scientist @Tesla Autopilot, researcher @StanfordSVL.
Russell S. Pierce @RussellSPierce
908 Followers 903 Following No longer using Twitter. Uninstalled. reach me on LinkedIn