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

morning doodle of Vulpes. ibb.co/WN48DSt3

So, I'm watching two shows right now - Silo and Attack On Titan. I'm nearing the end of S3 on Silo and have just finished S3 of AOT. The parallels between the two are interesting but the contrasts are more interesting, namely how much more intricate AOT is.

Developed a Vinboard (my pinboard.in clone) shortcut, works really well. On iOS it lives in Share menu, on macOS in the Dock. Click sends the current browser page (Safari, Chrome, Zed, Firefox) for bookmarking. On the server side Jev decides tags from 60 least recently used; and archival opens a real Chrome to save the whole page for posterity. Unlimited API limits and direct requests to the database. Pinboard charges for much less functionality $22/year.

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.

𐑲𐑥 𐑩𐑕𐑿𐑥𐑦𐑙 ·𐑖𐑱𐑝𐑾𐑯 𐑦𐑟 𐑯𐑪𐑑 𐑕𐑩𐑐𐑹𐑑𐑩𐑛 𐑓 𐑷𐑑𐑴-𐑑𐑮𐑨𐑯𐑟𐑤𐑱𐑖𐑩𐑯. I’m assuming is not supported for auto-translation.

nope, google translate doesn’t support it :( looks beautiful though

Hmm, maybe I’ll sometimes post in Shavian anyway and translate myself. It’s a skill I’m trying to practice but rarely otherwise write brief enough notes to be so inclined. 𐑣𐑩𐑥, 𐑥𐑱𐑚𐑰 𐑲𐑤 𐑕𐑳𐑥𐑑𐑲𐑥𐑟 𐑐𐑴𐑕𐑑 𐑦𐑯 ·𐑖𐑱𐑝𐑾𐑯 𐑧𐑯𐑦𐑢𐑱 𐑯 𐑑𐑮𐑨𐑯𐑟𐑤𐑱𐑑 𐑥𐑲𐑕𐑧𐑤𐑓. 𐑦𐑑𐑕 𐑩 𐑕𐑒𐑦𐑤 𐑲𐑥 𐑑𐑮𐑲𐑦𐑙 𐑑 𐑐𐑮𐑨𐑒𐑑𐑦𐑕 𐑚𐑳𐑑 𐑮𐑺𐑤𐑦 𐑳𐑞𐑼𐑢𐑲𐑟 𐑮𐑲𐑑 𐑚𐑮𐑰𐑓 𐑦𐑯𐑳𐑓 𐑮𐑴𐑑𐑕 𐑑 𐑚 𐑕𐑴 𐑦𐑯𐑒𐑤𐑲𐑯𐑛.

buit a keyboard driven calendar webapp right now cause im disappointed with all tho other solutions i could find. no dependencies, super customizable, im kind of obsessed. for the first time in my life im actually keeping my calendar alive.

Something you’re willing to share in any capacity? I’ve felt like calendar apps are one of the most poorly-solved areas.

i actually just shipped it lol: let me know what you think if you set it up! I really like the cursor for navigation.

I dislike commuting on public transport sometimes cause the trips feel longer sometimes but also don't want to drive the morning traffic

Watching the UTMB livestream. Any other trail fans out there tuning in?

(╯°□°)╯︵ ┻━┻ still one of my favorites (or rather #unicode_art right?)

I'm trying to construct an argument that LLMs are like a chess engine. People still play chess. But somehow this falls short.

a few fixes this morning, some actions in your account are now gated behind email(or password) confirmations, like "delete account" and "enable password" - this is to keep the account safe.

úgyhogy az idénre beígért informatikai projekjeimet már eleve vaporware-nek nyilvánítom a késedelmes indulás miatt

so I'm declaring my promised IT projects for this year as vaporware from the start due to the delayed launch

I've been doing a new makeup style, and I've been loving it so much!!! jirai!

Haciendo mi primer publicación en esta onda

Making my first post in this vein

vibing

same

My iPhone is pouring its battery. Feels like a major upgrade of the OS is coming. Hate this crap.

I'm looking forward to . I didn't update to at all on my se 2020. however, at some point I anticipate will require or above.

…

Just get rid of it. Life is way better without phones. I haven't had a phone for five years.

I am curious how does that work for you. You should write a post about it and share.

…

how do you do things like online identification/tickets for services/events? From my experience in germany a lot of these are online only. Same with like the vaccination certificate back in covid times

I never noticed the little halfsteps in the bassline of the verses of Rebel Yell before. It's so slinky and subconscious and makes the chorus that much more.

Devs! Drop your so we can follow each other! Love to see the projects you’re working on. Mine: —

Gave up on github after the acquisition. Very glad I did, given the unsurprising decline since then.

And what do you use now?

Some gitlab, some codeberg. More recently the latter as gitlab have an annoying tendency to mess with their UI for no discernible reason.

I think is time to vibecode an alternative! I know I would

github.com/semperos

…

github.com/Aeres-u99 I have created a small tool, codeatlas, that basically generates an index to codebase that your llm can lookup syper quick, github.com/Aeres-u99 there is also a cbz->pdf converter that I wrote for eink devices which is nice

Hello people 👋

Hej!

Tjohej ;)

Tjoflöjt!

Γειά!

Hi!

你好！

…

Bonjour

i just got home from the day trip to Zaragoza, it's late and I got to wake up early tomorrow (・・;) How am I visibly the most tired, but I'm the youngest? I need more stamina ( ￣▽￣)