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

@jmnufprofilefollowChilling. Hand coding C to feel alivewrote:
I was about to prepare a rewrite cause a personal program was failing but realized I had an incomplete change and was incorrectly identifying an error from valid data. Actually so weird to pick up a project after weeks of not touching it
…
@mourningdove🐦profilefollowI'm a small web enthusiast working on my blog and working on myself. themourningdove.bearblog.devreplied to@prophetorit💧profilefollowgrand and intoxicating innocence:
That's so funny, I've never seen anyone get into it by this quote alone, he's the antagonist of the game The Elder Scrolls III: Morrowind. The quote is even better when you hear it in context, but don't spoil the experience, you ought to play the game and hear it for yourself. What do you normally play?
@prophetorit💧profilefollowgrand and intoxicating innocencecontinued:
spelled obvious wrong. kill me now... go ahead I deserve it ..
@kev🧜profilefollowrunner. making games, music, software. getting into as much trouble as i can.wrote:
Off to handstand class. I have been known to recommend to everyone within earshot doing challenging and/or silly physical things in a community. Not bucking the trend here.
@prophetorit💧profilefollowgrand and intoxicating innocencewrote:
I watched vampire hunter d. I would like more. more please button that says more text colour white button red
…
@chanuxprofilefollowI ain't no nothing!replied to@kooiprofilefollow:
Brikka. Someone on HN mentioned it as great design. I looked it up and bought it after a while. It's been such a delight. Even the occasional brew gone wrong adds to the experience. v60 is also nice when I need it to slow down or be the experience a bit meditative. But Chinese tea is the best for that.
@melting_coffee_mug🤔profilefollowreplied to@kooiprofilefollow:
i just get lazier and lazier over time. now it is a portafilter espresso machine, DeLonghi Dedicated, along with a separate grinder, Baratza Encore. what I love is try out regional types of coffee, but this then always outside, and on travels.
@bobbyprofilefollowwrote:
curious to know whats the experience of production push in other companies? e.g lots of documents/approvals…
@_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.
@prophetorit💧profilefollowgrand and intoxicating innocencewrote:
guess who found some really cool book in my house!!! me! it's called the secret teachings of all ages.. should I give this a SHOT!!?!??
@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).
@chenxiangprofilefollowwrote:
我在中国是一个准脱离政府掌控者，基于身份的一切活动我都不参与，比如正式工作和网购。我也为此付出巨大代价，我的选择空间被极大压缩，行动能力损失严重。我只能通过少量免费wifi访问互联网
In China, I am practically independent of the government; I don't participate in any activities based on my status, such as formal work or online shopping. I've paid a heavy price for this; my choices have been severely limited, and my mobility has been significantly impaired. I can only access the internet through limited free Wi-Fi.
@neoprofilefollowcoder, reader, guitarist, seeker, builder.wrote:
When I sit with curious people, I build a lot of curiosity. And inspiration.
@zbr😅profilefollowmaker of software thingswrote:
Looking for a new daily-driver #scriptingnotesfollow language. Criteria:
  • interpreted (e.g. can use #!/bin/bang)
  • batteries-included stdlib (json, subprocesses, fs, etc.)
  • not sh, not perl, not python, not javascript
Shortlist:
Any other #recommendationsnotesfollow? #Codenotesfollow #Devnotesfollow #Technotesfollow
…
@semperos📒profilefollowPresbyter, husband, father, technologist, linguist, musician.replied to@zbr😅profilefollowmaker of software things:
I use GoalCodeberg.orggoalGoal, an embeddable scripting array language., extended with ariGitHubGitHub - semperos/ari: Ari: Goal language extended with SQL and moreAri: Goal language extended with SQL and more. Contribute to semperos/ari development by creating an account on GitHub. as my daily driver. Since it's implemented in Go, it's straightforward to extend with anything from Go's standard library (or third-party ecosystem) that isn't already incorporated. If you haven't used an array language before, then you get the added bonus of learning a ton about an interesting, powerful area of programming.
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@zbr😅profilefollowmaker of software things:
I sometimes use V scriptGitHubv/doc/docs.md at master · vlang/vSimple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io - vl..., but I use V-lang as well. It is kind-of interpreted. I’ve never heard of rye. Looks nice.
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@zbr😅profilefollowmaker of software things:
It does not, but fakes it well, since it is fast and compares built binary with script mtime to automatically recompile. The downside of using it is that you end up with a binary, but the upside is that it is blazing fast.
@hopscotchprofilefollowComputer Hacking Skills 75/100 Nunchuck Skills 3/100 I like Unixish systemswrote:
Football > Liverpool Research behind Liverpool’s last minute veteran-substitute-provided-draws and the talented but uncompetitive players they replace. www.verywellmind.com/…/what-is-sunk-cost-fallacy-7106851Verywell MindDon't Fall for the Sunk Cost Fallacy: Tips for Smarter Life DecisionsSunk cost fallacy is a cognitive bias that can lead to irrational decision-making. Learn more about sunk cost fallacy and how it can show up in your life. pmc.ncbi.nlm.nih.gov/articles/PMC6324799/PubMed Central (PMC)The feeling of throwing good money after bad: The role of affective reaction in the sunk-cost fallacyContinuing investing in a failing plan (i.e., the sunk-cost fallacy) is a common error that people are inclined to make when making decisions. It is impossible to get resources back that already have been invested. Hence, economic theory implies ...
@gikkmanprofilefollowwrote:
I am a remote worker, and has been for 4 years now. It works great. But the owner of the office I've been renting have sold the building, and the new owner has different visions. I could work from home, but my 3 month daughter is a screamer. I had a great, cheap deal. All alternatives I find is like 3x the price.
@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:
A company called Spacious triedEater SFNew Start-Up Turns Popular Restaurants Into Coworking Spaces By DayPlus SF’s beer, bourbon, and hummus empire expands and Eater’s holiday gift guide to do this with restaurant spaces that aren’t used during the day. Always seemed like a good idea to me, but they went under.