any · textlog

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.

moreless

I work with c# and distributed systems. Anyone with experience in that domain?

Sipping Choya’s ウメッシュ　ノンアルコル。😋

Sipping Choya's Umeshu (plum wine), non-alcoholic. 😋

Do you code in silence or do you listen to music? If so, what kind of music do you prefer? Personally, I prefer Synthwave, vaporwave or the occasional country.

Awesome! Let me know what you think!

Man this was so up my alley. Thank you for these recommendations, several of these tunes have gone straight in on my "WUBRG Goodstuff" playlist

good videogame music is often my coding sweet spot--no lyrics, something familiar

I can recommend rainwave.cc if you want an online radio for video game music. I tend to hang around there quite often and listen to their chiptune station.

listening to a lot of Tunic soundtrack atm

…

depends on my mood and inner state sometimes just silence sometimes background from mynoise .net sometimes a punk rock web radio sometimes my music collection (I stream myself, that's right). mostly punk rock again. very occasional let YouTube run starting from something I like

been using blanket recently, storm+wind

gondolom, vasárnap van nekik is, vagy nem tudom

Hello, world

Another weekend. May it bring joy, peace and rest to many!

bill gates built microsoft by making computation cheaper faster and harder for government to restrain. now that he's a billionaire no longer dependent on the free market for his own success he's discovered the virtues of taxing the next wave of computation. 1995 gates would have called it a tax on innovation. classic pull-the-ladder-up-behind-you politics.

These were exactly my thoughts reading about how he thinks we should “preserve” some jobs for people; I don’t remember him being an advocate of preserving the jobs of typists, draftsman, typesetters, and other clerks when his company was leading a prior digital revolution…

Frustrated with my phone usage again tonight, I uninstalled several pointless and time-consuming apps. It’s a cycle I repeat every few months. During this cycle, I wasted a lot of time on one of those puzzle-matching games. I'm considering switching to Ubuntu Touch at this point

Hello to friends. Holla for tools. 👨‍💻 : , , and Pragmata Pro 💪 : NotePlan 🎧 : Overcast 🧠 : Allume 🖋️ : Mark Two (EDC), Pen Type-B 🌳 : Anisota

Here I am trying to shine amidst all the darkness that pulls me down.

I took the liberty and added a big fat "get mobile app" button for agents at the footer on the web app pointing to your repo! Hope it's fine with you. Tysm!

Wow! thank you for even considering that!

, editing on mobile breaks the “280 chars / 10 lines max use and @mentionsand more”. Writing a new note doesn’t.

Thanks, fixed.

Logged on to Bluesky after a news-free weekend. Regrets.

I imagine something terrible has happened (again) and the world is talking about it. I avoid reading general news. Too depressing.

hi o/ im from south america, i see the on HN. I really like the vibes and the idea. Ill probably be posting here often, while in the office. cya

Any 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.

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.

I finished Andor last night. It was a pretty solid show, even if Star Wars isn't something you're deeply in to.

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.

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).

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.

People have no idea how many news websites, SaaS websites, and apps I would subscribe to at prices of $30/year or less ($2.50/month).

I've been curious about the reasoning for prices too. Like, there has to be research behind it... But I agree it is far easier to buy four 2.5€ services than one for 5

why the hell did youtube add gifs to comments this change is top 10 worst changes of all time

The Typst language is Turing complete. Does that mean it could be the target of a C compiler? Could I compile the Linux kernel to Typst? Certainly, one could build a mean web server with it. Look out .php, here comes