Any conversation

I'm not sure the world needs another static site generator, but I made one. get-taxus.org Giving the project some TLC this week, doing some bug squashing. If you want and SSG that doesn't fight you, give it a go.

I finally bit the bullet and have started to use dictation software more often, even outside of just my prompts. I really like it. Hopefully, computer use becomes much smoother soon. I would love to be able to control my computer with just my voice.

ChatGPT-generated placards for fruits and vegetables at the local farmer's market 👌

Spending mornings scouring job boards and listings and applying. Afternoons working on Cheltenham Open Data and iOS app development. What about you?

Testing this quiet corner of the web. I collect small notes about everyday tools �� file formats, tiny utilities, offline workflows. First post is just a hello; longer notes will follow once I settle in. Plain text feels good after years of heavy editors.

Quick, answer immediately without thinking. #pollnotesfollow

#ainotesfollow Installed Hermes Desktop and starting to build out my team of bots. My experience with Hermes so far has been great: it keeps surprising me by being what i need it to be ... but I'll reserve a final judgement until after a proper period of use.

Lonely in the night

hi #hinotesfollow

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.

working on permanent.sh a coding agent for the growing and seemingly permanent underclass of people that are left behind by the unbelievable pace of progress in ai the big labs are fighting over felonybench (exploitbench) and google deepmind ceo left to work on drug discovery

I read larsfaye.com/…/ai-coding-will-prevent-expertiselarsfaye.comAI Coding will Prevent Expertise | Lars FayeThe need for ongoing friction in long-term skill formation. #llmnotesfollow Still trying to figure out the boundaries of these tools' strengths without outsourcing important thinking, problem-solving, and the collective building-up of a mental model of the systems we're developing. The shape of LLM tools as tools—fit for a purpose, ergonomic—is becoming clearer, and human patterns of behavior with them that do more harm than good are also becoming easier to recognize.

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.

I like this guy I drew ibb.co/vxRtMxQC

van szomorú vasárnap, van vidám vasárnap, és van átlagostól egy kicsit jobban elcseszett vasárnap is, mint ez a mai

I never have enough time but I’d love to do a bit more recreational programming with esoterical languages like kitten, #uiuanotesfollow, and #jqnotesfollow. AoC and Project Euler are good because they just require an answer but there’s also loads of simple puzzles online that rely on being able to submit the code in common languages. I’ve been wondering, however, if I could use an LLM to take those problems and create a verification harness for any language I like.