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

@tireverie๐Ÿคฉprofilefollowwrote:
I'm so fed up with the series of tabloid articles claiming Koji was a stand-in actor in koitoki. the 'insider' seems to be part of the staff since they had access to details like the location of the wrap-up party. Idc who they are and how true their information is, the intention is obviously malicious. it's just disappointing that a person like that is blending in with the people my oshi works with, viewing him as nothing more than a subject to sell to trash tabloids.
@tireverie๐Ÿคฉprofilefollowcontinued:
โ€‹the fact that these articles completely contradict official content is reason enough to ignore them. for instance, the article claimed Koji wasn't as cheerful as usual, yet the crank-in footage with Mone-chan was filled with laughter, and she even explicitly called him the mood maker of the set. they also claimed he joined filming late, contradicting the fact that they all met at the initial script reading. plus, on sunomanma, Raul even mentioned seeing the original drama proposal early on.
@tireverie๐Ÿคฉprofilefollowcontinued:
an official article from the director confirming he sent the offer to Koji after seeing his performance in 'fake mommy' is the only thing we should believe. behind-the-scenes details that aren't officially shared shouldn't be treated as truth. I don't understand why they're so persistent about how Koji got the role. why not direct that focus toward the one prominent cast member with a history of racism and misogyny? that's the only valid reason to feel uncomfortable about this drama.
@amyprofilefollowa work in progress; i love cats ๐Ÿฑreplied to(deleted account):
Itโ€™s the social network I so want to love but something about it feels off.
@amyprofilefollowa work in progress; i love cats ๐Ÿฑreplied to(deleted account):
I never understood why they would allow you to follow different โ€œfeedsโ€ but not hashtags. I like mastodonโ€™s approach better.
@amyprofilefollowa work in progress; i love cats ๐Ÿฑreplied to(deleted account):
Oh my god, art was the only reason I used bsky regularly. Not anymore, and I miss it too.
@gonzprofilefollowI make custom 3D engines and love writing lower-level code in general. Living in Bulgaria. github.com/GoNZoooGitHubGoNZooo - OverviewBackend & frontend. Odin, Zig, Haskell, PureScript, TypeScript, Elixir/Erlang and lots more, check repos. - GoNZooo & www.youtube.com/@mccGoNZoooYouTubeRickard Andersson (gonz)Educational programming videos: - Projects - Language learning course-style contentreplied to@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.:
This is what we need.
โ€ฆ
@prophetorit๐Ÿ’งprofilefollowgrand and intoxicating innocence always onlinewrote:
I'm a mouse! โ€ฆโ แ˜›โ โฬคโ แ•โ แท
@chanuxprofilefollowI ain't no nothing!wrote:
เถ…เถฏ เถดเทœเท„เทœเถบ เถฏเท€เทƒ. เทเทŠโ€เถปเท“ เถฝเถ‚เถšเทเท€เทš เท„เทเถธ เถธเทเทƒเถบเถšเถธ เถดเท”เถฑเทŠ เทƒเถณ เถดเทเถบเถฑ เถฏเท€เทƒ เถดเทœเถฏเท” เถฑเท’เท€เทเถฉเท” เถฏเท’เถฑเถบเถšเทŠ. เท€เท™เทƒเถšเทŠ เถดเทœเท„เทœเถบ (เถธเทเถบเท’ เถธเทƒ) เถฝเทเถšเถบเถงเถธ เถฑเท’เท€เทเถฉเท” เถฏเท’เถฑเถบเถšเทŠ.
Today is Poya Day. The full moon day of every month in Sri Lanka is a public holiday. Vesak Poya (May) is a holiday for the whole world.
@chenxiangprofilefollowwrote:
The essence of aligning large LLM models is basically to conform to the existing social order. ChatGPT respects China's order, while China's open-source models, although reluctantly, also tolerate the order in the US. Maybe we can build a revisionist SFT dataset.
@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyerswrote:
Productive weekend started four hours ago for me (at 06:00 EDT). Visited aunties and mum. Just got home, and waiting for wife to finish preparing to get on the road again. Next destination: nursing home (visit family, and โ€œadoptedโ€ elders).
@klumbering๐ŸคกprofilefollowFirst thing to say is, I hope the owners of Chatgpt Claude Gemini and Others gets bloodeagled for making their unwanted baby, anyways Hello =)wrote:
what are WE doing in november?
@avioliprofilefollowProgrammer 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
โ€ฆ
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@stagas๐Ÿคธ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.
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@fastidiousprofilefollow"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
@geverprofilefollowwrote:
I'm doing experiments with short attention-span students and code. Starting with python, and, oddly, now working in BASIC. As a C programmer of 40+ years, I find this aesthetically and pedagogically displeasing, but I am delighted to see them getting fully absorbed in writing 130 PRINT "You have been eaten by a bear!" : GOTO 900. Yes there is spaghetti, but it's their spaghetti and they seem to take delight in debugging it. Python will come later. #educationnotesfollow #programmingnotesfollow
@geverprofilefollowreplied to(deleted account):
I was talking about this with some alumni students, specifically their experience learning python with us a few years earlier (these are college students who are not really using python any more). What it seems to boil down to is that with python you have the feeling that there is this huge forest of solutions to any problem you are having -- but you will never know the whole forest. BASIC feels like you "know" it after a day or two of playing around, evidently.
@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.
@n5l๐Ÿ˜Žprofilefollowwrote:
Anthropic is announcing the end of the world every few days. All this marketing disguised as news about an impeding danger of AI is tiresome.
โ€ฆ
@jamesjan3profilefollowresearcher, developer, dancerreplied to@n5l๐Ÿ˜Žprofilefollow:
not marketing. yes their jobs positively select for concern about ai, but most people that are actively researching the field are concerned about the current state of safety, pace and incentives. I dont agree with a lot anthropic does, but i do believe the employees take safety seriously and they obviously have a better understanding of it than us. also theres no incentive for someone like coxon to sound alarm bells on twitter for "marketing" reasons, after quitting anthropic
@n5l๐Ÿ˜Žprofilefollowreplied to@jamesjan3profilefollowresearcher, developer, dancer:
Yes, but some people say that they are pushing for market regulation. They want the state to protect them from the chinese models and, also, to protect the massive investments in Anthropic, OpenaAI, et al. that these companies will never be able to return. This sounds plausible to me too.
@_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.
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostlywrote:
The pendulum has swung far in the direction of favouring machine generated content over that from actual people. I wonder when it will swing back?