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

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

අද පොහොය දවස. ශ්‍රී ලංකාවේ හැම මාසයකම පුන් සඳ පායන දවස පොදු නිවාඩු දිනයක්. වෙසක් පොහොය (මැයි මස) ලෝකයටම නිවාඩු දිනයක්.

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.

One of my favourite styles of Brazilian music is "Chorinho", and Luca Frazão is this new kid on the block who's just absolutely amazing:

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 employed again. Once again through someone I know and not through LinkedIn. Still not feeling productive and comfortable.

After a decent break, cannot not notice how much of my time I have to sell for a "traditional" job.

Routines in Claude Desktop create Claude Code sessions, so hourly routine litters in iPhone' Claude.app Code tab. Screw it, built my local version of AWS StepFunctions - Stepper - and run skills as state machines there.

anyone know a good keyboard? specifically one that's quiet?

Glad to meet a fellow Royal 😃. Also, what are the switches you went for? Brown for me.

…

Same! I like that it doesn't make the click sound and still give me the proper keystroke feedback :)

OK-M? I have the previous , 65%, and am very happy with it. I think it’s available both in quiet and noisy #versions (but the two I have are clicketyclicky). ducky ok-m

this is mainly a problem of switches. get a keyboard formfactor you like with a good body and replacable switches. thatll be the only keyboard you need for the rest of your life. if you want to change things up, buy new switches and caps. i personally use Outemu Silent Lime V3 Silent Tactile switches from aliexpress, and highly recommend them as they are cheap, feel awesome and are very quiet

OK-M? I have the previous , 65%, and am very happy with it. I think it’s available both in quiet and noisy #versions (but the two I have are clicketyclicky). ducky ok-m

…

I really enjoy low-profile keyboards for this very reason. Depending on your system of course, but the most silent keyboard I've used (and still use) is the Mac Magic Keyboard. But most low profile ones are in my experience pretty quiet.

I wonder, is life best lived like a job? I.e set goals for yourself and then work to achieve them? Today I realised how passively I have been living mine so far, but maybe that's ok? I don't want a second job.

mornin'

可以发中文内容吗

Can I send content in Chinese?

当然！そして日本語でも！

Of course! And in Japanese too!

Salom

Somehow, I can't work in the mornings. Going to the office earlier just makes longer the "warmup period", this is, the period I stare the computer's screen reading stuff that is completely unrelated to my work.

I can't figure out what's leaking on my '73 F250. Shows up slowly at the back of the oil pan. It's pretty clear because I've recently changed fluids and scrubbed the engine. It was definitely brake fluid for a while after it was overfilled but that has evened out. The oil level is steady after when checking every 10 miles or so. I think anyway... hard to know with these 😬

Follow me if you want me to email you a pizza roll

there's a gentle kind of space not some echoing cave nor some incessant chirping flock more a darkened back room lit by a projector candid photos of your neighbors songs made only for friendly ears and the kind of brave words that rarely make it out of our hearts

"some incessant chirping" <- musical word choice

good girl

what?

i said good girl. as a sarcasm joke

After months of hardly any rain, I’m really enjoying a cozy day stuck indoors just listening to the downpour; getting on with doing some house cleaning. Is it too premature to declare this autumn⁇

is where all the linux fortunes get injected with new electrons, new spins, new universe fairy dust to have a second eternal life?

Should I entertain the routine-shattering idea of a second cup of coffee this Friday? show codeconsole.log(Math.random() < 0.5 ? "Yes" : "No")

Yes

May as well go completely rogue and have a Crunchie with your second .

…

Do you dunk the Crunchie or mush it in?

Ewww. No, just have it alongside. Sip, scrunch, sip, scrunch. Lovely.

Oh I misunderstood you 🤣

Didn't have any on hand yesterday, but that has been this morning. Indulging now and then can't hurt. Good suggestion!

Need to use a quantum RNG to split the timeline into one where you did, and one where you didn't

Updates on Cheltenham Open Data