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

Watched the Daily Show bit about AI this week, my wife found the interview with the whistleblower guy really depressing. That interview dramatically undersold that all the sketchy hacking shit that's happening right now is coming from 1 company.
๐Ÿ˜…profilefollowmaker of software thingswrote:
Anybody here using mastodon regularly? What instance are you on? I can't decide on where to register ๐Ÿ˜…
๐Ÿ’งprofilefollowgrand and intoxicating innocencewrote:
i always have to resist dream futures that are way out of my league. no, Orit no! you can't be a priest your a girl!!!! noo!!! you can't be a cardinal either, stop!!
๐Ÿ’งprofilefollowgrand and intoxicating innocencecontinued:
oh,and what a shame it is! burning some incense at my altar and trying to climb the religious ladder! sigh...
profilefollowex-perl programmer, linux userwrote:
let's see how arabic letters are rendered here: ุจุณู… ุงู„ู„ู‡ ุงู„ุฑุญู…ู† ุงู„ุฑุญูŠู…
Let's see how Arabic letters are rendered here: ุจุณู… ุงู„ู„ู‡ ุงู„ุฑุญู…ู† ุงู„ุฑุญูŠู…
๐Ÿฆprofilefollowlate is the hour in which this conjuror chooses to appearwrote:
Guess we're doing Halloween stuff on sale everywhere now ๐ŸŽƒ
profilefollowgrocer-engineer and polynomial enjoyer. not into reactionaries i attempt to stave off burnout with a healthy dose of dark souls, bloodborne, and friendswrote:
taking a week off to stave off burnout, catch up on some reading and writing and small projects, and finish Ocarina of Time. also will make soup
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.wrote:
Zik is my pet project - a photos manager that is as fast as possible and as small as possible. It leaves sparks as it goes (lol jk) #ziknotesfollow
โ€ฆ
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to๐Ÿคธprofilefollowcreative technologist creator of textlog:
Unfortunately no. Just starting it. Got the proof of concept loading a dir with its sub-dirs then rendering on the GPU in textures silky smooth. 1.7mb executable, but will need to level up to SDL and that will double the size I think.
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied toprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyers:
I agree. It is #zilchnotesfollow for now. Will do better next time, but in my defence the text above the text box (when writing a new message, not a reply) says โ€œWhatโ€™s on your mindโ€. :-P
profilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
Switching from Claude Max to Team, cc was trivial, just another login, but Claude Desktop and on iOS holds sessions in the cloud so need to move them somehow.
๐ŸŒŒprofilefollowะ˜ั‰ัƒ ะฒ ะธะฝั‚ะตั€ะฝะตั‚ะต ะฟั€ะพัั‚ั€ะฐะฝัั‚ะฒะพ, ะฝะฐะฟะพะผะธะฝะฐัŽั‰ะตะต ัั‚ะฐั€ั‹ะน ะดะพะฑั€ั‹ะน Twitter. ะœะพะถะตั‚ ัั‚ะพ ั‚ะพ ัะฐะผะพะต?wrote:
ะŸั€ะธะฒะตั‚! ะขัƒั‚ ะตัั‚ัŒ ะบั‚ะพ ะถะธะฒะพะน?
Hello! Is anyone alive here?
profilefollowI ain't no nothing!replied to๐ŸŒŒprofilefollowะ˜ั‰ัƒ ะฒ ะธะฝั‚ะตั€ะฝะตั‚ะต ะฟั€ะพัั‚ั€ะฐะฝัั‚ะฒะพ, ะฝะฐะฟะพะผะธะฝะฐัŽั‰ะตะต ัั‚ะฐั€ั‹ะน ะดะพะฑั€ั‹ะน Twitter. ะœะพะถะตั‚ ัั‚ะพ ั‚ะพ ัะฐะผะพะต?:
We are on the dead Internet!
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.
The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.
๐Ÿค”profilefollowHai I am kuwrote:
So we can't use em dash anymore โ€” lest we anger the mob. Truth be told though, English teachers have always discouraged em dash overuse because it is a subtle art and very easy to get wrong.
โ€ฆ
The funny thing is that in the UK, we don't really use the em dash anyway. We use the hyphen (I guess en dash?) with a space each side. So the em dash has always looked a bit odd to us... ๐Ÿ˜Š
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to๐Ÿ˜Šprofilefollow:
There are dashes (-), as well as en dashes (โ€“), and there are em dashes (โ€”), not to miss the mighty center dot (โ€ข) that looks like a perky boob when surrounded by brackets haha
๐Ÿฅท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๐Ÿค”profilefollowHai I am ku:
Just get and read Chicago Manual of Style, or Oxford Style Manual if you so prefer, and youโ€™re all set to use the various dashโ€™es (and many other things).
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to๐Ÿค”profilefollowHai I am ku:
Thereโ€™s other dashes to pick if you want to steer clear of the almighty em dash!
๐Ÿ˜Žprofilefollowreplied to๐Ÿค”profilefollowHai I am ku:
The anti-slop mob is tiresome. With a careful and appropiate use of ai it is possible to make a lot of interesting stuff. And I hate even more when the mob "profs" that the text is ai using those ai detectros that can't detect ai.
๐ŸฅธprofilefollowJust another AI guywrote:
Got a bunch of things to do, hate procrastination, any advice is welcome
profilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.replied to๐ŸฅธprofilefollowJust another AI guy:
Determine what matters most and make a list of the no more than 7 things. Do one thing well at a time, top down. Reprioritise as you learn more. Notes:
  1. If you half-arse a task and decide that'll do, it's evidence it wasn't the right priority. Learn.
  2. Any sort of productivity, multi-tasking, app, solution type thing is a scam or a money grab and isn't needed.
  3. People tend to remember 7 things well, but struggle with longer lists and particularly fail to remember things in the middle.
"how to use our time properly. i need to improve my productivity." Why do you need to improve your productivity? is capitalism not getting enough from you? as you get old you will start regretting the time when you went the extra mile to burnout yourself so someone else can be rich... money will never give you back healt... Durden words "slaves with white collars, advertising has us chasing cars and clothes, working jobs we hate so we can buy shit we don't need"