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

this will be the platform that fixes me

Using Linux hasn't really been fun lately, idk. Nobara, despite building on fedora breaks a lot, but overall the whole ecosystem is so damn inconsistent and fragmented. Not sure if I have gotten more sensitive to this over the years but all I want is a system that "just works" and feels good 😔

I had a great run with Mint for years. I was as boring as it gets. I got a new laptop recently and decided to try OpenSUSE Tumbleweed. I am really enjoying it, but it is a bit too recent for me to swear by it.

I’ve never posted a lot on social medias. I hope I have a good time here!

I need a new microblogging platform

I don't know anatomy, sigh. how do I draw Vulpes Inculta now..

I'll figure it out some how. learning anatomy is so hard and time consuming

created a poll:

Quick, answer immediately without thinking.

Skittles33%

M&M's67%

24 voted

Skittles easily.

For , the tension between & to eat healthy is an interesting problem. If you don't have time, it is difficult:

to learn to cook,
to source real food,
and cook real food

If you don't have money, it's difficult:

to afford real food
or solve one of the time problems above

Yea, aside from the money, sourcing is a big problem, one thing I noticed when trying to at some point was that there are zero vegan snacks in ordinary neighbourhood stores, so that didn’t last very long.

Choice is definitely a problem. We notice it when we go to our cabin, about a 2 1/2 hour drive away. The grocery store there targets for its local community. It is beef-centric and often boxed foods -- which is not our diet. Access -- or lack thereof -- is the worst kind of problem. illustrate the historical and complex nature.

what are some of you favorite teas?

This is really cool site but only drawback I see is 500 character per post limit. I think this should me more like 1500. or there is a limitations type something like I can do 3-4 long post per day credit. whom can i message for this feature request?

I am certain will get back to you on such matters - creator of this platform.

On some Mastodon instances, they post whole blog posts or massive threads and I feel this type of platform is not the place for such content. But this is clearly personal taste.

Hola

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.

Big holiday today in Greece, bells ringing, bands singing, people gathered in the village, eating, enjoying life and I'm spending it inside coding. I don't feel bad and I'm not , it's just that I'm a bit odd. I don't like these forced gatherings. Feel stressful.

replied to(deleted account):

It’s called Dekapentavgoustos, meaning 15th of August in Greek, it’s a celebration of Virgin Mary. It’s a big national holiday.

What does shots fired and Virgin Mary have in common???

Crete.

Hah. Didn’t see that coming

…

I regret avoiding those things when I was younger. The stress from socializing is how you grow.

where in Greece are you from? my family is from Karpathos.

age restriction app on my phone doesn't let me turn off the picture in picture for YouTube T-T

Happy Software Freedom Day, everyone!

I was followed by here and wonder if this the one of ari fame? If so, I’m thankful for their work. Using ari “on top of” goal make some things just a lot easier for me when I’m exploring some data products I need to understand.

Hi, yes, I develop ari. I'm so glad it's proven useful for you! Any feature requests or changes you'd like to see? I'm curious what bits of ari have made it easier for you to explore data, too. UI or additions keep tempting me, but I haven't settled on what I want there. If you have thoughts on that front, I welcome them.

The two main things I use are the duckdb support and of course the built-in resty client. Not needing to shell out to curl just makes life easier. I should probably add that I’m mainly prototyping and explore things that later eventually will be developed further by others in our organization, so using array langs where I don’t need to type a lot is a big plus for me:) I’ll let you know if I need anything!

…

Thanks, that’s helpful. Those are the two things I use the most, too. One development tool I use frequently is the util.ac function (for “auto-complete”) that takes a glob pattern and returns all the globals whose names match. I didn’t want to make people have to define or update their Goal lib path, so in recent versions of ari I’ve been packaging all of the Goal libs and ari's into a libs FS that you can use with import.

Asked Claude to implement a game based on a text quest book I played in 90s. Let’s see. Tried to play the original text, downloaded epub. Well, I died after 3 minutes in the game.

Unliking an little-known song on Spotify and ceremoniously saying final goodbyes, knowing you'll likely never hear it again in your life

Watched the Daily Show bit about AI this week, my wife found the interview with the whistleblower guy really depressing. That interview dramatically undersold that all the sketchy hacking shit that's happening right now is coming from 1 company.

Hello, world!