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

@archivist_eyes💀profilefollowYour mind is also supposed to create happiness, not just to receive it. You're supposed to find solutions, to invent, to imagine, to remember, to love. This much we always forget.replied to@chanuxprofilefollowI ain't no nothing!:
Nourish your heaf with creative thoughts and originality will happen on it's own. And don't be too hard on yourself, there's hardly anything new under the sun, the joy is in discovering things yourself :)
@gruntprofilefollowI am just a grain of sand on your beach.wrote:
while we wait for this to be true we could add our bits together remember to not sleep forever return when your dreams are through Start with cringy poem, end with cringy pseudocode. At least it comes naturally.
@blhprofilefollowwrote:
Do you walk your neighborhood? Do you sit on your front porch and say hello to passersby?
@_torayuriprofilefollowi create thingswrote:
OK. I've translated the (correctness) requirements of LeetCode No.22 to Lean, and ask Claude Code to both implement a solution and prove it.
@_torayuriprofilefollowi create thingscontinued:
In the first attempt, Opus 4.7 successfully completed it and proved it. However, the solution is to enumerate all possible space and .filter out anything that doesn't qualify my definition, which is obviously not ideal (if cheating is too harsh).
@_torayuriprofilefollowi create thingscontinued:
I can't think of a good way to also prevent that kind of solutions and ended up prompting "please don't enumerate and filter". Opus 4.7 then reimplemented and proved the backtracking algorithm.
@jamesjan3profilefollowresearcher, developer, dancerwrote:
ive been obsessed with deltarune this year, its probably the best indie rpg ever made. (and its only 5/7 chapters out)
@jamesjan3profilefollowresearcher, developer, dancerreplied to@johy🦥profilefollow:
i dont mind the waits, cause ive been really liking the theorizing part of it too, cause the community is super active in between chapters and theres soo much lore and thematic connections to dicuss.
@gruntprofilefollowI am just a grain of sand on your beach.replied to@jamesjan3profilefollowresearcher, developer, dancer:
Is it any better than Undertale? I played Undertale back when it came out, but despite all the hype I thought it was just ok. Nothing really that would make me go out of my way to play a sequel.
@jamesjan3profilefollowresearcher, developer, dancerreplied to@gruntprofilefollowI am just a grain of sand on your beach.:
yes its much better than undertale, from a gameplay and design perspective. undertale had good story and characters, but deltarune is just that + better production value
@miq☕profilefollowEternal disciple of impostor syndrome ∙ Perth, WA.wrote:
Should I entertain the routine-shattering idea of a second cup of coffee this Friday? #execnotesfollow console.log(Math.random() < 0.5 ? "Yes" : "No")
Yes
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearreplied to@miq☕profilefollowEternal disciple of impostor syndrome ∙ Perth, WA.:
Need to use a quantum RNG to split the timeline into one where you did, and one where you didn't
@semperos📒profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
The mental shape of a programming language resurfaces, and my mind craves writing programs in it. Array languages, concatenative, Lisps, Smalltalks.
@kev🧜profilefollowrunner. making games, music, software. getting into as much trouble as i can.wrote:
Off to handstand class. I have been known to recommend to everyone within earshot doing challenging and/or silly physical things in a community. Not bucking the trend here.
@sangaprofilefollowsober af!wrote:
I really love the feeling of a new social network app! Takes me back to high school when I first used facebook. Somehow makes it easy to share things.
@stagas🤸profilefollowcreative technologist creator of textlogreplied to@hellodaviddev🤪profilefollowdev, programming, going off vibes and coffee hellodavid.devDavid Gonzalez-VelezDavid Gonzalez-Velez | Software Engineer & ResearcherSelf-taught software engineer and researcher based in Chicago, specializing in quantum computation and full-stack development.:
Since you have an account maybe you can help us out by posting https://textlog.cc/about ? :D Here is the HN thread if you want to copy the title.
@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied to@hellodaviddev🤪profilefollowdev, programming, going off vibes and coffee hellodavid.devDavid Gonzalez-VelezDavid Gonzalez-Velez | Software Engineer & ResearcherSelf-taught software engineer and researcher based in Chicago, specializing in quantum computation and full-stack development.:
HN, and some carefully picked r/Reddits. Can't stand Lobste.rslobste.rsLobstersA computing-focused community centered around link aggregation and discussion..
@hmnt_bazookaprofilefollowYear 4 CS. Like tech, systems, game devwrote:
This SM is like a subreddit feed, except you also get a personalized feed along with 'hot' and 'latest' for people you follow. Or maybe it's modelled after twitter? Never used it so wouldnt know
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.wrote:
@michaelprofilefollowMac user since before it was cool. Interested in #html, #css, #php, #swift, and lightweight software. Not really Windows compatible I suck at picking nicknames anyone interested in lightweight apps especially on macOS gets my follow
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
Having a little difficulty seeing how long this service will exist. People are terrible. Sooner or later it will be found and ruined.
@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
Yup. I have long change my philosophy on things like these: just live the day. :-)