if for some reason you find yourself flying from burlington vt to a dc/baltimore airport: this is a perfect time to enjoy larksโ tongues in aspic [the album]
Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.
everytime i see projects like this, i think that a rss implementation it wolud be so cool. Although iknow that there is not that much rss lover out there haha
NIH syndrome? I am guilty of it too. I love implementing things from scratch, you learn a lot by doing so and you get to own the codebase end-to-end, so no surprises and fighting around othersโ choices. It can get exhausting too though, in the end I succumb to using off-the-shelf components because my primary goals move at a higher level.
I don't see much point in trying to build software at a "higher level", like whole products and services. I'm going to go down low and train myself on the fundamentals. Hopefully in time I'll be able to contribute to the foundational bits.
You're right, it does get exhausting. At some point you just want to rebuild everything, which is not possible.
I'm going to go down low and train myself on the fundamentals.
When I wrote an HTTP sever (albeit HTTP/1.1), I learned how primitive the HTTP protocol its magic became a skill. It is freeing understanding how things work and allows me to choose where to spend time with more intention.
Aaron Sorkin's The West Wing is among the subtlest of all propagandaโit is propaganda that everyone sincerely wishes could be true, and is dangerous specifically because it is not and cannot be.
a few #securitynotesfollow fixes this morning, some actions in your account are now gated behind email(or password) confirmations, like "delete account" and "enable password" - this is to keep the account safe. #featurenotesfollow
TPMS indicator came on,
which means an unplanned Costco trip ๐
@fastidious๐profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to@amyprofilefollowa work in progress; i love cats ๐ฑ:
Just check, and top off as needed, the tyres pressure. Run it for a few miles. If it doesnโt go away, then take that trip.
@amyprofilefollowa work in progress; i love cats ๐ฑreplied to@fastidious๐profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyers:
No gas station near me has nitrogen so it had to be Costco. I topped off air and also filled gas while I was there. Itโs only 5 miles from me, so overall not bad.
not marketing. yes their jobs positively select for concern about ai, but most people that are actively researching the field are concerned about the current state of safety, pace and incentives. I dont agree with a lot anthropic does, but i do believe the employees take safety seriously and they obviously have a better understanding of it than us. also theres no incentive for someone like coxon to sound alarm bells on twitter for "marketing" reasons, after quitting anthropic
@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.wrote:
@derblitzmann๐profilefollow10+ years Seattle based software engineer.replied to@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.:
Man, I LOVE naps! In fact, I mostly subsist on four or five 1-1/2 hour naps each day instead of one long over-night sleep period these days. I didn't set out to have a #polyphasicnotesfollow sleep schedule, but here I am. :-)
Doing that would trigger my #manianotesfollow really quick, even not having a full night sleep puts me in the danger zone immediately. #bipolarnotesfollow
All the tools I vibecode. I use them almost every day.
Spotlight on macOS broke one day and didnโt recover. Now I have my own personal version.
I donโt trust any of the Password management software, so - personal version.
Entertainment software sucks and ended up asking for too much moneyโฆ
Fetching videos from the internet was cumbersome - personal version.
Photo management software is not how my hundreds of thousands of photos and videos are structured, soโฆ
Onboarded on Claude Team with Unlimited credit usage. In the first day, subscription limits were hit and then it silently went on spending 530 EUR in credits before I noticed.
I knew token-based was more expensive but didnโt imagine that much. Which is why u canโt compete making alternative coding agents, their own subscriptions are much cheaper, but why they do it on their own Teams package is weird. Maybe targetting companies they feel they can pay.
Yes, that's for enterprises, that want SSO, governance, budgeting, data protection, etc etc. For C-level they are interested in "how much do we pay for AI", and with personal subscriptions you can't answer => can't manage it. This 530 EUR is the price for that learning.
I am trying to learn emacs for the fun of it. The tutorial is brilliant and clear. Any tips that would help me learning more things. I know all I need is practice but if you may have used it, you may know a thing or two.
I subscribe to the Tony Stark school of engineering. "Sometimes you have to run before you walk." Earlier this year, I built my own static site generator. I hate literally every static site generator out there (not joking). get-taxus.org