Delightful video on the lambda calculus and other compution concepts https://www.youtube.com/watch?v=RcVA8Nj6HEo
96 karma · joined June 11, 2025
Checkout my website! https://chrisbako.com/
Delightful video on the lambda calculus and other compution concepts https://www.youtube.com/watch?v=RcVA8Nj6HEo
https://missionlocal.org/2025/07/sf-roxie-theater-projection...
if you donate you can get a tour :)
SF/Mountain View etc don't even have one! you get a little piece of the NYC brand just for you!
If anything this example shows that these cli tools give regular devs much higher leverage.
There's a lot of software labor that is like, go to the lowest cost country, hire some mediocre people there and then hire some US guy to manage them.
That's the biggest target of this stuff, because now that US guy can just get equal or hight code in both quality and output without the coordination cost.
But unless we get to the point where you can do what I call "hypercode" I don't think we'll see SWEs as a whole category die.
Just like we don't understand assembly but still need technical skills when things go wrong, there's always value in low level technical skills.
Very fun game
Apps shouldn't be allowed to send notifications for Ads! I give any app on my phone one chance to be annoying and then turn them off.
This feels like something where we should be able to use an on device classifier or even LLM to bucket notifications, similar to a spam inbox.
Even better if they can pull any potential coupons out for use later without flavor text from the notification itself.
Would be interested in seeing the breakdown between uplift vs company size.
e.g. I work in a FAANG and have seen an uptick in the number of lines on PRs, partially due to AI coding tools and partially due to incentives for performance reviews.
Maybe there was some idea that if AI actually solved software engineering in a few years you wouldn't need any more SWEs. Industry is moving away from that idea this year.
Any interesting technical details? Getting the actual data from govt meetings looked like it was the hardest part to me.
These projects look awesome, if I'm ever in the UK I'll checkout their museum.
There's a really interesting history of automata at Disney too, someone made a very good video about it here if you haven't seen it!
If your userbase or the current CEO likes it or not.
Feels like maybe AI companies are starting to feel the questions on their capital spending? They wanna show that this is a responsible acquisition.
I've always wanted to get into wardriving but I've never had an opportunity.
is this something you have to do for work or is there a network of wardrivers out there?
I live in NYC so it'd probably be closer to warwalking, but still could be fun.
Just thermal paste to the battery hah
Update Error! An error occurred while parsing the update feed.
making codebases understandable to humans, and LLMs etc, is a better approach
self documenting, interpretable systems would actually solve a lot of dev churn in big companies
plus it's not like artifacts have to be limited to code once that's figured out
This could be a really interesting as a digital forensics thing.