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.
Any conversation
na, jรณ, az egyik legyen Windows 11-es, a mรกsik Windows 10-es, csak a tudomรกnyos kรญvรกncsisรกg kedvรฉรฉrt, elvileg az idรฉn mรฉg ki tud tartani a Windows 10 komolyabb problรฉma nรฉlkรผl
well, one should be Windows 11, the other Windows 10, just for scientific curiosity, in theory Windows 10 can still last this year without any serious problems
โฆ
Something with people, bartender maybe, or something with no critical thinking, delivery person, taxi driver and such. Or I go back to being a DJ as I was doing when I was young.
Rap isn't really even music.
@fastidiousprofilefollow
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to:
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to:OK boomer. ๐
replied to@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyers:
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyers:1) I'm a millennial
2) Rap was invented by the boomers.
@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to:
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to:My reply didnโt carry literal meaning. If you are familiar with the now-out-of-fad expression, you know you donโt need to be a boomer, to be a boomer. :-D
I got an email from battle.net to confirm my age. Apparently some content may be restricted to minors in the region my account is from.
You would think that the account having been created 19 years ago, and with some CD-keys of games from the late 1990's having been added to it would be enough proof, but oh well.
โฆ
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.
A credit union wants to get their own data out of a vendor's online system. Vendor wants $160,000. I wrote a script with to download the data just as though a user would. It's going to run for about 6 weeks to download around 250k records and 70GB of images.
you could split to buckets like alphanumerically and parallelize it if you don't want to wait that long. Probably need to launch a few instances but still cheaper lol.
Sharing your work with others is a hard computer science problem in 2026, the Year of our Lord. You either here the sound of chirping crickets or the sound of "AI Slop" yells.
My past 3 projects went viral. I didnโt write a single line of code in any of them. But I still feel I engineered them. There were a few people that noticed but the majority didnโt see an issue.
You're fortunate in that you've genuinely captured something that people clearly want with
textlog. No one wants another static site generator or coding harness. Ideas that resonate are pretty few and far between now.Hello @stagasprofilefollow
creative technologist
creator of textlog, could a default tree/flat view setting be added under Interface > Misc?
creative technologist
creator of textlog, could a default tree/flat view setting be added under Interface > Misc?Today I wanted to share some Music from my youth :)
www.youtube.com/watch?v=8Hn-pNxtByM