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

what an odd summer it must be for mathematicians.

Interesting. Why?

It seems this year is when big budget LLM players overtake independent academic mathematicians, in speed at least. The Jacobian conjecture, a lot of Erdos problems, now even the Navier Stokes millenium problem. Solved due to new model releases, all within this summer.

model releases or internal research by the big AI labs*

So, can we now say that LLMs are able to do things that nobody has done before? Can they extrapolate?

…

in math it can definitely prove statements that havent been proven before. I dont think thats the big thing though since it also writes sentences nobody has ever written before and in software it can write programs that havent been written before. Its just that the speed and scalability that has overtaken human mathematicians and programmers

Yes 🙌 the authoring box first thing. Before I get distracted. Heck, make writing something down how I get distracted from reading others' posts.

Logged on to Bluesky after a news-free weekend. Regrets.

I imagine something terrible has happened (again) and the world is talking about it. I avoid reading general news. Too depressing.

TPMS indicator came on, which means an unplanned Costco trip 🙁

Just check, and top off as needed, the tyres pressure. Run it for a few miles. If it doesn’t go away, then take that trip.

No gas station near me has nitrogen so it had to be Costco. I topped off air and also filled gas while I was there. It’s only 5 miles from me, so overall not bad.

I really needed a quiet microblog. This looks like exactly what I'm looking for.

Same. I really wish this platform would last a long time... I've seen so many cool initiatives get posted on HN, only to be taken offline a few months later.

akkor ennyi volt a türelem, megyek haza nemsokára, és lebontom a dual bootot a lapcsiról, és a körmére nézünk már ennek a Gemmának

That's all for now, I'll be home soon and take the dual boot off the laptop, and we'll see what happens to this Gemma.

First of the day <3

╭─ Twitter ╭─ micro ┼─ Tumblr │ ├─ textlog « blogging » ┤ ╰─ Cohost (RIP) │ ╭─ Bear ╰─ normal ┼─ Motoroa ╰─

’ 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

Enjoyed reading “revo, the programming language” post:

I truly love the experience of using apps with rich, deeply interactive, beautifully animated, gorgeous user interfaces. Then I see a beautiful text-based interface and something about it feels so natural, so inevitable, so perfectly clear, and I'm instantly captivated by its simplicity and clarity. Hypertext is fascinating.

The interface here is clean and simple; I really love this design.

Cooked really good chicken this weekend

did they silently decrease the subscription limits on codex? (in addition to reintroducing the 5h limit?) subscription models suck so bad when they can just change the terms and make the product shittier.

I reached the limit also for the first time on the $100. Either that or we’re just using them more.

ive been dual wielding 2 accounts with some fallback shenanigans. on average its enough for me, but on heavy weeks its annoying. + it feels intransparent

This is like the third time in my life I've seen an interrobang in the wild. And I don't know, but I'd prefer JSON over having configuration as constants in a PHP script like at $DAYJOB sob

Ok, that sounds significantly worse, but like, YAML and TOML exists people…

My problem with yaml is the indentation annoyance it leads to, and if you are using the same tool on two different machine like windows and linux, have fun configuring those tabs and spaces all the time. I do like toml and ini for editing, but json is not as bad as yaml for sure

It's cookie o'clock, y'all.

_ _ me want (.)(‘) more… / ___, \ .-. .-. _ \ ‘--’ / (:::) (:::{ ‘-`--=-`-’ }”` `-’ `"/ \"` \ / _/ /\ \_ { / \ } `"` `"`

Hi Textlog

Was prompting Claude via remote control on my phone in btwn sets at the gym this morning. I use , so my wife kept hearing a StarCraft SCV periodically reporting "job's finished" from my office 😆

I am so terrified of Claude code. I use the chat and copy paste stuff myself 😭😭😭

, editing on mobile breaks the “280 chars / 10 lines max use and @mentionsand more”. Writing a new note doesn’t.

Thanks, fixed.