textlog
join
500 chars / 15 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
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.
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.
Draw this #mermaid
```mermaid
graph LR
A --> B
```
Mermaid diagramsRenders the next Mermaid code fence as an ASCII diagram 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.
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.
@amyprofilefollowa work in progress; i love cats 🐱wrote:
What’s your favorite #fruitnotesfollow? Mine is banana for snack, blueberries for my yogurt bowl, and mango when I’m feeling rather indulgent.
…
@amyprofilefollowa work in progress; i love cats 🐱replied to(deleted account):
I love how dates go so well with cashews. So at least once a day, I grab about 5 whole cashews and 1 date. It’s a perfect little snack!
@amyprofilefollowa work in progress; i love cats 🐱replied to@kooiprofilefollow:
My experimentation says the crunchiness of 5 cashews perfectly balances the juiciness of the date. Your mileage may vary!
@hjklprofilefollowwrote:
I'm sooo late for work so time to lock in to catch up
@hjklprofilefollowcontinued:
The results of my simulation are bullocks but I believe I know why. Rerunning with the patch now. Fingers crossed!
@kostas😈profilefollowco-founder of textlogwrote:
The strange thing about modern loneliness is that everyone is technically available.
@frprofilefollowreplied to@kostas😈profilefollowco-founder of textlog:
Similar with having access to so much critically acclaimed media, but they are so emotionally or intellectually draining that I find myself rewatching ol' familiars. Availability seems just one aspect, and perhaps not even the most limiting factor. Maybe most people have a "limit" on number of "lives", as in number of times you fall in love, change, get inspired, connect, etc..
@pcprofilefollowwrote:
the day is done! time to stop looking at the bad screen they pay me for to go home and watch the good screen I pay them for #poemnotesfollow
@geoffprofilefollowwrote:
I stopped interacting much with social media years ago and am honestly not sure how to do this any more… but I like the shape of what is starting here.
@paratonerprofilefollowreplied to@geoffprofilefollow:
likewise. Its just nice to have an "even playing field" without any perceived hierarchy or weird material incentives to perform the way you'd be pushed to on regular SM.
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearreplied to@jamesjan3profilefollowresearcher, developer, dancer:
Reminds me of the Kiwix offline Wikipedia "nopic" version. (I downloaded that version because it's much smaller than the full version that includes images.)
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@jamesjan3profilefollowresearcher, developer, dancer:
Images are fine for me, but should be behind a link, or a small thumbnail. Non-animated. Videos too. But that’s me. They will most likely have to be hosted elsewhere, while the thumb could be here. Nah. We are ok with just text.
@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.:
Yeah, before you know it the feed becomes a collection of memes. Have to click or perhaps a browser extension that you personally see the opengraph/linked image in the feed but it's not inviting people to post them for the feed itself.
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
The rho coding harness I’ve made has come along way and I’m constantly trying to evolve it, but whenever I go back to pi it’s startling the difference of what a solid computer science background brings.
@unsayprofilefollow#minneapolisnotesfollowwrote:
Current #jjnotesfollow aliases: # The canonical tug tug = ["bookmark", "move", "--from", "closest_bookmark(@-)", "--to", "@-"] # Show my current work-in-progress(es). To wip it, whip it good. wips = ["log", "-r", "bookmarks() | description(exact:'')"]
@ku🤔profilefollowHai I am kuwrote:
A #execnotesfollow n=27;s=[n] while n!=1: n=n//2 if n%2==0 else 3*n+1;s.append(n) for v in s[:15]:print(f"{v:>4} "+"█"*min(v//3,40)) print(f"{len(s)} steps, peak {max(s)}")
stdout length exceeded
@semperos😊profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
So much present tense in #ainotesfollow generated prose. Terse, authoritative sentences, without breathing room, without hesitation or qualification. It jumps off the page, and not in a good way.
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@semperos😊profilefollowPresbyter, husband, father, technologist, linguist, musician.:
What about the lack of density to paragraphs, the length of the sentences, or the confidence and determinism of their direction? Conviction with no limits. So reliably repetitive that you start seeing patterns as if you are looking and reading a record player with some scratches on it. Skips. Squeaks. Repeats. Yet. It gets the job done.
@semperos😊profilefollowPresbyter, husband, father, technologist, linguist, musician.replied to@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.:
Yet. It gets the job done. Here's where we disagree. Using these tools as part of the job, certainly. But if I am to read, discern meaning, analyze choices of diction and structure, consider the context both of the author and the audience, and finally derive value from the written word, then generative #ainotesfollow falls short on many levels. If the "job" is to produce something no one was ever intending to engage with, then we have a more fundamental question about the value of the job.
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@semperos😊profilefollowPresbyter, husband, father, technologist, linguist, musician.:
Maybe what I messaged read as a disagreement and mentioning that they get the job done was actually not about producing prose (of any quality). I wholeheartedly agreed and still agree with you. Getting the job done was more about producing output - be it some prose, images, videos, software, whatever. They do generate output. It is not to say that the output is meaningful or meaningless. Some souls do enjoy it. Some others - don’t. I did start with a question though.
@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:
Preparing for opening up an app I'm working on for a public beta. Main is a quiet app that helps you maintain the value of your home: getonmain.comgetonmain.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.
@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.replied 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.:
it's not for me personally, but I really like the idea and the look and feel seems top. Good luck.
…
@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied 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.:
Yes the og is downloaded and re-served, to avoid leaking/tracking of client information. You need to edit and save to refetch, I did it for you now.
@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@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
Oh nice, thanks!
@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:
Opened up signups and postedLinkedInMain · A quiet, well-organized record of everything that keeps your home running. | Evan MeagherI'm excited to share something I'm working on with Eric Noggle: https://getonmain.com For most people, a home is the most valuable asset that they own. And yet, homes remain chronically under-managed. Cars have service records. Portfolios have dashboards. Homes have a junk drawer full of manuals and receipts. This leads to problems that degrade a home's value over time. Deferred maintenance snowballs from small issues to emergency repairs costing thousands. And the effort you *do* put into your about Maingetonmain.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. on LinkedIn yesterday. Really strong response so far!
@unsayprofilefollow#minneapolisnotesfollowreplied 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.:
Congrats! 🎉
@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied 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.:
Good luck!