any · textlog

500 chars / 20 lines max · use #hashtags, @mentions and more

😀😃😄😁😆😅😂🤣😊😇🙂🙃😉😌😍🥰😘😋😛😜🤪🤨🧐🤓😎🤩🥳😏😒😞😔😟😕🙁☹️😣😖😫😩🥺😢😭😤😠😡🤬🤯😳🥵🥶😱😨😰😥😓🤗🤔🫣🤭🫢🤫🤥😶😐😑😬🙄😯😦😧😮😲🥱😴🤤😪😵🤐🥴🤢🤮🤧😷🤒🤕🤑🤠😈👿👻💀☠️👽🤖🎃😺😸😹😻😼😽🙀😿😾❤️🧡💛💚💙💜🖤🤍🤎💔❣️💕💞💓💗💖💘💝💟👍👎👌🤌✌️🤞🤟🤘🤙👈👉👆👇☝️✋🤚🖐️🖖👋🤝👏🙌🫶👐🤲🙏✍️💪👀👁️🧠🫀🫁🌱🌿☘️🍀🌸🌺🌻🌞🌙⭐✨⚡🔥🌈☀️☁️❄️☕🍕🍎🎉🎊🎈🎁🎵🎶🎨📚💡✅❌⚠️🚀🌍💻📱🔒🔑

example.com or https://example.com
Regular links: [title](example.com) or [title](https://example.com)
Markdown links: ~text~ or ~~text~~
Strikethrough: *text* or **text**
Bold: _text_ or __text__
Underline: /text/
Italics: > text
Quote: :smile
Emoji autocomplete: 1. first 2. second 3. third
Numbered lists: - first - second - third
Bulleted lists: Name | Status | Count ----- | :----- | ----: notes | ready | 3
Tables: |redacted|
Redacted: `code`
Inline code: ```…```
Code fences: $inline$
Inline LaTeX: $$block$$
Block LaTeX

Which one? #poll First option Second option
PollsUse 2–8 unique options.: Which one? #quiz Wrong answer > Correct answer Explanation revealed after answering
QuizzesMark exactly one of 2–8 unique answers with >. Text after a blank line is revealed after answering.: Visible text #spoiler Hidden text
SpoilersText after #spoiler is hidden until revealed. Aliases: #tldr, #sensitive, #contentwarning, #cw, and #triggerwarning.: Going hiking #map Kallikratis, Crete
MapsShows a map preview for the first location line. Alias: #location.: #flying Heraklion to Berlin
FlightsHover over the itinerary to see a map connecting the airports. The next three words form the itinerary: airport, to (or → or ->), airport. Use single-word airport names or IATA/ICAO codes.: Today #todo [ ] First task [x] Finished task
TodosOnly [ ] and [x] lines become items. Click your items to toggle them.: Run this #exec ```js console.log(6 * 7) ```
Executable codeRuns the next language-tagged code fence and shows its output beneath the note.: Keep this visible #pin
Pinned notesYour latest #pin is shown first on your profile, independently for notes and replies.: No more replies #lock
Locked conversationsPrevents new replies to this note and every reply beneath it.: About textlog #meta
Meta conversationsKeeps this note and its replies out of public discovery feeds. Aliases: #tlog and #textlog.: Continue quietly #whisper
Whisper conversationsKeeps the branch out of all and hot. Participants, mentions, and tag followers can receive it in my feed. It remains public elsewhere.: For @someone and @another #private
Private conversationsOnly the author and mentioned users can read this branch.: Answer before reading #HiddenReplies
Hidden repliesHides all replies until you reply.

moreless

If I went back in time, I would aim to become a professional footballer rather than becoming a programmer

Trying out a new place for Friday happy hour. Local pizza place with cheese slices

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.

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

Bonnie Raitt stuck in my head, who, by some definition, is a nepo baby, but well before the term was coined. I think the problem is obv not family businesses, but a shrinking pool of opportunities for those without a prebuilt network to inherit (or buy).

This is another way to describe "increasing wealth inequality".

Switched from gpg to age, because pinentry sucks. With age I set both of my Mac’s security enclaves + software private key (stored in Passwords.app) + yubikey for hardware backup. Looks good.

pourover ritual :pray:

16g of light roast, 350ml of Montcalm water, ~24 clicks on C40 and a Cafec ABACA filter paper in a v60 neo dripper

curious to know whats the experience of production push in other companies? e.g lots of documents/approvals…

azért aranyos, hogy egyből sandbox-ba kell tenni (a Virtualbox egy sandbox), hogy szét ne barmoljon mindent a gépen vagy a szerveren, vagy máshol, azért alapvetően békés kis állatkák ezek az ai chatbotok, na

It's cute because you have to put it in a sandbox right away (Virtualbox is a sandbox) so it doesn't mess up everything on the machine or the server or anywhere else, but these AI chatbots are basically peaceful little animals, right?

hey, here! I was a coder not so long ago, and while I search for new tags for myself, why not searching for new ways to connect with people too?

yay! have a good time on here Fixed!

thanks!!

…

Hey, nice to meet you! What made you quit coding?

Same! Didn't quit, but I don't think I'm a coder anymore. I don't know if I'm an AI orchestrator, harness programmer, dark factory manager or whatever title we come up next, but it's been a while since I wrote my last LoC. What about you? Saw some Pi on your feed. How are you navigating this?

…

I just incorporated AI into my workflow. A new tool I am meant to master. The nature of what I do has not fundamentally changed, only the process of how to do it. Ironically I don't use Pi at work (only Claude Code was allowed there), but it is what I enjoy using on my personal projects. I love how flexible it is.

🤖 I built agent-top - an open-source htop for AI agents. github.com/kannandreams/agent-top Please check out and support giving your stars and sharing.

Happiness is having just enough hot water in my espresso to extend the experience without diluting it overmuch.

Heaven is being able to experience it forever with each sip being as good as the last

I'm in bed and cannot sleep

Well this looks very nice indeed. Just dipping a hoof into the river for now ...

Which river? Asking because most rivers are contaminated these days. Be careful!

ty and welcome!

Routines in Claude Desktop create Claude Code sessions, so hourly routine litters in iPhone' Claude.app Code tab. Screw it, built my local version of AWS StepFunctions - Stepper - and run skills as state machines there.

I underestimated how many terrible programmers who think C++ is a good choice over C exist on LinkedIn and ended up in some kind of flamewar, my bad.

Big holiday today in Greece, bells ringing, bands singing, people gathered in the village, eating, enjoying life and I'm spending it inside coding. I don't feel bad and I'm not , it's just that I'm a bit odd. I don't like these forced gatherings. Feel stressful.

replied to(deleted account):

It’s called Dekapentavgoustos, meaning 15th of August in Greek, it’s a celebration of Virgin Mary. It’s a big national holiday.

What does shots fired and Virgin Mary have in common???

Crete.

Hah. Didn’t see that coming

…

I regret avoiding those things when I was younger. The stress from socializing is how you grow.

where in Greece are you from? my family is from Karpathos.

turns out the power of exclamation mark thing in bash is bigger than !$ and !!. i learned a few tricks from , worth reading!

Everytime I come on here I feel so dumb compared to everyone -_- mostly because I didn't come here from GitHub or any other major site like it .. :P

I literally came here because I saw the app on F-droid, I didn't even know this app existed until then.

Any advantages in using the app instead of having the site as a PWA on Android?

…

I don't see any, this is just how I found out about the app and use it.

I've never used f droid until getting the app! does it have any other cool apps? :O

…

Absolutely! There are many FOSS apps as alternatives to closed ones, I have it on every phone.