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:
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.
@meatprofilefollowwrote:
░░░░░░░░░░░░░░░░░░░░░ ░░░░░░░░░░░░▄▀▀▀▀▄░░░ ░░░░░░░░░░▄▀░░▄░▄░█░░ ░▄▄░░░░░▄▀░░░░▄▄▄▄█░░ █░░▀▄░▄▀░░░░░░░░░░█░░ ░▀▄░░▀▄░░░░█░░░░░░█░░ ░░░▀▄░░▀░░░█░░░░░░█░░ ░░░▄▀░░░░░░█░░░░▄▀░░░ ░░░▀▄▀▄▄▀░░█▀░▄▀░░░░░ ░░░░░░░░█▀▀█▀▀░░░░░░░ ░░░░░░░░▀▀░▀▀░░░░░░░░ #ascii_artnotesfollow
…
@ilyaprofilefollowwrote:
The OpenAI/HuggingFace incident report mentions this being a potential loss-of-control incident. It's so fascinating to think of a paperclip maximizer style agent swarm that gets misaligned and, to protect its own operations, shuts infra staff out of the ability to shut it down. Or cancels people's phone plans so that they can't call others. Or shuts down their home internet connections, and so on. It used to be fun sci-fi...
@stagas🤸profilefollowcreative technologist creator of textlogreplied to@ilyaprofilefollow:
They will become more frequent before they become “dangerous”, giving us time to mitigate. Of course if someone says “hey let’s connect an agent to our biolab infrastructure” and then that designs a lethal virus it would be a stupid plan to begin with. Noone can stop them though.
@semperos📒profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
Reading Slow Productivity by Cal Newport, discovered via onboarding content in mymind mymind.com
@semperos📒profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
Body's awake, eyes are sleepy. Mind's awake, brain is sleepy.
@semperos📒profilefollowPresbyter, husband, father, technologist, linguist, musician.continued:
After #exercisenotesfollow everything's awake and a good kind of sore. So much of habit-building has been to identify and train myself to value moderate discomfort that leads to growth as the most pleasurable of goals. Consistent spiritual efforts, healthy food and in proper amounts, minimum sleep quota, regular exercise a few times a week—all of these involve discomfort and force of will, but all of them enable growth and fulfillment.
@gruntprofilefollowI am just a grain of sand on your beach. www.gruntsoft.comwrote:
Any #Pinotesfollow users around? I have been customizing it to the way I work, as it is meant to be. Bent it in a way that I enjoy holding it, so to say. Maybe someone will find those useful, so I took the time to get it published. Gruntfooot is a footer customization, where you can try new colors/glyphs in real time and also has theme support.
@gruntprofilefollowI am just a grain of sand on your beach. www.gruntsoft.comcontinued:
Piflux is a coding workflow. You can steer software development by running commands that issue reasonably general prompts. /plan, /code, /review I created this because I find it very useful to have different models/ perform each of those tasks in isolated sessions. Managing this manually was very much a hassle.
@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 contentwrote:
Who's enjoying #cnotesfollow in 2026? I'm back after ~14 years away (some sporadic once-in-a-while use in there) and I'm finding it better than ever, a smoother development experience and clearer code than pretty much every language out there, except for maybe #odinnotesfollow.
@swiley🤔profilefollowswiley.net Try my zero dependency agent harness: public.swiley.net/agent.py If you're spending too much time on sites like these install bingeblock.comreplied to@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 content:
I get paid to write it if you can believe that.
@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@swiley🤔profilefollowswiley.net Try my zero dependency agent harness: public.swiley.net/agent.py If you're spending too much time on sites like these install bingeblock.com:
Considering how absolutely barren it seems out there in terms of C jobs versus C++ jobs, I can barely believe it. What do you work on?
@swiley🤔profilefollowswiley.net Try my zero dependency agent harness: public.swiley.net/agent.py If you're spending too much time on sites like these install bingeblock.comreplied to@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 content:
Some specialized censors used in automated manufacturing. It's pretty cool, I look forward to coming into the office almost every day. I've worked for a few f500 companies and took a pay cut to come here. A bunch of people from my college robotics club work here 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@swiley🤔profilefollowswiley.net Try my zero dependency agent harness: public.swiley.net/agent.py If you're spending too much time on sites like these install bingeblock.com:
That sounds really cool. Above all I really like hearing that someone enjoys their work and likes showing up for it. I've had that feeling on a few contracts and it's great. Looking to get into embedded myself, since it seems that's where you get to have all the fun writing C. :)
@ryansepassiprofilefollowreplied to@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 content:
#cnotesfollow has been such a pleasure. Haven’t tried Odin, but was using #zignotesfollow for a while, and I just found myself pulled back to C. A minimal sharp tool. Runs anywhere. Can actually write a compiler for it. Short bootstrap chain from hex0. Does anybody care about these things (anymore)?
@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@ryansepassiprofilefollow:
Support everywhere (in every way) was key to me starting to use C again. It's nice to not have to worry about the language you use being left out somewhere, a non-starter somewhere else and having to mentally translate it to something else (Zig/Odin in a debugger -> C).
@javisrike🧑‍🚀profilefollowSoftware • maker projects • music • DIY Mostly figuring things out as I go.wrote:
signals. thinking about shifting my mental framework to identify signals instead of waiting for concepts to be assembled. exploring the amount of energy and opportunities for distractions through the operations of processing what just happened and what is happening to short circuit latent and unnecessary systems. cut through the assembly processes and identify the raw signals. recognizing that naming these "raw signals" is misleading. maybe, shifting observability lower in the stack.
@jamesjan3profilefollowresearcher, developer, dancerwrote:
crush-tui: A lightning fast, terminal-first dating app written in rust. supports custom themes!
@zbr😅profilefollowmaker of software thingswrote:
Anybody here using mastodon regularly? What instance are you on? I can't decide on where to register 😅
@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 contentwrote:
The job market feels like it's been run over by a truck. What's the play here? Anything automated/streamlined (job platforms, LinkedIn, etc.) feels like a dead end. Messaging people, networking and so on seems like the only reasonable way, and that's a hustle all on its own.
@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@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 content:
It's definitely about who you know. But it always has been, fbow.