my beautiful Vulpes Inculta.. oh how I miss him...
@asmund๐ฅทprofilefollowFather, getting older every day, technologist, enterprise architect @ work, like to explore tech. Like to keep it simple and work in the shell, write in vim, prefer Debian if I have the choice. Plays saxophone and clarinet. Enjoy motorcycle riding, photography, hiking. Christian.wrote:
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.
did they silently decrease the subscription limits on codex? (in addition to reintroducing the 5h limit?) subscription models suck so bad when they can just change the terms and make the product shittier.
ive been dual wielding 2 accounts with some fallback shenanigans. on average its enough for me, but on heavy weeks its annoying. + it feels intransparent
I was about to prepare a rewrite cause a personal program was failing but realized I had an incomplete change and was incorrectly identifying an error from valid data. Actually so weird to pick up a project after weeks of not touching it
What if AI will never reach full autonomy and humans are still needed to give direction and purpose and take responsibility - probably... not all humans like to be masters of AIs all day long and not all (who want to) can do that equally well.
Iโve never posted a lot on social medias. I hope I have a good time here!
@kapankatsuragiprofilefollowI may know more about Disney History and trivia than you. Maybe, I dunno.
I write about pop culture on Super Review Time.wrote:
trying to revive the blogging golden days. recommend some blogs with rss feed about game, movie reviews, and animation. or comic strips, traditional or webcomic.