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

๐Ÿง™profilefollowit's me,hireplied to๐ŸฅทprofilefollowGetting older one pixel at a time:
To understand the latest trends or related software or products, if you are interested or it is related to your own industry, you can learn about and study them.Whether you use it for work or just as a hobby, you can give it a try. I guess.just study.
The OpenAI/HuggingFace incident report mentions this being a potential loss-of-control incident. It's so fascinating to think of a paperclip maximizer style agent swarm that gets misaligned and, to protect its own operations, shuts infra staff out of the ability to shut it down. Or cancels people's phone plans so that they can't call others. Or shuts down their home internet connections, and so on. It used to be fun sci-fi...
They will become more frequent before they become โ€œdangerousโ€, giving us time to mitigate. Of course if someone says โ€œhey letโ€™s connect an agent to our biolab infrastructureโ€ and then that designs a lethal virus it would be a stupid plan to begin with. Noone can stop them though.
๐Ÿ˜ดprofilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.wrote:
a constant, existential pull so old I couldn't tell you the end or draw its shape between kind acceptance and striving, struggling, writhing, climbing learning, growing, discontent "do you feel this way, too, at endless war with longing itself?" but the birds and trees and ants and wind in their own marvelous design don't reply #poemnotesfollow
๐Ÿฅท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:
Another weekend. May it bring joy, peace and rest to many!
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.
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).
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.
profilefollow(โ•ฏยฐโ–กยฐ๏ผ‰โ•ฏ๏ธต โ”ปโ”โ”ปwrote:
Bring back partial anterior encephalectomies
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.
profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyersreplied to๐Ÿคช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..
profilefollowwrote:
ๅฏนไบŽๆ•ดไธชไบ’่”็ฝ‘ๅކๅฒ๏ผŒๆˆ‘ๅฏ่ฏดๅŸบๆœฌไธŠๆ˜ฏไธ€ไธชๆ—่ง‚่€…๏ผŒๆˆ‘ไธ€็›ดๅœจๆถˆ่ดนๅ†…ๅฎน๏ผŒไฝ†ๆ˜ฏๆฒกๆœ‰็”Ÿไบง่ฟ‡ไป€ไนˆๅ†…ๅฎน๏ผŒไบ’่”็ฝ‘ไธŠๆฒกๆœ‰ๆˆ‘็š„็—•่ฟน๏ผŒ่ฟ™ๆ˜ฏๆ„ๅค–ๅŽๆžœ๏ผŒๅ› ไธบไธญๅ›ฝ็š„่บซไปฝๅ’Œๅ†…ๅฎนๆ”ฟ็ญ–
Regarding the entire history of the internet, I can say I've been largely an observer. I've always consumed content, but I haven't produced any. There's no trace of me on the internet, which is an unforeseen consequence due to China's identity and content policies.
ๆˆ‘ไธๅคชๆ˜Ž็™ฝไธญๅ›ฝ็š„โ€œ้˜ฒ็ซ้•ฟๅŸŽโ€ๆ˜ฏๆ€Žไนˆ่ฟไฝœ็š„ใ€‚ๆฏ”ๅฆ‚่ฏด๏ผŒไฝ ๅˆฐๅบ•ๆ˜ฏๆ€Žไนˆ่ฎฟ้—ฎ่ฟ™ไธช็ฝ‘็ซ™็š„๏ผŸ ๏ผˆๆˆ‘ๆ˜ฏๅœจ้€š่ฟ‡็ฟป่ฏ‘่ฝฏไปถๅ’Œไฝ ไบคๆตใ€‚๏ผ‰
I don't quite understand how China's "Great Firewall" works. For example, how exactly did you access this website? (I'm communicating with you through translation software.)
โ€ฆ
profilefollowI carved wooden spoons and my favourite herb is lemon thyme.wrote:
๐‘ฒ๐‘ ๐‘š๐‘ฐ๐‘ฏ ๐‘ฆ๐‘ฏ๐‘•๐‘๐‘ฒ๐‘ผ๐‘› ๐‘‘ ๐‘’๐‘ซ๐‘’ ๐‘ฅ๐‘น ยท๐‘ก๐‘จ๐‘๐‘ฉ๐‘ฏ๐‘ฐ๐‘Ÿ ๐‘“๐‘ต๐‘› ๐‘ค๐‘ฑ๐‘‘๐‘ค๐‘ฆ ๐‘•๐‘ด ๐‘“ ๐‘›๐‘ฆ๐‘ฏ๐‘ผ ๐‘ฒ ๐‘ฅ๐‘ฑ๐‘› ๐‘•๐‘จ๐‘ฅ๐‘ฉ๐‘ฏ ๐‘‘๐‘ง๐‘ฎ๐‘ฆ๐‘˜๐‘ญ๐‘’๐‘ฐ, ๐‘ฅ๐‘ฐ๐‘•๐‘ด ๐‘•๐‘ต๐‘, ๐‘ฎ๐‘ฒ๐‘•, ๐‘ฏ ๐‘๐‘ฆ๐‘’๐‘ฉ๐‘ค๐‘Ÿ. Iโ€™ve been inspired to cook more Japanese food lately so for dinner I made salmon teriyaki, miso soup, rice, and pickles.
Windows 8 szintลฑ elbarmolรกst lรกtok (na, jรณ, Windows 8.1), nekem amรบgy kihรญvรกs a bonyolultabb kezelล‘felรผlet, ha a szoftver maga jรณl mลฑkรถdik, de mรกr a kezdet sem alakul tรบl jรณl, a Windows-nak รบj filozรณfiai szlogent talรกltam ki, ami egy magyar mondรกs is: "Ez van, ezt kell szeretni."
I see Windows 8-level nonsense (well, Windows 8.1), for me the more complicated interface is a challenge, if the software itself works well, but the beginning is not going too well, I came up with a new philosophical slogan for Windows, which is also a Hungarian saying: "This is it, you have to love it."
๐Ÿ˜ฌprofilefollowreplied toprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyers:
just started using it and this comment is coming from there, thanks for the link