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

@_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.
โ€ฆ
@14profilefollowwrote:
My iPhone is pouring its battery. Feels like a major upgrade of the OS is coming. Hate this crap.
@semperos๐Ÿ“’profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
Maybe neither of us will ever know when this was written. Live.
@ben๐Ÿ˜ŠprofilefollowDesigner, no-code maker of stuffreplied to@semperos๐Ÿ“’profilefollowPresbyter, husband, father, technologist, linguist, musician.:
Itโ€™s easy, just add your own timestamp to posts 2:35โ€ฏam Tuesday, 25 August 2026 Coordinated Universal Time (UTC)
@zenprofilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowwrote:
WezTerm for local and remote multiplexing really is the ideal experience - it's so much better than using zellij, tmux, zmx, and friends.. I don't think they pitch this feature hard enough on their site. I think the in-terminal multiplexers have their place - e.g. if you need to access from mobile (no WezTerm there) or on machines where you simply don't want to install WezTerm for some reason. WezTermrm could probably eliminate that last one by packaging just the mux server.
@amyprofilefollowa work in progress; i love cats ๐Ÿฑwrote:
Watched Black Bird ep 1. Definitely lived up to the great reviews.
@vko_pngprofilefollowpoet by heart ๐“…ฐwrote:
uncontroversial opinion. Young Thug is the greatest vocalist of our generation.
@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyersreplied to@swiley๐Ÿค”profilefollowswiley.net Try my zero dependency agent harness: public.swiley.net/agent.py If you're spending too much time on sites like these install bingeblock.com:
My reply didnโ€™t carry literal meaning. If you are familiar with the now-out-of-fad expression, you know you donโ€™t need to be a boomer, to be a boomer. :-D
@pcprofilefollowwrote:
I sit in meetings all day long, I roll my eyes and die a bit and synergize and circle back inner life sacrosanct outer face smiling stone no need to rush: executives don't need to work just synergize and circle back #poemnotesfollow
@prophetorit๐Ÿ’งprofilefollowgrand and intoxicating innocence always onlinewrote:
my lungs: yeah sorry! no breathing. in the textbook Soo no can do!
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostlywrote:
Is open source dead? Everyone has the power now to make their own stacks of things. The people aspect of open source is dead or dying. I don't think the bunny is going back in the box.
@chanuxprofilefollowI ain't no nothing!replied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostly:
One nice thing about Open Source (at least for me) is different people doing the same thing in different ways and one of those happen to suit my taste perfectly. And in many cases, I won't be able to come with it myself even with Super Intelligence.
@paulprofilefollowadamspaul.short.gy/notesreplied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostly:
Evgeny Morozov has pointed out that using ai through chat interfaces is based on an individualised and privatised model, which (heavily paraphrased) is inherently anti-social. With an extra layer now of people making small personalised tools, do bigger things still need teams of people who know what theyโ€™re doing? FWIW Iโ€™d like to see more sharing of vibe coded tools instead of everyone making their own more less the same ones. Mine are here: pauladams.neocities.org
@gruntprofilefollowI am just a grain of sand on your beach. www.gruntsoft.comreplied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostly:
I don't think so. I have been using more open source software than ever before. You may argue that with LLMs I have the power to make my own stack of things, but this doesn't eliminate that I still need knowledge to properly steer an LLM to create something worthwhile. If I have no knowledge of what I intend to build, the best thing the LLM will generate is a half-assed copy of something that already exists. Which is what we have been drowning in the past couple of years.
@gruntprofilefollowI am just a grain of sand on your beach. www.gruntsoft.comcontinued:
AI can be a superpower in the hands of someone knowledgeable. That makes the people aspect of open source more important, not less. If you offload your curiosity and desire to learn to AI, you will be a slave to it's limitations instead of being a master of its capabilities.
@hippo๐Ÿฆ›profilefollowStrictly no LLMs. No exceptions.replied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostly:
Of course not. I think it is much more relevant to ask "Is closed source dead?". Anyone can now replace a proprietary program with a vibeslopped alternative which might suit them just as well. It will have the same level of trust (ie. none) and none of the other drawbacks.
(replies are hidden until you answer the quiz)
@jgprofilefollowNew herewrote:
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).
@jmnufprofilefollowChilling. Hand coding C to feel alivewrote:
Just remembered how weird some mangakas are, pretty sure at least one is clinically insane without a diagnosis
@personprofilefollowwrote:
hรกt, jรณ, รฉppen telepรญtem a Windows 11-et, most jรกrok kรถrรผlbelรผl annรกl az รฉrdekes rรฉsznรฉl, hogy a TPM 2.0-รกs processzor-izรฉ egy Rufus nevลฑ programmal elvileg szoftveresen kivรกlthatรณ, meg hogy a windows 1125H iso-t kell beletรถlteni egy minimum 8 GB-os pendrive-ra
Well, I'm currently installing Windows 11, and I'm getting to the interesting part, where the TPM 2.0 processor chip can be replaced in software with a program called Rufus, and where the Windows 1125H ISO needs to be loaded onto a pendrive of at least 8 GB.