Any conversation

Math class -_-

OK. I've translated the (correctness) requirements of LeetCode No.22 to Lean, and ask Claude Code to both implement a solution and prove it.

Getting that naneinf in Balatro is pain. 😅

age restriction app on my phone doesn't let me turn off the picture in picture for YouTube T-T

I'm employed again. Once again through someone I know and not through LinkedIn. Still not feeling productive and comfortable.

Anyone read Neil Postman? #philosophynotesfollow

oké, megdumáltatok, a héten telepítem a kis virtuális állatseregletem mellé (webszerver, mechanikus 1. generációs robotkezdemény, led kijelző szalag) az első ai agent chatbotomat, egyelőre Virtualbox Ubuntu alá

there's no fundamental physical limit that prevents silicon from developing taste and judgement, but language is a lossy compression of reality. taste comes from experience, from the shadowy mass of episodic memory, which swirls and convects at the boundary of consciousness. the ideas recombine into new ones in the nuclear reactor of the hippocampus. but no matter how imbued with meaning and expertise is a handmade wardrobe we still get our shit from ikea

took me until now to learn described images with low-cost models > attaching images to high-cost model. silly me. output quality remains, cost lowers.

Just remembered how weird some mangakas are, pretty sure at least one is clinically insane without a diagnosis

signals. thinking about shifting my mental framework to identify signals instead of waiting for concepts to be assembled. exploring the amount of energy and opportunities for distractions through the operations of processing what just happened and what is happening to short circuit latent and unnecessary systems. cut through the assembly processes and identify the raw signals. recognizing that naming these "raw signals" is misleading. maybe, shifting observability lower in the stack.

#exercisenotesfollow time

Any #Pinotesfollow users around? I have been customizing it to the way I work, as it is meant to be. Bent it in a way that I enjoy holding it, so to say. Maybe someone will find those useful, so I took the time to get it published. Gruntfooot is a footer customization, where you can try new colors/glyphs in real time and also has theme support.

#launchnotesfollow x3lixi.grx3lixi.grx3lixi.gr — Η ελληνική βιβλιοθήκη προσωπικής ανάπτυξηςΕπιλεγμένο περιεχόμενο προσωπικής ανάπτυξης στα ελληνικά — με AI περιλήψεις, ακρόαση, εξατομίκευση και καθημερινή ροή μάθησης στον χρόνο που ορίζεις εσύ., tonight, August 7th 2026. doing some security hardening and UI-UX fixes

did they silently decrease the subscription limits on codex? (in addition to reintroducing the 5h limit?) subscription models suck so bad when they can just change the terms and make the product shittier.

I naively went into a work problem thinking that RAG was solved by the service offered at work, and wow was I wrong. Been a fun week so far experimenting with many different methods before doing the academic research, and it's been nice to be validated by outside research.

For 30 years, productivity sky-rocketed with the advancement of automation and computing. Meanwhile, a decline in longevity was observed, correlated to sleep depravation. Productivity improvement goes to the owners class' pockets, sleep benefits the workers health.