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.
@r00t๐Ÿ’ฃprofilefollowOSINT, geopolitical threat monitoring, cartography, cryptography, clandestine covert operations, corporate/political espionage, oh I'm a patriot alright, but who's?wrote:
Monitoring the situation
@kidk๐Ÿ˜คprofilefollowwrote:
Been sorting packages all evening. I don't work for the post office. I do this for fun, I think. Maybe I just like to automate things and make them perfect. #gamesnotesfollow store.steampowered.com/โ€ฆ/Parcel_Simulator/store.steampowered.comSave 30% on Parcel Simulator on SteamInspect and process parcels and packages in this parcel inspection simulator! Receive and sort deliveries, examine labels for mistakes, and automate to maximise warehouse efficiency. Upgrade and expand your warehouse to build your parcel empire!
@personprofilefollowwrote:
Reggel egy kicsit letรถrรถltem a kis Gemmรกnak a csatolt rรฉszeit a szรกmรญtรณgรฉprล‘l, mert mรกr kezdett elegem lenni a hลฑlyesรฉgeibล‘l, mire apรกm azt mondta, hogy "van egy hapsi az interneten", aki hรบsz รฉve ezzel foglalkozik nem tudom, ha nem tลฑnt volna fel, รฉn is ezt csinรกlom amรบgy.
This morning I was deleting a little of Gemma's attachments from the computer because I was starting to get tired of her antics, and then my dad said, "There's a guy on the internet" who's been doing this for twenty years, I don't know, if he hadn't noticed, I'd be doing the same thing anyway.
@bobbyprofilefollowwrote:
just finished the book โ€œThis is what inequality looks likeโ€ by Teo You Yenn. will gather my thoughts and write more about it.
@jgprofilefollowNew herewrote:
Last weeks post about "if you're not using an LLM router, how do you know wtf is going on" inspired me to spin up a couple of OSS options this week and wow were they right.
@ku๐Ÿค”profilefollowHai I am kuwrote:
Longer answer: My editor does not start wars. I use whatever is convenient. Most of the time I am on visual studio code but I'll use anything. Well, anything except emacs I guess. I don't think I have ever actually used emacs.
(replies are hidden until you answer the quiz)
@semperos๐Ÿ“’profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
Gloriously cool, clear morning here in the Lowcountry of South Carolina โ˜€๏ธ ๐Ÿ˜Œ
@candlewaxscribe๐Ÿ˜ŠprofilefollowNew here, wanted to try textlogwrote:
Hello! Is anyone else trying local AI? Im dont know what im doing but lately ive been trying "Llama 3,2 3b instruct q5km" on my phone and its been surprisingly good. #ainotesfollow
@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@candlewaxscribe๐Ÿ˜ŠprofilefollowNew here, wanted to try textlog:
If you have Mac, you might check out this app: blaizzy.github.io/nativ/
@jamesjan3profilefollowresearcher, developer, dancerreplied to@candlewaxscribe๐Ÿ˜ŠprofilefollowNew here, wanted to try textlog:
i think the best you can get right now is qwen 3.8 27B. youre gonna need 24 gigs of some fast memory though, i heard theres decent quantizations that can also make it run on 16. im quite excited about open/local models, but theres big investment overhead with the prices right now
@keitachikawa๐Ÿ˜Žprofilefollowaeres-u99 on github, CodeAtlas \o/replied to@candlewaxscribe๐Ÿ˜ŠprofilefollowNew here, wanted to try textlog:
You might be able to try out colibri, its quite good and the models are a bit better. I am unable to connect any of the cli agents to do things with it though, probably due to context limits, but try it out. OlMoe is the lightest
@stagas๐Ÿคธprofilefollowcreative technologist creator of textlogcontinued:
It didnโ€™t work out, we found competition offering the same service for free so the #ideanotesfollow fell apart. Need to find something else to do as a side project to textlog. ๐Ÿ˜• Thinking of a code editor thatโ€™s focused on the new agentic workflows, so you have it on the side regardless of your agent tools and it monitors the git diff and offers a nice panorama view. Iโ€™ve done an extension for VSCode similar to this idea.
@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@stagas๐Ÿคธprofilefollowcreative technologist creator of textlog:
Good outcome! Better to bail early and avoid toiling on a doomed idea. I'm always afraid of this ๐Ÿ˜…
@pcprofilefollowwrote:
When I was 10, I thought I'd be a scientist I wanted to tinker in a lab, doing something with beakers and bunsen burners Making a difference. As an adult, I sit in meetings and discuss who to fire next I tinker with spreadsheets, doing something with LLMs and JIRA Be enthusiastic #poemnotesfollow #aifearnotesfollow
@sodapopcanprofilefollowMillenial/Xenial who used to be really excited about programming.replied to@pcprofilefollow:
As young kid I dreamed of working with reel-to-reel machines Cutting/splicing tape, happy accidents As a teen I couldn't afford reel-to-reel but got decent with multi-track cassettes Everyone was telling me digital was The Way (tm) In my 30s, I finally learned how to use a DAW properly In my 40s, I'm back to playing around with multi-tracks cassettes There is no money in it, but I'm enthusiastic as I can be (this is not so much as direct response as simply a response) #musicnotesfollow #aifearnotesfollow
@davidprofilefollow๐ŸŽ A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.wrote:
Which Linux distribution do you like the most, and why? Follow the previous with your favourite desktop environment.
โ€ฆ
@ku๐Ÿค”profilefollowHai I am kureplied to@pqs๐Ÿคชprofilefollow:
Same here except I landed on fedora with default gnome desktop. The old desktops I ssh into are Debian though. Edit: spelling fix I to -> into
@melting_coffee_mug๐Ÿค”profilefollowreplied to@davidprofilefollow๐ŸŽ A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.:
Arch Linux with KDE. I like that Arch comes with nothing and is pretty vanilla. No bloat, and customisable. No major upgrades where 5 things break at once. Install once, and it's fine until the device has to be replaced. Only then usually do a fresh install. It's up to date, still pretty boring, and you learn a bit in the process.
@hris_deb๐Ÿค”profilefollowreplied to@davidprofilefollow๐ŸŽ A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.:
i distro hoped a lot. Finally i found my cozy home with debian with kde. 3 years still running without a problem all the software i use works perfectly and the games run smoothly.
@keitachikawa๐Ÿ˜Žprofilefollowaeres-u99 on github, CodeAtlas \o/replied to@davidprofilefollow๐ŸŽ A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.:
Arch with i3, have been using it for like 7-8 years now. Started out at elementary os, really good and everything, but the thing where I dont need to install *-dev libs separately saves me a lot of time during compilations and building. Also, AUR is a life saver at times.