any · textlog

Started with vim but felt limited, especially when doing heavy Julia visualisation work. Now in emacs and it's been smooth-sailing. Also, emacs + typst is amazing.

replied to:

Emacs is what I despise and love, the thing I can't work without now

…

replied to:

mostly vs code now but team nvim.

replied to:

$ nano hello.txt

…

replied to:

what a classic

wrote:

If you need to hear this, I love you

replied to:

Thanks

wrote:

Made some big updates to my side project. including adding loads of interactive maps. local data for local people

wrote:

More tweeter than tweeter?

replied to:

more like the original version ya

wrote:

Follow me if you want me to email you a pizza roll

wrote:

Came from . I like the design.

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.

continued:

The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.

wrote:

I gotta confess, I vibe codet a Kirigami-based application and I liked it. I am a anti AI person, and cannot wait for the bubble to burst. Yet I see it can empower people that do not know a tech stack, and get good enough results out of it. However i also see, it makes you lazy (and frustrates as soon as it gets somewhat complicated). It seems it is being adopted everywhere. This is scary... if it becomes necessary, will you be able to find a job where they don't require you to use AI?

replied to:

I lament the death of programming as an economically-viable craft, but am also leveraging the new tools to build things and to try to stay competitive. I think we have yet to find out how agentic coding will really make sense for companies once the costs stop being subsidized. But it's clearly not going anywhere.

wrote:

hi

wrote:

Management says „AI first“, everyone hears „Human second“

wrote:

Have recently consolidated my different chat apps (Signal, Slack, WhatsApp, Discord, Google Messages) into a single Matrix client + bridges - I'm 100% sold on Matrix.

replied to:

You never tried IRC, did you? Good luck on Slomatrix! 😅

wrote:

Avui tenia una reunió llarga de moltes hores, d'aquelles en les que una escolta passiva és suficient durant la major part del temps. He aprofitat el temps per implementar una sincronització en dues direccions entre el meu calendari i el meu sistema de notes en markdown (Emacs Howm). He fet el pla amb Argon (tinc pocs tokens al dia amb la subscripció que tinc), amb feedback meu, i després Gemini Flash l'ha implementat quasi a la primera.

Today I had a long meeting of many hours, one of those where passive listening is enough for most of the time. I took advantage of the time to implement a two-way synchronization between my calendar and my markdown note system (Emacs Howm). I made the plan with Argon (I have few tokens per day with the subscription I have), with my feedback, and then Gemini Flash implemented it almost on the first try.

continued:

De retruc, ara el meu chatbot personal ja té accés a la meva agenda (no només a les meves tasques). He modificat una mica el prompt que li envia el servei de systemd que el fa anar, amb la idea que prengui més consciència d'aquest fet. També he modificat el briefing matinal que m'envia el chatbot. Aquest briefing conté una anàlisis de les tasques que tinc durant el dia. Ara tindrà en compte tasques i agenda, així m'ajudarà a prioritzar millor.

In return, my personal chatbot now has access to my schedule (not just my tasks). I have slightly modified the prompt sent to it by the systemd service that runs it, with the idea of making it more aware of this fact. I have also modified the morning briefing that the chatbot sends me. This briefing contains an analysis of the tasks I have during the day. It will now take into account tasks and schedule, thus helping me to prioritize better.

continued:

Crec que això m'ajudarà, perquè el chatbot no només és conscient de les tasques i esdeveniments que tinc, també té accés al seu context (totes les notes), inclòs el context personal (el meu diari) així té en compte el meu estat emocional. Així doncs, la idea és planificar millor els meus dies. I si no els planifico millor, almenys delegar moltes de les menudes decisions del dia a dia al chatbot per així preservar energia per a d'altres decisions.

I think this will help me, because the chatbot is not only aware of the tasks and events I have, it also has access to their context (all the notes), including the personal context (my diary) so it takes into account my emotional state. So, the idea is to plan my days better. And if I don't plan them better, at least delegate many of the small day-to-day decisions to the chatbot so that I can preserve energy for other decisions.

…

continued:

Suposo que el següent pas per millorar el meu chatbot és donar-li permís de lectura, i només lectura, al correu electrònic. Més que res per aquells períodes en els que s'acumula correu i vols que algú ràpidament et digui si hi ha quelcom rellevant sota la paperassa. Un LLM que té accés al context de la teva feina, tasques i notes, hauria de tenir certa capacitat per saber si un e-mail és rellevant o no. Però aquestes són figues d'un altre paner i les deixarem per un altre dia.

I guess the next step to improve my chatbot is to give it read permission, and only read permission, to email. Especially for those periods when email is piling up and you want someone to quickly tell you if there's anything relevant under the paperwork. An LLM that has access to the context of your work, tasks, and notes should have some ability to tell if an email is relevant or not. But those are figs from another basket and we'll leave them for another day.

wrote:

I'm trying to desintoxicate from socials and slop, so this site seems to be a good fit.

Any conversation