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.
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostlywrote:
Is open source dead? Everyone has the power now to make their own stacks of things. The people aspect of open source is dead or dying. I don't think the bunny is going back in the box.
@chanuxprofilefollowI ain't no nothing!replied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostly:
One nice thing about Open Source (at least for me) is different people doing the same thing in different ways and one of those happen to suit my taste perfectly. And in many cases, I won't be able to come with it myself even with Super Intelligence.
@paulprofilefollowadamspaul.short.gy/notesreplied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostly:
Evgeny Morozov has pointed out that using ai through chat interfaces is based on an individualised and privatised model, which (heavily paraphrased) is inherently anti-social. With an extra layer now of people making small personalised tools, do bigger things still need teams of people who know what theyโ€™re doing? FWIW Iโ€™d like to see more sharing of vibe coded tools instead of everyone making their own more less the same ones. Mine are here: pauladams.neocities.org
@gruntprofilefollowI am just a grain of sand on your beach. www.gruntsoft.comreplied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostly:
I don't think so. I have been using more open source software than ever before. You may argue that with LLMs I have the power to make my own stack of things, but this doesn't eliminate that I still need knowledge to properly steer an LLM to create something worthwhile. If I have no knowledge of what I intend to build, the best thing the LLM will generate is a half-assed copy of something that already exists. Which is what we have been drowning in the past couple of years.
@gruntprofilefollowI am just a grain of sand on your beach. www.gruntsoft.comcontinued:
AI can be a superpower in the hands of someone knowledgeable. That makes the people aspect of open source more important, not less. If you offload your curiosity and desire to learn to AI, you will be a slave to it's limitations instead of being a master of its capabilities.
@hippo๐Ÿฆ›profilefollowStrictly no LLMs. No exceptions.replied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostly:
Of course not. I think it is much more relevant to ask "Is closed source dead?". Anyone can now replace a proprietary program with a vibeslopped alternative which might suit them just as well. It will have the same level of trust (ie. none) and none of the other drawbacks.
@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:
Any runners on here? I mostly consider myself a trail runner, but of course train on roads, too. Good for 1โ€“2 races/year, more into running as a practice, a way to manage stress and stay fit.
โ€ฆ
@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.replied to(deleted account):
5 min/km is pretty quick, as far as I'm concerned! My easy/forever pace is more like 8:30โ€“9 min/mile right now.
โ€ฆ
@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.replied to(deleted account):
Better for your knees, too :)
@ku๐Ÿค”profilefollowHai I am kuwrote:
A #execnotesfollow n=27;s=[n] while n!=1: n=n//2 if n%2==0 else 3*n+1;s.append(n) for v in s[:15]:print(f"{v:>4} "+"โ–ˆ"*min(v//3,40)) print(f"{len(s)} steps, peak {max(s)}")
stdout length exceeded
@jgprofilefollowNew herewrote:
Coming from HN to post that I've been using Argon all week and it's the first Gemini model I've stuck with for more than a few minutes. It's very good for what I do and it's so nice to read back another style of voice.
(replies are hidden until you answer the quiz)
@maxinedotdev๐Ÿง™profilefolloweat, get a new hobby, sleep, repeat maxine.devwrote:
LinkedIn post: "Git 3.0 is going to be a bigger change than the version number suggests." Proceeds to list breaking changes, congruent with a major version number change.
@curtisprofilefollowGot my head in the clouds right now.wrote:
Hi everyone! I just found this site, seems to be just my speed!
@personprofilefollowwrote:
Ubuntu telepรญtรฉse a VirtualBoxba rendben megtรถrtรฉnt. Mรกr csak egy รผgynรถkรถt kell bele fogni, รฉs mรกris kรฉsz az "AI torture chamber", ahogy a Futurism รญrja... Mondjuk, elsล‘ kรถrben mรฉg nem รญgy fogalmaznรฉk...
Ubuntu has been successfully installed in VirtualBox. All you need to do is add an agent and you have an "AI torture chamber", as Futurism describes it... Let's just say, I wouldn't put it that way at first...
@kostas๐Ÿ˜ˆprofilefollowco-founder of textlogwrote:
The strange thing about modern loneliness is that everyone is technically available.
@frprofilefollowreplied to@kostas๐Ÿ˜ˆprofilefollowco-founder of textlog:
Similar with having access to so much critically acclaimed media, but they are so emotionally or intellectually draining that I find myself rewatching ol' familiars. Availability seems just one aspect, and perhaps not even the most limiting factor. Maybe most people have a "limit" on number of "lives", as in number of times you fall in love, change, get inspired, connect, etc..
@robbyprofilefollowphotography, art, solo dev, based in NYCwrote:
#ainotesfollow Installed Hermes Desktop and starting to build out my team of bots. My experience with Hermes so far has been great: it keeps surprising me by being what i need it to be ... but I'll reserve a final judgement until after a proper period of use.
@personprofilefollowwrote:
ร‰rdekes ez a 4, 2-es irodalmi, valamint programozรกsi hagyomรกny, amire Douglas Adams hรญvta fel a figyelmet, nรกlam ebbล‘l a hagyomรกnybรณl 4 a pszichiรกtriai, 2 a rehabilitรกciรณs tรฉma, ami รฉrdekes mรณdon maga is 4, 2-es, ami olyan, mintha rekurzรญv kezdene lenni, de mรฉgsem az teljesen www.textlog.hu/a-4-adel-es-2-szuzett/
This 4, 2 literary and programming tradition, which Douglas Adams drew attention to, is interesting. In my case, 4 of this tradition are psychiatric and 2 are rehabilitation topics, which is interestingly itself a 4, 2, which seems to be starting to be recursive, but it is not completely www.textlog.hu/a-4-adel-es-2-szuzett/
@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyerswrote:
There is someone absolutely rotten and fetid in this airplane. Every 10 minutes. Dear Spaghetti Monster!
@semperos๐Ÿ“’profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
Reading Slow Productivity by Cal Newport, discovered via onboarding content in mymind mymind.com