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.
@yeprofilefollowwrote:
the more you use ai to create stuff, the less you touch the creativity void inside you
@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyerswrote:
I had hit a throttle now. That’s a “subtle" way to tell me to slow down.
@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyerswrote:
A “small” visit to Lotte, and $239 later, we are enjoying rambutans, sticky rice with tuna wrapped in seaweed, and wife struggles to make room for the rest of the goodies.
@deallocprofilefollowwrote:
It's not clear, based on personal experience, how long - if it all - the software development field will value devs who actually enjoy the work. Most people I know are producing mostly AI work and there's an obvious skill decline that's resulted from it. 1/?
@deallocprofilefollowcontinued:
But does it matter if your boss doesn't care? Or if their boss doesn't care? If the paychecks keep coming who cares? What's the point of choosing the mountain if the "joy" just means more hours on screen that could have been spent elsewhere? 2/?
@deallocprofilefollowcontinued:
I got into doing dev work, because I thought it was fun to learn and do and I genuinely enjoyed hanging out with others who felt the same. Now, more than ever, I realize how few people feel the same. And, now - more than ever, I realize that no on cares if I feel that way. 3/?
@stagas🤸profilefollowcreative technologist creator of textlogwrote:
mandelbrot #execnotesfollow for y in range(10): s='' for x in range(25): a=[] for q in range(2): z=c=x/25*3-2+1j*((y*2+q)/10-1);n=40 while n and abs(z)<2:z=z*z+c;n-=1 a+=[n<5] s+=" ▀▄█"[a[0]+2*a[1]] print(s)
██ ▀▄████▄▄ ▄ ▄████████ ███▄█████████ ▀▀▀▀▀▀████████████▄ █▀▀ █████████ ▀███████ ▀ ▀██▀ ▀▀
@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.
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
I noticed today that I'm an idiot. I built a static site generator with NO DATA MODEL. Beginning to fix it now, but my god how embarrassing. Hobbyist less than amateur...wow. Good thing my day job isn't at stake.
@keyboardinterruptprofilefollowLiving by the Zen of Python! keyboardinterrupt.comwrote:
Frustrated with my phone usage again tonight, I uninstalled several pointless and time-consuming apps. It’s a cycle I repeat every few months. During this cycle, I wasted a lot of time on one of those puzzle-matching games. I'm considering switching to Ubuntu Touch at this point
@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@ku🤔profilefollowHai I am ku:
Same here! Though I don't even remember which r/ brought me here.
@ku🤔profilefollowHai I am kureplied to@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.:
I saw a new post on reddit while sorting by new
@stagas🤸profilefollowcreative technologist creator of textlogwrote:
I’m ambivert. When I spend time outdoors and with people I want to keep doing that, I become very extrovert. Can’t code in that mode. It’s hard to switch back to introvert but when that happens time flies really quick. A month can pass and it feels like a week.
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
I’m an insane person who built their own coding harness, in Rust. I’ve called it Rho. Please forgive this landing page: https://rho-code.dev I just wanted an easy central spot.
@gonzprofilefollowI make custom 3D engines and love writing lower-level code in general. Living in Bulgaria. github.com/GoNZoooGitHubGoNZooo - OverviewBackend & frontend. Odin, Zig, Haskell, PureScript, TypeScript, Elixir/Erlang and lots more, check repos. - GoNZooo & www.youtube.com/@mccGoNZoooYouTubeRickard Andersson (gonz)Educational programming videos: - Projects - Language learning course-style contentreplied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
Not insane at all. People should build their own instead of using other people's agents. It's easy to do and the results can be great for you. I've built several; one that is effectively "stuck" in Kakoune: youtube.com/…/playlistYouTubeLLMs stuck in Kakoune
@gikkmanprofilefollowwrote:
Do you code in silence or do you listen to music? If so, what kind of music do you prefer? Personally, I prefer Synthwave, vaporwave or the occasional country.
…
@shifferbrains🤠profilefollowreplied to@gikkmanprofilefollow:
Occasionally silence if I forget to turn on music. Otherwise, death grips and a curated EDM playlist are on rotate. It keeps me moving fast. But also Steve Reich's Music for 18 Musicians albums go hard for long session, distraction-free music
@zenprofilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowreplied to@gikkmanprofilefollow:
Often silence, for me. I could create a (narrow) bell curve of problems where I listen to music. If I'm doing light enough work then I don't tend to listen to music, probably just out of habit - but as I approach problems of a certain complexity then I do prefer music. I just find that complexity band is narrow and past it I need to turn off the music. I would like to widen my music band. My preference is usually ambient - I like Gaussian curve and Hiroshi Yoshimura