textlog
join
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.

Any conversation

Sigh. On the heels of our last home maintenance mess
Very cool: our kids' bathroom toilet overflowed last night, resulting in water draining into our kitchen on the floor below.
, I just went into our garage to find a panel of insulation fallen to the ground, riddled with mouse droppings. ๐Ÿคข๐Ÿ˜ซ Cleaned it up (gloved and masked, naturally), but probably means we need to re-insulate the whole garage. Which will undoubtedly uncover a leak or some other issue. The fun never ends!
๐Ÿ’งprofilefollowgrand and intoxicating innocence always onlinewrote:
I always liked the name Orit, i found it while scrambling the word Trio and loved it since.
profilefollowresearcher, developer, dancerwrote:
i thought german state bureacracy was bad, until i had to go jump through the hoops of (an online retailers) coorporate hellhole of a dev program.
profilefollowresearcher, developer, dancercontinued:
my naive vibecoding ass thought everything that can be built can be shipped. compliance is a b*tch
i got into the fashion to vibevode some utility apps for myself. i didn't review the code. they work fine. colleagues are interested. i don't feel comfortable to put such stuff on $Github. have no good consciousness with unreviewed and likely ununderstood (stack I am not really familiar with). internet is full of people who don't care, I know. i tend to overthink. what about you?
๐Ÿ“ถprofilefollowcurious & creativewrote:
Management says โ€žAI firstโ€œ, everyone hears โ€žHuman secondโ€œ
profilefollowHi! I'm a programmer and enjoy playing music. Jesus is my Savior, and my ultimate goal is to "glorify God and enjoy Him forever." (Westminster Q1).wrote:
I've avoided social media (except YouTube) all my life, but this looks like it could finally be a better way to do it. Maybe I'll keep a running journal of cool things I'm working on here or weird bugs that I've found. Or just the struggles of coding. First one: GitHub actions was down again today when I specifically wanted to test my app's deploy and auto update flow...
profilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
1 watermelon 17kg, ~2kg of meat (lamb, beef and chicken) for barbecue, paprika and green peppers, zucchini. Total 92 eur. Lifeโ€™s expensive in 2026.
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.
profilefollowresearcher, developer, dancerwrote:
anybody got some recent software recommendations that you cant live without anymore?
โ€ฆ
๐ŸฅทprofilefollowFather, getting older every day, technologist, enterprise architect @ work, like to explore tech. Like to keep it simple and work in the shell, write in vim, prefer Debian if I have the choice. Plays saxophone and clarinet. Enjoy motorcycle riding, photography, hiking. Christian.replied toprofilefollowresearcher, developer, dancer:
Iโ€™m not supposed to take that literally of course, but I donโ€™t think software has such an important role in our lives, for most of us. Water, food, air. Those you canโ€™t live without. When it comes to software, I spend most of my workdays in the shell (vim, git, grep,โ€ฆ) and if $place allows in mutt+weechat (although thatโ€™s mostly outlook and teams). Nothing particularly new!
๐Ÿค”profilefollowreplied to๐ŸฅทprofilefollowFather, getting older every day, technologist, enterprise architect @ work, like to explore tech. Like to keep it simple and work in the shell, write in vim, prefer Debian if I have the choice. Plays saxophone and clarinet. Enjoy motorcycle riding, photography, hiking. Christian.:
Nextcloud with Files, Talk, Calendar, Memories and more is damn useful for family life though ๐Ÿ™‚
Personally, mise is more "try in hurry" compatible. So it stuck. I have tried devenv as it seems to greatly simplify the setup. However, I had to get something done in a hurry. Tried devenv (which I installed around the time they launched) and got stuck with a load of outdated nix IIRC. So I also gave a quick try with mise, got started with fnox and it was considerably easier to get going.
โ€ฆ
Is this true? Sometimes, AI allows for socratic thinking, this is, the conversation with the machine allows the thinker to go further as the AI thorws ideas to the conversation. Many times, the AI reasoning is not good enough, but like a friend that says a funny think that sparks an idea, the AI can help our brain to see other possible paths. The AI doesn't need to be right to be helpful
โ€ฆ
๐Ÿง™profilefolloweat, get a new hobby, sleep, repeat maxine.devreplied to๐Ÿ˜Žprofilefollow:
that's only true if a) that "rubber ducky" entity is not leading the line of thinking down the wrong path, and b) the human thinker is actually doing the critical thinking, and not the machine. The latter is where my criticism of unbridled AI use is in this case, wherein the human becomes the rubber ducky instead of the other way around.
๐Ÿ˜Žprofilefollowreplied to๐Ÿง™profilefolloweat, get a new hobby, sleep, repeat maxine.dev:
Indeed. The AI throws back ideas, but it is the human who must do the heavy lifting. In this regard, the AI is a sort of mirror, it reflects what you send it, showing another side the object. But if the human messages are bad, the AI will respond with bad quality answers.
Maintenance of software/systems was a mere after thought in my experience. Adding new things made careers, bonuses etc. so there was no real incentives for maintenance. The article argues that LLMs will do it. I'll believe if and when I see it.