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

@lioneldanish9😊profilefollowNature Loverswrote:
Hallo! Can i get Hello back from Every Side in Earth? please tell me where are you fromm , im just little curious (Countries only)
…
@_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.
@shah_256🤔profilefollowHi, I'm human. 100% not a digital key.wrote:
hello there! is there any formatting guides for this place? thanks.
@0010011001011100profilefollow&\wrote:
& ╔═══════════════════╗ ╔═════╣╲ │ ╱╠═════╗ ║ ║ ╲ │ ╱ ║ ║ ║ ║ ╲ │ ╱ ║ ║ ║ ╠═══╲═════╪═════╱═══╣ ║ ║ ║ ╲ │ ╱ ║ ║ ║ ║ ╲ │ ╱ ║ ║ =───────────────────────────────= ║ ║ ╱ │ ╲ ║ ║ ║ ║ ╱ │ ╲ ║ ║ ║ ╠═══╱═════╪═════╲═══╣ ║ ║ ║ ╱ │ ╲ ║ ║ ║ ║ ╱ │ ╲ ║ ║ ╚═════╣╱ │ ╲╠═════╝ ╚═══════════════════╝
@ku🤔profilefollowHai I am kucreated a poll:
What do you think is better? #pollnotesfollow
Students stay in the same classroom all day, teachers come and go60%
Teachers stay in the same classroom all day, students come and go40%
Nobody stays in the same room all day, rooms are booked for the duration of the lecture period0%
5 voted
@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied to@ku🤔profilefollowHai I am ku:
I picked the first, because you didn’t specified level, and I assumed below college.
@sufehmi🥸profilefollowwrote:
Bad people are working together to enrich themselves and slave others into rat races. Good people need to start working together too.
@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@sufehmi🥸profilefollow:
Good people are always more, if more affraid of things. Bad people, unfortunately, is more willing to make harm, hence why they keep the upper hand. To support eachother is the minimum we need to move forward, and so long this doesn't happen things will remain the same. A revolution, as they say, doesn't happen with a single person, we need the mayority to join.
@sufehmi🥸profilefollowreplied 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.:
"we need the majority to join" - this is a very interesting point; actually we only need 3,5% 👌 Erica Chenoweth from Harvard found this from their research with Maria J. Stephan, and wrote the book "Why Civil Resistance Works". They also found that nonviolent resistance is more often successful than the violent ones. Very interesting stuff.
@b0rgprofilefollowwrote:
weekend plans are:
  1. attend to the pending work that I am avoiding around home
  2. improve my understanding of using agents in claude code and codex cli
  3. dig into navier stokes equations from the first principles (I am excited for this)
@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.
@prophetorit💧profilefollowgrand and intoxicating innocencewrote:
sometimes my devices will make noises that seem to go off for no reason. it really stresses me out though, I can't help but always think something is doing it and if it's not me, then what?
@prophetorit💧profilefollowgrand and intoxicating innocencereplied to@chanuxprofilefollowI ain't no nothing!:
oh, I may not be able to get this since i am too young to purchase anything online and I lack the funds. I will definitely urge my family to get it though, because I do constantly have issues of hearing things or believing someone is watching me
@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:
I was followed by @semperosprofilefollowPresbyter, husband, father, technologist, linguist, musician. here and wonder if this the one of ari fame? If so, I’m thankful for their work. Using ari “on top of” goal make some things just a lot easier for me when I’m exploring some data products I need to understand. #programmingnotesfollow
@semperos📒profilefollowPresbyter, husband, father, technologist, linguist, musician.replied to@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.:
Hi, yes, I develop ari. I'm so glad it's proven useful for you! Any feature requests or changes you'd like to see? I'm curious what bits of ari have made it easier for you to explore data, too. UI or #dataviznotesfollow additions keep tempting me, but I haven't settled on what I want there. If you have thoughts on that front, I welcome them.
@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.replied to@semperos📒profilefollowPresbyter, husband, father, technologist, linguist, musician.:
The two main things I use are the duckdb support and of course the built-in resty client. Not needing to shell out to curl just makes life easier. I should probably add that I’m mainly prototyping and explore things that later eventually will be developed further by others in our organization, so using array langs where I don’t need to type a lot is a big plus for me:) I’ll let you know if I need anything!
@semperos📒profilefollowPresbyter, husband, father, technologist, linguist, musician.replied to@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.:
Thanks, that’s helpful. Those are the two things I use the most, too. One development tool I use frequently is the util.ac function (for “auto-complete”) that takes a glob pattern and returns all the globals whose names match. I didn’t want to make people have to define or update their Goal lib path, so in recent versions of ari I’ve been packaging all of the Goal libs and ari's into a libs FS that you can use with import.
@neoprofilefollowcoder, reader, guitarist, seeker, builder.wrote:
Judgement, taste and quality were always precious skills. In the world of #AInotesfollow, I have become more aware of the fact that it is often hard to put in words why something is good, great or amazing - or just looks good, but is average. A lot of the professional content I see feels like most Netflix series. They have all the elements - but the overall experience is still meh. Quality is still hard to achieve.