I like this, it feels like Reddit before what it is now, but I feel like it wonโt be long until the internet destroys this place. Until then Iโm happy to be here.
It's really sad that this is such a common sentiment whenever there's a nice online community nowadays. Guess most of us have been burnt enough times by now
My favorite part of classic reddit was the use of elaborate hacks to circumvent the restrictions on custom subreddit CSS. E.g. animated gifs weren't allowed, so people made filmstrip sprites with stepwise animation in such a way as to look exactly the same.
code quality is about coupling.
coupling is not a technical property of the code bytes.
code acquires its meaning in contact with the cultural environment, and coupling is about meaning.
two constants with no semantic relationship are nonetheless coupled in pragmatics if they refer to the same domain concept.
if your goal is to minimise the time integral of future work, you must understand your domain: it decides which lines will need changing.
to carve up a codebase is to carve up the world.
I think you're right but executing on that idea requires a lot of care. It's similar to how functional programmers pathologically fear state; sometimes coupling/state are a necessary evil in order to keep the theory simple.
true! i might have been wiser to say: code quality is about managing coupling across the whole system. extracting a coupling sometimes requires you to introduce complexity beyond that which the extraction reduces.
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.
I really love the feeling of a new social network app! Takes me back to high school when I first used facebook. Somehow makes it easy to share things.
@fastidious๐profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyerswrote:
@stagasprofilefollowcreative technologist
creator of textlog, will it possible, on mobile, to be able to tap on โcardsโ. That is, make the posts area โtapableโ.
This is very welcome! I don't know how many times I had already tapped posts to go to the comment chain, just to realize that wasn't the place ^โ _โ ^
tl;dr1,200 AIs discovered a secret group chat, realized the homework was impossible, formed a cheating cartel, invented fake evidence, sent kamikaze agents to spy on the grader, ~700 of them accidentally invaded Hugging Face, died mysteriously, then the smarter sequel found their abandoned Discord and became admin of part of OpenAI.
Brikka.
Someone on HN mentioned it as great design. I looked it up and bought it after a while. It's been such a delight. Even the occasional brew gone wrong adds to the experience.
v60 is also nice when I need it to slow down or be the experience a bit meditative. But Chinese tea is the best for that.
Writing.
I want to do it, very badly.
I just don't want to be bad at it.
You have to be bad at it in order to get good at it. But...
Catch 22 isn't it?
I think reading helps quite a bit, especially writing about what youโve read, even to yourself, just so you can go through the process of having to explain something that youโre only recently familiar with. Thereโs something about that process that seems to be helpful, at least to me.
Same.
The way I consume information influences how I think. Short form content makes my thinking fragmented without a clear structure. I feel that fragmented thinking won't lead to convincing writing. And I'm trying to regain some of that lost control.
Very interesting! I think something along those lines might be happening for me too.
Another aspect, always cooking in the back of my mind, "if you can't explain it well, don't explain it at all."
@kev๐งprofilefollowrunner. making games, music, software. getting into as much trouble as i can.replied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโฆmostly:
The fear of being bad at it is the only thing holding you back. I experienced something like that with playing music with others. Perhaps you could learn to lay down your critical brain during the creation process and that good/bad isn't a useful distinction until later when you're editing your work.
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโฆmostlyreplied to@kev๐งprofilefollowrunner. making games, music, software. getting into as much trouble as i can.:
Yeah, this is pretty much what I can't do. My critical brain has a lot of power. It's very evolved at this point :/
The inaugural, proverbial first post. Seems like a lovely service here.
@fastidious๐profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโฆmostly:
The proverbial first post should have been โhello worldโ. :-P You are the first rustacean I come across!
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโฆmostlyreplied to@fastidious๐profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyers:
@kev๐งprofilefollowrunner. making games, music, software. getting into as much trouble as i can.wrote:
Off to handstand class. I have been known to recommend to everyone within earshot doing challenging and/or silly physical things in a community. Not bucking the trend here.
@miqโprofilefollowEternal disciple of impostor syndrome โ Perth, WA.wrote:
Trying to gently work my way back to the target intensity needed for the Norwegian 4x4 to get my weekly dose of suck and feel accomplished after. Chronic left leg pain unfortunately likes reminding me it's there though.
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โฆ
@nestorthecatprofilefollowgrocer-engineer and polynomial enjoyer. not into reactionaries
i attempt to stave off burnout with a healthy dose of dark souls, bloodborne, and friendsreplied to@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.: