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.
Any conversation
wrote:
Hello to friends. Holla for tools.
๐จโ๐ป : , , and Pragmata Pro
๐ช : NotePlan
๐ง : Overcast
๐ง : Allume
๐๏ธ : Mark Two (EDC), Pen Type-B
๐ณ : Anisota
wrote:
โ โ โ โ โ โ โ โ โ โ โ โ โ โ โขโฃโฃโ โ โข โ โขนโขณโขโ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ
โ โ โ โ โ โ โ โ โ โ โกคโ โกโ โฃตโ โ โ โกโขธโ โขธโ โกโ โ โ โ โ โขโกดโ โ โกงโฃโฃโกโ โ โ โ โ โ โ โ โ โ โ
โ โ โ โ โ โ โ โ โ โกฐโ โ โขฐโ โ โกโ โ โขฐโ โกโ โกโกโกโ โ โ โกฐโกฑโกโ โกโ โกโ โขโ โ โ คโกโ โ โ โ โ โ โ
โ โ โ โ โ โ โขโกโขโ โขโ โ โขโ โ ธโกโ โ โกโกโ โกโ โกโ โ โกฐโขกโกฑโ โกโขโ โขโขดโ โ โ โ โฃโกโกโ โ โ โ โ
โ โ โ โ โ โ โกโ โ นโฃฆโ โขโ โ โกโ โ ฑโ โ โขฐโขโ โขโขธโกโ โข โขโขงโ โกฐโขโ โข โกพโ โ โ โก โ โก โ โ โฃโ โ โ
wrote:
Been working on an old mastodon hosting project I tried to start a few years ago, with a focus on privacy. This is the first big project I've tried to come back to with the help of coding agents and find it invigorating, and gives me the confidence to actually finish the project. Who knows if it will ever make a dollar, but it sure is fun to watch my ideas come to life.
wrote:
they too have every incentive to exaggerate because they are selling safety and/or books on the topic. I donโt believe we wonโt see it coming. Any issues that will manifest will be very visible and weโll have plenty of time to mitigate their impact.
replied to:i dont think its all talk, these are smart people that have been in ai since the 2000s, and they raise good points. current incentive structures are very dangerous long term
wrote:
I truly love the experience of using apps with rich, deeply interactive, beautifully animated, gorgeous user interfaces.
Then I see a beautiful text-based interface and something about it feels so natural, so inevitable, so perfectly clear, and I'm instantly captivated by its simplicity and clarity.
Hypertext is fascinating.
wrote:
Added
#meta tag โ use it whenever you want to talk about the site itself, and these posts will not show up in all, any or the postโs page. Only those that follow the tag or the person will see these posts in my feed or in post pages. This is to keep the site clear of meta discussions which dominated a lot at this early stage and I think were annoying to many people. So this is the last meta without the #meta tag youโll see unless u follow. Iโll try to tag every post I find.wrote:
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.
replied to: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.
wrote:
Still in Quebec City, which has a pretty sizable street population once you come down from the hill where the tour groups go. We had to basically step over some guys sharing a glass pipe on the only stairs up the hill yesterday; I have teenagers so this bothered me.
Later, my youngest and I were talking and he says "why don't the police do something about that?"
wrote:
Last year I wasn't feeling too good.
I turned forty, waited for surgery, and was hurt by my own colleagues. So I dealt with things. Maybe not so well, but to the best of my ability.
One of the consequences was that I got a bit heavy. My body changed, and I didn't feel like myself. It was a problem for future me. So now I am here with this little belly of mine. We're not enemies, but I decided it's time to part ways.
So I count calories. Maybe not so well, but to the best of my ability.
wrote:
โโโโโโโโโโโโโโโโโโโโโ
โโโโโโโโโโโโโโโโโโโโโ
โโโโโโโโโโโโโโโโโโโโโ
โโโโโโโโโโโโโโโโโโโโโ
โโโโโโโโโโโโโโโโโโโโโ
โโโโโโโโโโโโโโโโโโโโโ
โโโโโโโโโโโโโโโโโโโโโ
โโโโโโโโโโโโโโโโโโโโโ
โโโโโโโโโโโโโโโโโโโโโ
โโโโโโโโโโโโโโโโโโโโโ
โโโโโโโโโโโโโโโโโโโโโ
wrote:
I've avoided social media (except YouTube) all my life, but this looks like it could finally be a better way to do it.
Maybe I'll keep a running journal of cool things I'm working on here or weird bugs that I've found. Or just the struggles of coding.
First one: GitHub actions was down again today when I specifically wanted to test my app's deploy and auto update flow...
wrote:
I've written a small persistent agent wrapper for agent.py. I'm impressed with how well it works. I feel like a CEO issuing global memos to all my agents after reading their status reports.
wrote:
I am a remote worker, and has been for 4 years now. It works great. But the owner of the office I've been renting have sold the building, and the new owner has different visions. I could work from home, but my 3 month daughter is a screamer. I had a great, cheap deal. All alternatives I find is like 3x the price.
wrote:
mandelbrot
for y in range(10):
s=''
for x in range(25):
a=[]
for q in range(2):
z=c=x/25*3-2+1j*((y*2+q)/10-1);n=40
while n and abs(z)<2:z=z*z+c;n-=1
a+=[n<5]
s+=" โโโ"[a[0]+2*a[1]]
print(s)
โโ
โโโโโโโโ
โ โโโโโโโโโ
โโโโโโโโโโโโโ
โโโโโโโโโโโโโโโโโโโ
โโโ โโโโโโโโโ
โโโโโโโโ
โ โโโโ
โโ