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
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.I think I may be use this for now to spill out my guts a bit. Set out boundaries guys. I was basically ignoring how important that is, whatever is at work, family, relations. Be loved being you, you don't have to meet any expectations beyond yours.
de a tapasztalatok szerint a kezelลfelรผlet elfรกradรกsa elลbb-utรณbb magรกval hozza magรกnak a rendszernek az elfรกradรกsรกt, majd lassulรกsรกt, szerintem 1-2 รฉv mรบlva (amikor mรกr senki sem emlรฉkszik majd rรก), forradalmi รบjรญtรกskรฉnt visszahozzรกk a Windows 10 kezelลfelรผletรฉt Windows 12 nรฉven
but according to experience, the fatigue of the user interface will sooner or later lead to the fatigue and then the slowdown of the system itself. I think in 1-2 years (when no one will remember it anymore), they will bring back the Windows 10 user interface as a revolutionary innovation under the name Windows 12.
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.
I have something that usually builds, tests, and deploys under five minutes. It has been over two hours and forty eight minutes and it is still going on today... ๐ซฃ
@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:Twitter was 140 chars. That makes it double the dream, right?
Been a bit quiet here the last week or so. Recovering from ill health, at risk of redundancy, and working on side projects. It's been a bit full on.
Does anyone make pay check/cheque money from side projects? Can I use my redundancy runway to turn some websites from side hustle to salary money?
Recovering from ill healthHope youโre feeling better now!Does anyone make pay check/cheque money from side projects?Thatโs the dream, Iโve only made a few hundreds so far. Iโve had a machine gun approach. Shoot as many rounds as possible in the hopes I might hit something. has helped immensely in this direction. Iโve done a dozen projects past year and while became Iโm still not there yet. Iโm hopeful though! ๐