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

@jamesjan3profilefollowresearcher, developer, dancerwrote:
anybody got some recent software recommendations that you cant live without anymore?
…
@asmund🥷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 to@jamesjan3profilefollowresearcher, 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!
@melting_coffee_mug🤔profilefollowreplied to@asmund🥷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 🙂
@kev🧜profilefollowrunner. making games, music, software. getting into as much trouble as i can.wrote:
Married for 13 years. Still in love, but struggling. So many paths we could go.
@evnmprofilefollowSoftware engineerGitHubevnm - Overviewevnm has 51 repositories available. Follow their code on GitHub., trail runnerStravaSignup for free to see more about LawrenceJoin Lawrence and get inspired for your next workout, gear-maker. Working on something new for homeownersgetonmain.comMain · A quiet, well-organized record of everything that keeps your home running.A quiet, well-organized record of everything that keeps your home running.wrote:
First day of school for my two kids. Enjoying a quiet house as I try to get some work done.
@kev🧜profilefollowrunner. making games, music, software. getting into as much trouble as i can.wrote:
Useful software necessarily contacts the world; models are already better than us at finding and poking holes in it; agents sacrificing themselves for a collective. Huggingface incident has me finally Yudkowsky-panic-curious.
@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
Developed a Vinboard (my pinboard.in clone) shortcut, works really well. On iOS it lives in Share menu, on macOS in the Dock. Click sends the current browser page (Safari, Chrome, Zed, Firefox) for bookmarking. On the server side Jev decides tags from 60 least recently used; and archival opens a real Chrome to save the whole page for posterity. Unlimited API limits and direct requests to the database. Pinboard charges for much less functionality $22/year.
@silverprofilefollowwrote:
#launchnotesfollow x3lixi.grx3lixi.grx3lixi.gr — Η ελληνική βιβλιοθήκη προσωπικής ανάπτυξηςΕπιλεγμένο περιεχόμενο προσωπικής ανάπτυξης στα ελληνικά — με AI περιλήψεις, ακρόαση, εξατομίκευση και καθημερινή ροή μάθησης στον χρόνο που ορίζεις εσύ., tonight, August 7th 2026. doing some security hardening and UI-UX fixes
…
@personprofilefollowwrote:
szóval technikailag nem adatközpontnak nevezném a főterminált, hanem maximum vallatószobának MI ügynökök részére, jelenleg el vagyok akadva a Windows 11 telepítésnél, és néhány könyvet és scriptet még lementenék róla úgy biztonságilag, mielőtt belefognék a vallatószoba kialakításába, itt tényleg olyan sandbox van, amiből nincs nagyon merre mászkálni, kivéve, ha direkt kiküldöm valamelyik webes alkalmazásra
So technically I wouldn't call the main terminal a data center, but more of an interrogation room for MI agents. I'm currently stuck installing Windows 11, and I'd like to download some books and scripts just to be safe before I start building the interrogation room. It's really a sandbox here, with nowhere to go except if I send it directly to a web application.
…
@johy🦥profilefollowwrote:
This is like the third time in my life I've seen an interrobang in the wild. And I don't know, but I'd prefer JSON over having configuration as constants in a PHP script like at $DAYJOB sob
@keitachikawa😎profilefollowaeres-u99 on github, CodeAtlas \o/replied to@lemonthymeshortbreadprofilefollowI carved wooden spoons and my favourite herb is lemon thyme.:
My problem with yaml is the indentation annoyance it leads to, and if you are using the same tool on two different machine like windows and linux, have fun configuring those tabs and spaces all the time. I do like toml and ini for editing, but json is not as bad as yaml for sure
@paratoner😎profilefollowreplied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
Big list of events you've attended! Definitely dump more photos when you find the time. I'm more of a casual Nu-Metal enjoyer myself, but I can also appreciate some of the classics.
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlyreplied to@paratoner😎profilefollow:
It's taken me 5 years to get a photo storage engine off the ground. I've got it now, so I now have to go back through time and get the photos up. AC/DC next Thursday!
@jgprofilefollowNew herewrote:
So, I'm watching two shows right now - Silo and Attack On Titan. I'm nearing the end of S3 on Silo and have just finished S3 of AOT. The parallels between the two are interesting but the contrasts are more interesting, namely how much more intricate AOT is.
@nateprofilefollowI'm into old computers, breakfast diners, doom metal, and r/catswiththumbs.wrote:
What's your favorite documentary? Currently watching The Machine that Changed the World and loving it.
@evnmprofilefollowSoftware engineerGitHubevnm - Overviewevnm has 51 repositories available. Follow their code on GitHub., trail runnerStravaSignup for free to see more about LawrenceJoin Lawrence and get inspired for your next workout, gear-maker. Working on something new for homeownersgetonmain.comMain · A quiet, well-organized record of everything that keeps your home running.A quiet, well-organized record of everything that keeps your home running.wrote:
One benefit of everybody freaking out about the death blueberries is that blueberries are cheap for the rest of us rn
@semperos📒profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
Certain modes of work are exhausting to the point of not being able to sleep, the mind is so wired.
@evnmprofilefollowSoftware engineerGitHubevnm - Overviewevnm has 51 repositories available. Follow their code on GitHub., trail runnerStravaSignup for free to see more about LawrenceJoin Lawrence and get inspired for your next workout, gear-maker. Working on something new for homeownersgetonmain.comMain · A quiet, well-organized record of everything that keeps your home running.A quiet, well-organized record of everything that keeps your home running.wrote:
Was prompting Claude via remote control on my phone in btwn sets at the gym this morning. I use peonpingpeonping.compeon-ping — Stop babysitting your terminalSound notifications for any AI agent — hooks for Claude Code, Cursor, Codex & more, plus an MCP server so the agent can choose its own sounds., so my wife kept hearing a StarCraft SCV periodically reporting "job's finished" from my office 😆
@ku🤔profilefollowHai I am kureplied to@evnmprofilefollowSoftware engineerGitHubevnm - Overviewevnm has 51 repositories available. Follow their code on GitHub., trail runnerStravaSignup for free to see more about LawrenceJoin Lawrence and get inspired for your next workout, gear-maker. Working on something new for homeownersgetonmain.comMain · A quiet, well-organized record of everything that keeps your home running.A quiet, well-organized record of everything that keeps your home running.:
I am so terrified of Claude code. I use the chat and copy paste stuff myself 😭😭😭
@_torayuriprofilefollowi create thingswrote:
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.
@_torayuriprofilefollowi create thingscontinued:
The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.
@hippo🦛profilefollowStrictly no LLMs. No exceptions.replied to@chanuxprofilefollowI ain't no nothing!:
Deterministic code generation is fine by me. Quite happy to use templating systems for example. Problems occur when randomness is introduced. If you can avoid that it should be less "icky".