Any conversation

Q: What’s a dog’s favorite part of the opera? A: The ARRRRRRRRR-ia!

Hello world

Problem solving: Two steps forward, two steps forward, two steps forward... Coyote, look down.

Most of programs use key chords, like Cmd-Shift-G, Ctrl-Alt-N and so on, you need to remember and press awkwardly several keys at once. #Emacsnotesfollow uses key sequences, C-c then k then p then l. If I forget after C-c k p then press C-h and help appears.

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.

This is really cool site but only drawback I see is 500 character per post limit. I think this should me more like 1500. or there is a limitations type something like I can do 3-4 long post per day credit. whom can i message for this feature request?

Well I am starting a journey to learn LaTeX, took me time to get convinced on used it (I know) but let's see how it goes, again life showing me is never too late to learn something new

apparently there is some filtering. can't say "hit*s with hand".

Frustrated with my phone usage again tonight, I uninstalled several pointless and time-consuming apps. It’s a cycle I repeat every few months. During this cycle, I wasted a lot of time on one of those puzzle-matching games. I'm considering switching to Ubuntu Touch at this point

Hitting a workout streak. I started using ladder app and have been consistent for the last two weeks. Three years ago I was 75 lbs heavier. Now trying to build muscle. Sitting and staring at a screen all day… I did that a bit too much ;)

Enjoyed reading “revo, the programming language” post: revo.lung.fyi/blog/apples/revo.lung.fyirevo, the programming language⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣤⢔⣒⠂⣀⣀⣤⣄⣀⠀⠀ ⠀⠀⠀⠀⠀⠀⣴⣿⠋⢠⣟⡼⣷⠼⣎⣼⢇⣿⣄⠱⣄ ⠀⠀⠀⠀⠀⠀⠹⣿⡀⣆⠙⠢⠐⠉⠉⣴⣾⣽⢟⡰⠃ ⠀⠀⠀⠀⠀⠀⠀⠈⢿⣿⣦⠀⠤⢴⣿⠿⢋⣴⡏⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⢸⡙⠻⣿⣶⣦⣭⣉⠁⣿⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⣷⠀⠈⠉⠉⠉⠉⠇⡟⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⢀⠀⠀⣘⣦⣀⠀⠀⣀⡴⠊⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠈⠙⠛⠛⢻⣿⣿⣿⣿⠻⣧⡀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠈⠫⣿⠉⠻⣇⠘⠓⠂⣀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣿⠀⠀⠈⠉⠉⠉⠀⡠ ⢶⣾⣿⣿⣿⣿⣿⣶⣄⠀⠀⠀⣿⠀⠀⠀⠀⠀⠀⠈⠀ ⠀⠹⣿⣿⣿⣿⣿⣿⣿⣧⠀⢸⣿⠀⠀⠀⠀⢀⠆⠀⠀ ⠀⠀⠈⠙⠻⢿⣿⣿⠿⠛⣄⢸⡇⠀⠀⡀⠀⠈⢀⠀⢨ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠘⣿⡇⠀⠀⠀⠀⠀⠀⢦⣃ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣿⡁⠀⠀⠀⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣿⠁⠀⠀⠀⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣿⠀⠀⠀⠀⠀⠀⠀⠀⠀ revo, the programming language software that doesn’t hate you -> take a look at examples first toc revo, the programming

úgyhogy az idénre beígért informatikai projekjeimet már eleve vaporware-nek nyilvánítom a késedelmes indulás miatt

I like this concept

What’s your favorite #fruitnotesfollow? Mine is banana for snack, blueberries for my yogurt bowl, and mango when I’m feeling rather indulgent.

time.fyi/timezones is the most intuitive interface to working with different time zones I have used.

considering the replies, i think the "recent" flag got overlooked

Team vim, team emacs, or team “my editor doesn’t start wars”? One line, no essays. Go!

#morningnotesfollow! #coffeenotesfollow

Have a wonderful day.

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.