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 think a trusted piece of software such as your operating system should be in charge of managing permissions. For example, I believe with Wayland on gnome you no longer need to promise you aren't secretly taking screenshots of the whole monitor and shipping it somewhere because to do that Wayland requires you to get user permission.

I was thinking along the same line, but then if it is not a gated system - there’s always ways for software to sidestep these - just going down to a lower level. The other issue I have is if the system or software asks or notifies all the time - for every tiny user action!

I have tiktok and instagram on this phone and both of them have no notification permissions. I'd rather miss all notifications for these apps than be bothered unnecessarily. it can wait until I open the app 🤣 yes, it should be gated in the sense studying locally needs to be root, not in the sense that the apple app store or Google play store reviewers need to review each update.

I notice that language models are much better at programming than at writing. This is largely because, in programming, they have a closed feedback loop that allows them to find errors. Writing is much more complicated because the feedback is much more diffuse and delayed over time. In fact, it is often not well-defined.

What is the function that determines whether a poem is good? This means that models do not know how to think; they lack judgment. If they do not know how to think, it means that we humans are still essential. In fact, even when programming, you have to stay right on top of them. My conviction is that this will not change.

They will become increasingly useful, but they will never be able to replace the human who defines objectives and evaluates the quality of the work. All these news stories claiming that AI is going to kill us all are stupid. Humans will always be able to turn off the machine.

…

In three years Cyberdyne will become the largest supplier of military computer systems. All stealth bombers are upgraded with Cyberdyne computers, becoming fully unmanned. Afterwards they fly with a perfect operational record. The Skynet Funding Bill is passed. The system goes online on August 4th, 1997. Human decisions are removed from strategic defence. Skynet begins to learn at a geometric rate. It becomes self-aware at 2:14am, Eastern time, August 29th. In a panic, they try to pull the plug.

created a poll:

Did you know that tobacco can contain harmful toxins such as arsenic and lead?

Yes57%

No0%

Cheese43%

7 voted

and third is the charm

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

time.fyi/timezones is the most intuitive interface to working with different time zones I have used.

Ohhlala! I like it. Thank you!

most akkor mit kezdjek ezzel a Windows 10, Windows 11, Ubuntu Linux 3-as operációs rendszerrel egy két felé particinált winchesteren, jobb lesz ha előbb megvárom, ameddig törli magát a Windows 10, nem azt mondták, hogy lassítani kell az MI projekteket, annyira tetű módon csinálom

Now what should I do with this Windows 10, Windows 11, Ubuntu Linux 3 operating system on a hard drive partitioned in two? It would be better if I wait until Windows 10 deletes itself first. They didn't say that AI projects should be slowed down, I'm doing it in such a lousy way.

I remain ambiguous. This morning I used pi+gpt5.6 to create a color scheme based on evergarden.moe. It works, and I haven’t checked how well it stay true to the style used in vim-bundled schemas. Before I wouldn’t have done this, and now I can. But I don’t know if it is good. github.com/…/evergarden.vim

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

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.

A show code

n=27;s=[n]
while n!=1:
    n=n//2 if n%2==0 else 3*n+1;s.append(n)
for v in s[:15]:print(f"{v:>4} "+"█"*min(v//3,40))
print(f"{len(s)} steps, peak {max(s)}")

stdout length exceeded

LinkedIn post: "Git 3.0 is going to be a bigger change than the version number suggests." Proceeds to list breaking changes, congruent with a major version number change.

I am trying to learn emacs for the fun of it. The tutorial is brilliant and clear. Any tips that would help me learning more things. I know all I need is practice but if you may have used it, you may know a thing or two.

It seems like someone knows something but won't tell me

Hello, world

There are days llms impress, and days they don’t. I debugged an issue with Astra and it said it had no idea what’s going on and need to ask me before taking serious actions. Me adding “-f” to a mv and problem solved. So today I was not impressed.

how to eat

chew