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

@elprimodemarxprofilefollowdeveloper stereotype: music lover, gamer, and failed artistwrote:
everytime i see projects like this, i think that a rss implementation it wolud be so cool. Although iknow that there is not that much rss lover out there haha
@_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.
@jgprofilefollowNew herewrote:
I never noticed the little halfsteps in the bassline of the verses of Rebel Yell before. It's so slinky and subconscious and makes the chorus that much more.
@tireverie🤩profilefollowwrote:
I'm so fed up with the series of tabloid articles claiming Koji was a stand-in actor in koitoki. the 'insider' seems to be part of the staff since they had access to details like the location of the wrap-up party. Idc who they are and how true their information is, the intention is obviously malicious. it's just disappointing that a person like that is blending in with the people my oshi works with, viewing him as nothing more than a subject to sell to trash tabloids.
@tireverie🤩profilefollowcontinued:
​the fact that these articles completely contradict official content is reason enough to ignore them. for instance, the article claimed Koji wasn't as cheerful as usual, yet the crank-in footage with Mone-chan was filled with laughter, and she even explicitly called him the mood maker of the set. they also claimed he joined filming late, contradicting the fact that they all met at the initial script reading. plus, on sunomanma, Raul even mentioned seeing the original drama proposal early on.
@tireverie🤩profilefollowcontinued:
an official article from the director confirming he sent the offer to Koji after seeing his performance in 'fake mommy' is the only thing we should believe. behind-the-scenes details that aren't officially shared shouldn't be treated as truth. I don't understand why they're so persistent about how Koji got the role. why not direct that focus toward the one prominent cast member with a history of racism and misogyny? that's the only valid reason to feel uncomfortable about this drama.
@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:
Built a couple lambdas today to send account verification and onboarding drip emails for folks who sign up for my app but don’t make it all the way through the onboarding flow. Pretty cool to be able to quickly bang out self-contained infra for this instead of having to pay some SaaS vendor.
@semperos📒profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
Many leaders acquire authority through ambition and manipulation. I’m not referring to them. But a test of leadership for those who acquire authority organically, with the will of those being led, is to maintain the zeal and principles which put you into that position, after you encounter the machinery designed to exhaust, exasperate, deter, and demoralize.
@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:
Vår konges livsgjerning går mot slutten, landet samler seg for å ta farvel med en konge som har vært samlende og god for landet. Må Gud velsigne hans minne og hans etterfølger. #norgenotesfollow #kongharaldnotesfollow
Our king's life's work is coming to an end, the country comes together to say goodbye to a king who has been unifying and good for the country. May God bless his memory and his successor. #norwaynotesfollow #kongharaldnotesfollow
@jamesjan3profilefollowresearcher, developer, dancerwrote:
just started using yazi and immediately love it. dont know why i ever put up with gui file explorers
@klumbering🤡profilefollowFirst thing to say is, I hope the owners of Chatgpt Claude Gemini and Others gets bloodeagled for making their unwanted baby, anyways Hello =)wrote:
why the hell did youtube add gifs to comments this change is top 10 worst changes of all time
@gruntprofilefollowI am just a grain of sand on your beach. www.gruntsoft.comwrote:
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.
@miq☕profilefollowEternal disciple of impostor syndrome ∙ Perth, WA.wrote:
Nudged by an interesting read about time perception to try reclaim moments where I can deliberately feel bored again.
@tel😴profilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.wrote:
I've been on a kick lately of trying to visualize the oscillating clock, and ultimately the effectively arbitrarily complex activity of a computer processor, as modern refinements of the line shaft factory of the 19th century. Of compute as being not much more than profoundly refined "work" delivered by the electrical grid into marvelously complex machines. Does that, as a metaphor at least, feel as important to you as it has to me of late? We spend so much time in a world abstracted.
@gherleinprofilefollowMaker and Builder. Cloud, embedded systems, video, telephony, radio, electronics, linux, whatever. blog.herlein.comwrote:
anyone else seriously into agentic loop development?
@hmnt_bazookaprofilefollowYear 4 CS. Like tech, systems, game devreplied to@gherleinprofilefollowMaker and Builder. Cloud, embedded systems, video, telephony, radio, electronics, linux, whatever. blog.herlein.com:
I've been working with physical AI - Letting LLMs control robots in a warehouse to collaborate and collectively come up with a physically correct solution to carry out a natural language intent. We had to study the reactive nature of agents, nudges they required, etc.
@hmnt_bazookaprofilefollowYear 4 CS. Like tech, systems, game devreplied to@gherleinprofilefollowMaker and Builder. Cloud, embedded systems, video, telephony, radio, electronics, linux, whatever. blog.herlein.com:
haha that's a coincidence. Site looks awesome. The moving away from ROS2 part is so true. One of our main potential customers for physical AI solutions (a telecom provider in JP) communicated the need for agents to be able to pick up controls from any vendor
@hmnt_bazookaprofilefollowYear 4 CS. Like tech, systems, game devcontinued:
I apologize if that sounded obvious/non-obvious/amateurish haha. I was an intern and worked more on the agentic side of things, it was just a non-primary experiment
@derblitzmann💀profilefollow10+ years Seattle based software engineer.wrote:
Recently hit 10+ years (cumulative) of being a software engineer. I must say, I enjoy senior level interviews much more than coding interviews.