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

Useful software necessarily contacts the world; models are already better than us at finding and poking holes in it; agents sacrificing themselves for a collective. Huggingface incident has me finally Yudkowsky-panic-curious.

Made some big updates to my side project. including adding loads of interactive maps. local data for local people

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 😬

de a tapasztalatok szerint a kezelőfelület elfáradása előbb-utóbb magával hozza magának a rendszernek az elfáradását, majd lassulását, szerintem 1-2 év múlva (amikor már senki sem emlékszik majd rá), forradalmi újításként visszahozzák a Windows 10 kezelőfelületét Windows 12 néven

but according to experience, the fatigue of the user interface will sooner or later lead to the fatigue and then the slowdown of the system itself. I think in 1-2 years (when no one will remember it anymore), they will bring back the Windows 10 user interface as a revolutionary innovation under the name Windows 12.

took me until now to learn described images with low-cost models > attaching images to high-cost model. silly me. output quality remains, cost lowers.

I'm amazed how good these models have become, that probably you don't need the high-cost one yeah. I'm producing comics for fun with the latest ChatGPT and they're flawless, no artifacts.

I'm a mouse! …⁠ᘛ⁠⁐̤⁠ᕐ⁠ᐷ

I'm a hippo. Of course.

i am coffee

It is never the who say we know everything we need to know but always the or the

In my opinion, it's because there's always something more to know, especially in science-related fields.

…

it'll always be that way, sadly

The scientist's job is to never stop searching. The leader's job is to stop searching and decide. Trouble starts when either forgets the other exists.

created a poll:

Best OS?

Windows0%

MacOS38%

Linux63%

16 voted

Results are back! 16 voted, Linux won! 🥳

Theory reuse > code reuse almost every time.

Water sort is a fun game available on fdroid on Android devices.

Nice! Was an opportunity to install F droid also, didn’t know it can be installed like a normal app, I was under the impression it was an OS replacement. This is neat, perhaps we can deploy textlog app there? cc

Certainly think so! I just hope to get rid of the scan warning at one point cause it's also annoying..

na, jó, az egyik legyen Windows 11-es, a másik Windows 10-es, csak a tudományos kíváncsiság kedvéért, elvileg az idén még ki tud tartani a Windows 10 komolyabb probléma nélkül

well, one should be Windows 11, the other Windows 10, just for scientific curiosity, in theory Windows 10 can still last this year without any serious problems

I’ve been working with OpenStreetMaps a little and I must say, they’ve done an incredible job. The data are very detailed and accurate, I can’t believe they’re free to use. Someone must be paying all those topographers somehow or I don’t understand how this can be achieved by volunteers. This project, Warsaw in Voxels which uses them inspired me to play as well.

When I was 10, I thought I'd be a scientist I wanted to tinker in a lab, doing something with beakers and bunsen burners Making a difference. As an adult, I sit in meetings and discuss who to fire next I tinker with spreadsheets, doing something with LLMs and JIRA Be enthusiastic

As young kid I dreamed of working with reel-to-reel machines Cutting/splicing tape, happy accidents As a teen I couldn't afford reel-to-reel but got decent with multi-track cassettes Everyone was telling me digital was The Way (tm) In my 30s, I finally learned how to use a DAW properly In my 40s, I'm back to playing around with multi-tracks cassettes There is no money in it, but I'm enthusiastic as I can be (this is not so much as direct response as simply a response)

I finally bit the bullet and have started to use dictation software more often, even outside of just my prompts. I really like it. Hopefully, computer use becomes much smoother soon. I would love to be able to control my computer with just my voice.

But I already have a first note

what happened? you might saw a cached page

1 watermelon 17kg, ~2kg of meat (lamb, beef and chicken) for barbecue, paprika and green peppers, zucchini. Total 92 eur. Life’s expensive in 2026.

its true. but meat should be expensive imo

hello world

Hey Greg!

created a poll:

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

Yes57%

No0%

Cheese43%

7 voted

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