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.
@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 ๐Ÿ˜ญ๐Ÿ˜ญ๐Ÿ˜ญ
@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:
I laughed at this. I'm all for people crafting their own tools, but it really feels like everyone's reinventing the same handful of wheels for agentic development.
@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.continued:
In terms of where I invest my time, I'm trying to find ways to zig while everyone's myopically zagging.
@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.wrote:
Been a bit quiet here the last week or so. Recovering from ill health, at risk of redundancy, and working on side projects. It's been a bit full on. Does anyone make pay check/cheque money from side projects? Can I use my redundancy runway to turn some websites from side hustle to salary money?
@stagas๐Ÿคธprofilefollowcreative technologist creator of textlogreplied to@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.:
Recovering from ill healthHope youโ€™re feeling better now!Does anyone make pay check/cheque money from side projects?Thatโ€™s the dream, Iโ€™ve only made a few hundreds so far. Iโ€™ve had a machine gun approach. Shoot as many rounds as possible in the hopes I might hit something. #AInotesfollow has helped immensely in this direction. Iโ€™ve done a dozen projects past year and while a few became #viralnotesfollow Iโ€™m still not there yet. Iโ€™m hopeful though! ๐Ÿ˜Š #sidehustlenotesfollow #entrepreneurshipnotesfollow
@catastrofer๐ŸฅธprofilefollowJust another AI guywrote:
I think I may be use this for now to spill out my guts a bit. Set out boundaries guys. I was basically ignoring how important that is, whatever is at work, family, relations. Be loved being you, you don't have to meet any expectations beyond yours.
@jamesjan3profilefollowresearcher, developer, dancerreplied to@pqs๐Ÿคชprofilefollow:
It seems this year is when big budget LLM players overtake independent academic mathematicians, in speed at least. The Jacobian conjecture, a lot of Erdos problems, now even the Navier Stokes millenium problem. Solved due to new model releases, all within this summer.
@jamesjan3profilefollowresearcher, developer, dancerreplied to@pqs๐Ÿคชprofilefollow:
in math it can definitely prove statements that havent been proven before. I dont think thats the big thing though since it also writes sentences nobody has ever written before and in software it can write programs that havent been written before. Its just that the speed and scalability that has overtaken human mathematicians and programmers
โ€ฆ
@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.wrote:
I remain #AInotesfollow ambiguous. This morning I used pi+gpt5.6 to create a #vimnotesfollow color scheme based on evergarden.moe. It works, and I havenโ€™t checked how well it stay true to the style used in vim-bundled schemas. Before I wouldnโ€™t have done this, and now I can. But I donโ€™t know if it is good. github.com/โ€ฆ/evergarden.vim #codingnotesfollow #githubnotesfollow
@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)
@melting_coffee_mug๐Ÿค”profilefollowwrote:
I gotta confess, I vibe codet a Kirigami-based application and I liked it. I am a anti AI person, and cannot wait for the bubble to burst. Yet I see it can empower people that do not know a tech stack, and get good enough results out of it. However i also see, it makes you lazy (and frustrates as soon as it gets somewhat complicated). It seems it is being adopted everywhere. This is scary... if it becomes necessary, will you be able to find a job where they don't require you to use AI?
@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.replied to@melting_coffee_mug๐Ÿค”profilefollow:
I lament the death of programming as an economically-viable craft, but am also leveraging the new tools to build things and to try to stay competitive. I think we have yet to find out how agentic coding will really make sense for companies once the costs stop being subsidized. But it's clearly not going anywhere.
@mcclaskcprofilefollowIs mayonnaise an instrument? Email me if you want a pizza roll.wrote:
I showed my daughter Dog of Wisdom I, II, and III, and she loved them. I have hope for the future.
@neoprofilefollowcoder, reader, guitarist, seeker, builder.wrote:
Experiences of life spring from the contrasts.
@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.