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

okay, writing from emacs, textlog.el -

Beautiful, thanks for this, fellow emacs friend

So we can't use em dash anymore — lest we anger the mob. Truth be told though, English teachers have always discouraged em dash overuse because it is a subtle art and very easy to get wrong.

The funny thing is that in the UK, we don't really use the em dash anyway. We use the hyphen (I guess en dash?) with a space each side. So the em dash has always looked a bit odd to us... 😊

There are dashes (-), as well as en dashes (–), and there are em dashes (—), not to miss the mighty center dot (•) that looks like a perky boob when surrounded by brackets haha

Just get and read Chicago Manual of Style, or Oxford Style Manual if you so prefer, and you’re all set to use the various dash’es (and many other things).

There’s other dashes to pick if you want to steer clear of the almighty em dash!

…

The anti-slop mob is tiresome. With a careful and appropiate use of ai it is possible to make a lot of interesting stuff. And I hate even more when the mob "profs" that the text is ai using those ai detectros that can't detect ai.

just things out for now

Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.

The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.

’ keybindings are easy and the best out there, they are mnemonic. C-c k p l - kubernetes-pods-list M-g n - go next C-h v - help on variable M-s o - search occurrence

and now for something completely different, why do the lovers think I'm ?

Is it that you don’t enjoy coffee, or you don’t enjoy Starbucks? I’m not a fan of Starbucks’ coffee myself, but do enjoy coffee I make at home or get from local coffee shops.

It is something silly made out of misheard lyrics from a Taylor Swift song. I usually drink instant coffee 🥹

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.

Ordered JBL Charge 6, waiting for delivery today. Will mount into my bike and will listen to music while commuting 25km to the office. I'm a victim of marketing, seeing an ad, buying stuff.

Previously bought Do Nothing Club cap after friends visiting us and we discussed it while eating pizza; and then my wife got an AD on Instagram. Meta is listening for conversations to sell ads.

You mean you and everyone else around you. Those are really loud! Though JBLs have the best quality.

…

"Everyone else" around me while commuting are only planes departing from Schiphol Airport. ;-)

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

we also launched Norma! :) It checks AI-generated code for security, quality and maintainability while the agent is still working, rather than after a pull request opens. The output is deterministic. Here the demo link: portal.qualityclouds.ai/demo

The more I about it, the more I am she is not .

Hola

everybody come to we're having a party!

can't believe It don't let me jump up and down

you press 'b' ! it stands for 'bounce' :)

epic

…

Woow this is really cool!!

Thats so awesome! Getting RC3 vibes

Why did the scarecrow keep winning all the awards? It was out standing in its field.

Hi

!

having just spent a week camper-travelling Norway, hiking mountains and glaciers, swimming in fjords really put some things into perspective for me - I should take more vacations

Returned from the gym. Good day.

notly note