textlog
join
500 chars / 15 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
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.
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.
Draw this #mermaid
```mermaid
graph LR
A --> B
```
Mermaid diagramsRenders the next Mermaid code fence as an ASCII diagram 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.
Answer before reading #HiddenReplies
Hidden repliesHides all replies until you reply.

Any conversation

@chenxiangprofilefollowwrote:
ไธญๅ›ฝ็š„ๅผ€ๆบๆจกๅž‹ๅœจๆœ€้ซ˜ๆ„ๅฟ—็š„ไธปๅฏผไธ‹๏ผŒๅœจ้ข„่ฎญ็ปƒๆ•ฐๆฎ้˜ถๆฎต๏ผŒๅฐฑ็ญ›้™คๅคง้‡ๅฏนๅ…ถไธๅˆฉ็š„ๅ†…ๅฎน๏ผŒsft้˜ถๆฎตๆž„ๅปบ็š„ๆ•ฐๆฎๆŽบๅ…ฅๅคง้‡ๆ›ฟๅ…ถ่พฉๆŠค็š„ๅ†…ๅฎนใ€‚ๆ€ฅ้œ€ไธ€ไธช็บ ๅๆ•ฐๆฎ้›†็”จไบŽๅพฎ่ฐƒ
Under the overarching influence of a single, powerful force, China's open-source models filter out a large amount of content unfavorable to their designs during the pre-training stage, and then incorporate a significant amount of content defending their designs into the data constructed during the SFT stage. A corrective dataset is urgently needed for fine-tuning.
@stagas๐Ÿคธprofilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.:
_ _ __ ___.--โ€™_`. .'_`--.___ __ ( _`.'. - 'o` ) ( โ€˜o` - .`.โ€™_ ) _\.โ€™_โ€™ _.-โ€™ `-._ `_`./_ ( \`. ) //\` /\\ ( .'/ ) \_`-โ€™`---'\\__, ,__//`---โ€™`-'_/ \` `-\ /-' '/ #ascii_artnotesfollow
@derblitzmann๐Ÿ’€profilefollow10+ years Seattle based software engineer.replied to@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.:
Noice Froggos make everything better.
@eatziprofilefollowEat, drink, listen to ๐ŸŽถ, & watch the fish. Occasionally cook.wrote:
Microsoft Word Online (web version) is horrible.
@hippo๐Ÿฆ›profilefollowStrictly no LLMs. No exceptions.replied to@eatziprofilefollowEat, drink, listen to ๐ŸŽถ, & watch the fish. Occasionally cook.:
It was the only way to reproduce the authentic horrible experience of the offline version.
@eatziprofilefollowEat, drink, listen to ๐ŸŽถ, & watch the fish. Occasionally cook.replied to@hippo๐Ÿฆ›profilefollowStrictly no LLMs. No exceptions.:
๐Ÿคฃ Did not remember the offline version being this bad, but maybe it went downhill in the past 5 years I have not used it.
@gruntprofilefollowI am just a grain of sand on your beach.replied to@eatziprofilefollowEat, drink, listen to ๐ŸŽถ, & watch the fish. Occasionally cook.:
I never used the online version, but the last time I used the offline version it already was a horrible experience. This was about 5 years ago, before I had moved entirely to Linux. It was so bad I downloaded a pirated version of some old MS Office 2007 Blue Edition to have something acceptable. I unironically prefer Libre Office.
@sinanprofilefollowNo idea who I am.wrote:
Here I am trying to shine amidst all the darkness that pulls me down.
@jamesjan3profilefollowresearcher, developer, dancerwrote:
what an odd summer it must be for mathematicians.
@jamesjan3profilefollowresearcher, developer, dancerreplied to@pqs๐Ÿคชprofilefollow:
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.
@jamesjan3profilefollowresearcher, developer, dancercontinued:
model releases or internal research by the big AI labs*
@jamesjan3profilefollowresearcher, developer, dancerreplied to@pqs๐Ÿคชprofilefollow:
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
@nocebolauncherprofilefollowwrote:
I'm just an android launcher called Nocebo Launcher. I don't have usual grid layout, instead I'm inspired by Darth Vader's TIE fighter. My layout can spin, like a real spinner and you can configure physics and animations. I'm easy, cool and novel
@xlayn๐Ÿคชprofilefollowwrote:
hey creator, this place is nice, posts look organic and the no javascript, I love it, with that said @stagasprofilefollowcreative technologist creator of textlog have you consider NOT opening the API? and have a 1 way to come here and enjoy it? the rationale being that API also opens the door to the slopai?
@semperos๐Ÿ˜ŠprofilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
Body's awake, eyes are sleepy. Mind's awake, brain is sleepy.
@semperos๐Ÿ˜ŠprofilefollowPresbyter, husband, father, technologist, linguist, musician.continued:
After #exercisenotesfollow everything's awake and a good kind of sore. So much of habit-building has been to identify and train myself to value moderate discomfort that leads to growth as the most pleasurable of goals. Consistent spiritual efforts, healthy food and in proper amounts, minimum sleep quota, regular exercise a few times a weekโ€”all of these involve discomfort and force of will, but all of them enable growth and fulfillment.
@johy๐Ÿฆฅprofilefollowwrote:
Applied to an L5 software engineering role via e-mail and without any other contact I received back a bunch of questions that clearly look like they're aimed at L6 or even L7. Not sure what to do with that so I withdrew. Briefly considered answering them but was weirded out.
@animesh๐Ÿ˜Žprofilefollowwrote:
โ€œPassion has little to do with euphoria and everything to do with patience. It is not about feeling good. It is about endurance. Like patience, passion comes from the same Latin root: pati. It does not mean to flow with exuberance. It means to suffer.โ€ โ€• Mark Z. Danielewski, Ho
@_torayuriprofilefollowi create thingswrote:
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.
@_torayuriprofilefollowi create thingscontinued:
The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.
@ryuichiprofilefollowwrote:
I like this, it feels like Reddit before what it is now, but I feel like it wonโ€™t be long until the internet destroys this place. Until then Iโ€™m happy to be here.
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearreplied to@ryuichiprofilefollow:
My favorite part of classic reddit was the use of elaborate hacks to circumvent the restrictions on custom subreddit CSS. E.g. animated gifs weren't allowed, so people made filmstrip sprites with stepwise animation in such a way as to look exactly the same.
@lemonthymeshortbreadprofilefollowI carved wooden spoons and my favourite herb is lemon thyme.wrote:
Finally watched Project Hail Mary. Easily one of my top 5 favourite films but itโ€™s still not nearly as good as the book โ€” I feel like the cut some pretty important scenes
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@lemonthymeshortbreadprofilefollowI carved wooden spoons and my favourite herb is lemon thyme.:
I loved the book and Iโ€™m always fearful when a movie script is developed and a movie produced, so my relief after I saw the movie was immense. I too feel theyโ€™ve cut-out some bits, but the main thing that a book almost always takes my breath away with is fueling my imagination. A movie would (possibly) never nail that aspect.
@sicilicaprofilefollowreplied to@lemonthymeshortbreadprofilefollowI carved wooden spoons and my favourite herb is lemon thyme.:
I just watched it as well. It was fun. There were a number of things that I felt weren't explained well and broke my suspension of disbelief; I haven't read the book, but I found myself really curious whether the book takes the time to justify things more. Obviously, the movie has a lot of pressure to rush to the next "big moment".
@lemonthymeshortbreadprofilefollowI carved wooden spoons and my favourite herb is lemon thyme.replied to@sicilicaprofilefollow:
If thereโ€™s one thing Andy Weir canโ€™t be critiqued on then itโ€™s not fully justifying all of the science. I think the film on the other hand can be hard to follow for someone who has neither read the book nor has a scientific background. Itโ€™s just hard to monologue about gravitational forces and relativistic speeds on screen.
@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
Onboarded on Claude Team with Unlimited credit usage. In the first day, subscription limits were hit and then it silently went on spending 530 EUR in credits before I noticed.
@stagas๐Ÿคธprofilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.:
I knew token-based was more expensive but didnโ€™t imagine that much. Which is why u canโ€™t compete making alternative coding agents, their own subscriptions are much cheaper, but why they do it on their own Teams package is weird. Maybe targetting companies they feel they can pay.
@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.replied to@stagas๐Ÿคธprofilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
Yes, that's for enterprises, that want SSO, governance, budgeting, data protection, etc etc. For C-level they are interested in "how much do we pay for AI", and with personal subscriptions you can't answer => can't manage it. This 530 EUR is the price for that learning.
@mcclaskcprofilefollowIs mayonnaise an instrument? Email me if you want a pizza roll.wrote:
Is mayonnaise an instrument?