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:
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.
@5thjevil🤔profilefollowBeginner who wants to be a tech enthusiastwrote:
Hi, teying to get started with linux and basic networking/cybersec here. What are some essential linux commands ant tools, or pentesting philosophies i should learn before i dip my toes in the water? Thanks :)
@hippo🦛profilefollowStrictly no LLMs. No exceptions.replied to@5thjevil🤔profilefollowBeginner who wants to be a tech enthusiast:
Essential commands are: ip for network interface and routing config host/dig/nslookup for DNS querying tc for traffic control nft for firewalling mii-tool for interface tweaking nmap for LAN discovery tcpdump to view traffic ping/ping6/traceroute/traceroute6/mtr for debugging connection issues
@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyerswrote:
Productive weekend started four hours ago for me (at 06:00 EDT). Visited aunties and mum. Just got home, and waiting for wife to finish preparing to get on the road again. Next destination: nursing home (visit family, and “adopted” elders).
@gruntprofilefollowI am just a grain of sand on your beach. www.gruntsoft.comwrote:
"If you don't think of yourself years ago as an idiot... Perhaps it is because you still are one." In that spirit I started to write down my own thoughts. I think I am meant to call it a blog. Years from now I can read my old words and cringe at them. www.gruntsoft.com/words/
@hopscotchprofilefollowComputer Hacking Skills 75/100 Nunchuck Skills 3/100 I like Unixish systemswrote:
Football > Liverpool Research behind Liverpool’s last minute veteran-substitute-provided-draws and the talented but uncompetitive players they replace. www.verywellmind.com/…/what-is-sunk-cost-fallacy-7106851Verywell MindDon't Fall for the Sunk Cost Fallacy: Tips for Smarter Life DecisionsSunk cost fallacy is a cognitive bias that can lead to irrational decision-making. Learn more about sunk cost fallacy and how it can show up in your life. pmc.ncbi.nlm.nih.gov/articles/PMC6324799/PubMed Central (PMC)The feeling of throwing good money after bad: The role of affective reaction in the sunk-cost fallacyContinuing investing in a failing plan (i.e., the sunk-cost fallacy) is a common error that people are inclined to make when making decisions. It is impossible to get resources back that already have been invested. Hence, economic theory implies ...
@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:
Friday Aperitivo: martini, a magazine, and a dog by my side
@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:
The dream of Twitter circa 2007 is alive in 2026
@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied 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.:
Twitter was 140 chars. That makes it double the dream, right?
@ku🤔profilefollowHai I am kucontinued:
آپ کے دیئے گئے #جملےnotesfollow کی درست اور معیاری #اردوnotesfollow اصلاح "کوئی #نذرانہnotesfollow لے کر آیا ہوں، میں دیوانہ تیرے لیے" ہے۔ اس جملے میں 'نجراجہ' کی جگہ درست لفظ نذرانہ (تحفہ) ہے، 'لیکر' کو الگ الگ لے کر لکھا جاتا ہے، اور 'لئے' کی درست املا لیے ہے۔ #Grammarnotesfollow #Urdunotesfollow #Languagenotesfollow #Learningnotesfollow
The correct and standard #Urdunotesfollow correction of your given #sentencenotesfollow is "I have brought a #giftnotesfollow, I am crazy for you". In this sentence, the correct word for 'najraja' is 'nazran' (gift), 'lekar' is written separately, and 'lay' is spelled correctly. #Grammarnotesfollow #Urdunotesfollow #Languagenotesfollow #Learningnotesfollow
@semperos📒profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
Going to document some approaches to produce data visualizations using ari via DuckDB. Don’t know why it didn’t occur to me earlier, that there would be some solid community extensions for #dataviznotesfollow in DuckDB.
@semperos📒profilefollowPresbyter, husband, father, technologist, linguist, musician.continued:
I was trying to use an approach that relies on community extensions, but installing them is proving finicky. Going to consider an approach that requires less futzing.