Edward J. Schwartz

@ejschwar.bsky.social

Computer security researcher at CMU's Software Engineering Institute; {computer,car lease} hacker; rescue dog daddy; soccer player/referee; skier. https://edmcman.github.io/

Congratulations to Dr Luke Dramko (my lucky 13th PhD graduate!) for his successful and stellar defense yesterday of “Neural Decompilation with Minimal Risk.” The last chapter isn’t published yet but STAY TUNED because it’s a symbolic approach for proving the fidelity of neurally-decompiled code. 1/

Luke Dramko (center) with his thesis committee and the title slide from his dissertation defense. Claire is indeed short but Luke and Rohan are also quite tall.

my google account is heaven@gmail (long story), so I get a steady trickle of emails from people writing to God. some of them are real winners

Screenshot of an email

To: god, me
Subject: Arsenal

Dear God,

I know you got a lot of things to do but you need to stop what you are doing and help Arsenal beat West Ham. Pretty please 🙏 

Regards 
Your Best Human

www.reddit.com/r/ClaudeAI/c... AI providers are beginning to slow down their subsidies on LLM usage. For now, it is only external agents like Opencode. But LLM access as a subscription model is a loss leader. All these vibe coders are going to be very upset when they have to pay per token.

From the ClaudeAI community on Reddit: Claude subscriptions will no longer be usable in Opencode.

Explore this post and more from the ClaudeAI community

reddit.com