Ray Myers
@lambdapocalypse
Followers
449
Following
12K
Media
325
Statuses
6K
Retrofuturist software mender. Host of Craft vs Cruft. Social links in pinned post while supplies last!
Chicago, IL
Joined December 2019
Where can you find me?. BlueSky: YouTube: Craft vs Cruft .Podcast: LinkedIn:
linkedin.com
Software Engineering tech lead with expertise in legacy code and Site… · Experience: All Hands AI · Education: Missouri University of Science and Technology · Location: St Louis · 500+ connections on...
0
0
1
RT @swyx: @aiDotEngineer just when you thought we were done with AIE. here's Wave 2 of the AIE Online talks! (basically people who submi….
0
6
0
RT @allhands_ai: Tomorrow is AI Native DevCon, where our chief architect @lambdapocalypse will be giving a talk on "The Many Ends of Progra….
ainativedev.io
Stay up to date with the latest in AI Native Development—insights, real-world experiences, and news from developers and industry leaders.
0
2
0
RT @petereliaskraft: What if you could prove your program is correct? Not just "looks good to me", but a formal mathematical guarantee tha….
0
36
0
Alright gonna try this BlueSky thing one more time if anyone wants to connect :). @
0
0
1
RT @kitlangton: Would anyone be interested in a semi-interactive blog post on how to build a lock-free, thread-safe ring buffer? https://t.….
0
77
0
Also this is apparently a series of reposts from Ben Shapiro whining about being asked a followup question by the Washington Post, calling coverage "censorship", and then VCs hop on board with him pivoting topic to AI. What are you guys even talking about?.
0
0
0
I guess I'd need to hear a more persuasive use case than that you might need to write a book in which someone realistically poisons someone. That's not a task that requires AI in the first place, mystery novelists aren't limited by their ability to research background on poison.
Remember, when you hear "AI safety" know that it means "AI censorship and control". This is about forcing controls on these tiny intelligences that will act as intermediaries to all information in the very near future. I don't want Perplexity telling me what it can and can't.
2
0
0
RT @OfirPress: I really like the 'not attempted' category. We should talk about this more. No answer is so much better than a wrong answer.….
0
4
0
Counterpoint:. Women are people.
In a Christian marriage, a wife should vote according to her husband’s direction. He is the head and they are one. Unity extends to politics. This is not controversial.
1
0
7
RT @r2b7e: 🚀 Excited to announce my appearance on the "Empathy in Tech" #podcast with @andreagoulet and @lambdapocalypse ! In our episode….
0
1
0
RT @ttforall: Formal Methods tools is finally becoming mature enough for industry use. Z3, CVC6, Dafny, SAW, Lean, Jasper Gold, Liquid Has….
0
13
0
RT @emilybache: Sometimes a little refactoring goes a long way. In my latest video I've got a short demo of how much difference you can mak….
0
8
0
“Some OpenAI staff recently complained that Mr. Suleyman yelled at an OpenAI employee during a recent video call because he thought the start-up was not delivering new technology to Microsoft as quickly as it should”. Suleyman? More like SURLYman amirite.
1
0
0
RT @rossetate: As the author of this PDF, it's been interesting seeing people guess at the rationale behind its design. However, the ration….
0
2K
0
RT @sgoguen: LeanAgent is a fascinating exploration in how to incrementally train a model that not only adds to its own corpus, but it bala….
0
4
0
RT @rtfeldman: We have some awesome beginner projects for anyone who'd like a gentle introduction to contributing to a real-world compiler….
0
5
0