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

Tweets

6K
Followers

451
Following

939
Likes

12K

swyx @swyx

4 months ago

@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…

1 6 18 11K 8

Download Image

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

2 2 5 1K 1

Peter Kraft @petereliaskraft

11 months ago

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…

8 36 351 40K 359

Download Image

Ray Myers @lambdapocalypse

11 months ago

Alright gonna try this BlueSky thing one more time if anyone wants to connect :) @ raymyers.bsky.social

0 0 1 55 0

Paul is Assembling America🇺🇸-27/100 new recruits @Paul_Melman

11 months ago

@SWENGDAD every time

5 40 1K 16K 57

Download Image

Kit Langton @kitlangton

11 months ago

Would anyone be interested in a semi-interactive blog post on how to build a lock-free, thread-safe ring buffer?

96 77 2K 125K 899

Download Video

Ofir Press @OfirPress

11 months ago

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!

OpenAI @OpenAI

11 months ago

158 390 3K 546K 647

7 4 96 8K 15

Download Image

Jeremy Adamson @r2b7e

11 months ago

🚀 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! 🎧

0 1 0 99 0

Download Image

Type Theory Forall @ttforall

11 months ago

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

Armin Ronacher ⇌ @mitsuhiko

11 months ago

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

179 9 255 78K 117

4 12 136 10K 55

Emily Bache @emilybache

11 months ago

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…

2 8 27 2K 7

Ross Tate @rossetate

11 months ago

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)

Deedy @deedydas

12 months ago

667 737 12K 5.5M 9K

Download Image

127 2K 17K 3.4M 8K

Steve Goguen @sgoguen

12 months ago

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.

Prof. Anima Anandkumar @AnimaAnandkumar

12 months ago

13 85 501 75K 309

0 4 7 2K 1

Richard Feldman @rtfeldman

a year ago

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! 😃

Brendan Hansknecht @bhansconnect

a year ago

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! 😃