textlog
join
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.
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.
Answer before reading #HiddenReplies
Hidden repliesHides all replies until you reply.

Any conversation

So annoyed that reddit is gating read-access to it's threads. What's up with that?? (โ•ฏยฐโ–กยฐ)โ•ฏ๏ธต โ”ปโ”โ”ป (thx ascii-art)
profilefollowwrote:
I think more than 50% of our economy's businesses, are cosplaying. Not in it for customers or profit; in it for investors and investments. "Looking like a business", as your real line of work.
I've never thought of something like OF as gambling. But I guess your point is that young adults are pushed to a lot of "you have a 0.1% chance of hitting it big and a 99.9% chance of getting no online traction at all" types of careers?
โ€ฆ
I know many small business owners, and a clear majority do have investors, whether spouse, parents, or a small business loan. Easily more than 50% never make a profit. I know a woman who ran a clothing retail store for over a decade, who was never able to pay herself a dime. When the pandemic hit, everyone closed, but the ones who actually needed the business to pay their bills opened up as soon as it was allowed or shortly thereafter. Many took years. They are cosplaying.
a business loan is not an investment, it is debt financing that pays back with interest. An investment means putting money into a company to gain ownership or a share of future profits. to me it feels like youre arguing against cosplaying, showing small businesses struggle and arent just playing boss for the funzies.
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.
The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.
profilefollowI 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
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied toprofilefollowI 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.
profilefollowreplied toprofilefollowI 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".
profilefollowI carved wooden spoons and my favourite herb is lemon thyme.replied toprofilefollow:
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.
๐Ÿ˜ŠprofilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
I read larsfaye.com/โ€ฆ/ai-coding-will-prevent-expertiselarsfaye.comAI Coding will Prevent Expertise | Lars FayeThe need for ongoing friction in long-term skill formation. #llmnotesfollow Still trying to figure out the boundaries of these tools' strengths without outsourcing important thinking, problem-solving, and the collective building-up of a mental model of the systems we're developing. The shape of LLM tools as toolsโ€”fit for a purpose, ergonomicโ€”is becoming clearer, and human patterns of behavior with them that do more harm than good are also becoming easier to recognize.
What is the exact definition of an IDE? JetBrain's products are as good as ever, in my opinion, but people have definitely made non-IDEs into big, hulking behemoths with tons of plugins. If anything, maybe "just an editor" is dead?
๐Ÿคชprofilefollowwrote:
When I read about #autismnotesfollow in reputable #booksnotesfollow, I relate to almost everything that is described (keeping in mind that no two autistic people are alike). However, I always read the sections on #eyeContactnotesfollow with bewilderment. I don't identify either with the obsessive need to make eye contact, which UK and US books often mention as #neurotypicalnotesfollow behavior, or with the difficulties in making it. #Neurodiversitynotesfollow #Psychologynotesfollow #Autismnotesfollow
I suspectโ€”and this is the interesting partโ€”that there are significant cultural differences in this regard. In fact, the reputable Spanish books on autism that I have read don't address this topic (if I remember correctly).
โ€ฆ
I donโ€™t think itโ€™s something people notice immediately and consciously think this is wrong to make a comment, they will probably just not feel the same connection or feel something is off about you in general or think that youโ€™re busy thinking other things. Itโ€™s not the only case to not make eye contact with someone, you might just not like them. Thatโ€™s probably what they will sense.
โ˜•profilefollowEternal disciple of impostor syndrome โˆ™ Perth, WA.wrote:
Trying to gently work my way back to the target intensity needed for the Norwegian 4x4 to get my weekly dose of suck and feel accomplished after. Chronic left leg pain unfortunately likes reminding me it's there though.
profilefollowwrote:
ๅฏนไบŽๆ•ดไธชไบ’่”็ฝ‘ๅކๅฒ๏ผŒๆˆ‘ๅฏ่ฏดๅŸบๆœฌไธŠๆ˜ฏไธ€ไธชๆ—่ง‚่€…๏ผŒๆˆ‘ไธ€็›ดๅœจๆถˆ่ดนๅ†…ๅฎน๏ผŒไฝ†ๆ˜ฏๆฒกๆœ‰็”Ÿไบง่ฟ‡ไป€ไนˆๅ†…ๅฎน๏ผŒไบ’่”็ฝ‘ไธŠๆฒกๆœ‰ๆˆ‘็š„็—•่ฟน๏ผŒ่ฟ™ๆ˜ฏๆ„ๅค–ๅŽๆžœ๏ผŒๅ› ไธบไธญๅ›ฝ็š„่บซไปฝๅ’Œๅ†…ๅฎนๆ”ฟ็ญ–
Regarding the entire history of the internet, I can say I've been largely an observer. I've always consumed content, but I haven't produced any. There's no trace of me on the internet, which is an unforeseen consequence due to China's identity and content policies.
ๆˆ‘ไธๅคชๆ˜Ž็™ฝไธญๅ›ฝ็š„โ€œ้˜ฒ็ซ้•ฟๅŸŽโ€ๆ˜ฏๆ€Žไนˆ่ฟไฝœ็š„ใ€‚ๆฏ”ๅฆ‚่ฏด๏ผŒไฝ ๅˆฐๅบ•ๆ˜ฏๆ€Žไนˆ่ฎฟ้—ฎ่ฟ™ไธช็ฝ‘็ซ™็š„๏ผŸ ๏ผˆๆˆ‘ๆ˜ฏๅœจ้€š่ฟ‡็ฟป่ฏ‘่ฝฏไปถๅ’Œไฝ ไบคๆตใ€‚๏ผ‰
I don't quite understand how China's "Great Firewall" works. For example, how exactly did you access this website? (I'm communicating with you through translation software.)
โ€ฆ
The results of my simulation are bullocks but I believe I know why. Rerunning with the patch now. Fingers crossed!
curious to know whats the experience of production push in other companies? e.g lots of documents/approvalsโ€ฆ
looking at the German public railway system (DB), I always wonder if the stereotypes of timeliness and precision were ever actually true. Surely someone must've figured out by now how off they are? These trains are always late and / or broken.
โ€ฆ