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.
#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.

Any conversation

profilefollowwrote:
I stopped interacting much with social media years ago and am honestly not sure how to do this any moreโ€ฆ but I like the shape of what is starting here.
profilefollowlate is the hour in which this conjuror chooses to appearreplied toprofilefollowresearcher, developer, dancer:
Reminds me of the Kiwix offline Wikipedia "nopic" version. (I downloaded that version because it's much smaller than the full version that includes images.)
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied toprofilefollowresearcher, developer, dancer:
Images are fine for me, but should be behind a link, or a small thumbnail. Non-animated. Videos too. But thatโ€™s me. They will most likely have to be hosted elsewhere, while the thumb could be here. Nah. We are ok with just text.
๐Ÿคธprofilefollowcreative technologist creator of textlogreplied toprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.:
Yeah, before you know it the feed becomes a collection of memes. Have to click or perhaps a browser extension that you personally see the opengraph/linked image in the feed but it's not inviting people to post them for the feed itself.
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.
โ€ฆ
๐Ÿคธprofilefollowcreative technologist creator of textlogwrote:
NIH syndrome? I am guilty of it too. I love implementing things from scratch, you learn a lot by doing so and you get to own the codebase end-to-end, so no surprises and fighting around othersโ€™ choices. It can get exhausting too though, in the end I succumb to using off-the-shelf components because my primary goals move at a higher level.
profilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostlyreplied to๐Ÿคธprofilefollowcreative technologist creator of textlog:
I don't see much point in trying to build software at a "higher level", like whole products and services. I'm going to go down low and train myself on the fundamentals. Hopefully in time I'll be able to contribute to the foundational bits. You're right, it does get exhausting. At some point you just want to rebuild everything, which is not possible.
profilefollow#minneapolisnotesfollowreplied toprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostly:
I'm going to go down low and train myself on the fundamentals. When I wrote an HTTP sever (albeit HTTP/1.1), I learned how primitive the HTTP protocol its magic became a skill. It is freeing understanding how things work and allows me to choose where to spend time with more intention.
โ€ฆ
Brikka. Someone on HN mentioned it as great design. I looked it up and bought it after a while. It's been such a delight. Even the occasional brew gone wrong adds to the experience. v60 is also nice when I need it to slow down or be the experience a bit meditative. But Chinese tea is the best for that.
๐Ÿ’งprofilefollowgrand and intoxicating innocence always onlinewrote:
sometimes my devices will make noises that seem to go off for no reason. it really stresses me out though, I can't help but always think something is doing it and if it's not me, then what?
๐Ÿ’งprofilefollowgrand and intoxicating innocence always onlinereplied toprofilefollowI ain't no nothing!:
oh, I may not be able to get this since i am too young to purchase anything online and I lack the funds. I will definitely urge my family to get it though, because I do constantly have issues of hearing things or believing someone is watching me
hลฑ, de izgalmas, most kรบszik fel a Gemma 4 LLM a silent hawk laptopra, a dual boot-os fล‘terminรกl mรกr nem bรญrta az osztรกlyharcot, remรฉlhetล‘leg nem kell hozzรก se vpn, se statikus ip, VirtualBoxba jรถn az OpenClaw รผgynรถk, majd a humanities informatikai projekten belรผl beszรกmolok rรณla
hello, but exciting, Gemma 4 LLM is now crawling onto the silent hawk laptop, the dual boot main terminal couldn't handle the class struggle anymore, hopefully it won't require a vpn or static ip, the OpenClaw agent is coming to VirtualBox, I'll report on it within the humanities IT project
profilefollow๐ŸŽ A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.wrote:
Which Linux distribution do you like the most, and why? Follow the previous with your favourite desktop environment.
โ€ฆ
๐Ÿค”profilefollowHai I am kureplied to๐Ÿคชprofilefollow:
Same here except I landed on fedora with default gnome desktop. The old desktops I ssh into are Debian though. Edit: spelling fix I to -> into
๐Ÿค”profilefollowreplied toprofilefollow๐ŸŽ A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.:
Arch Linux with KDE. I like that Arch comes with nothing and is pretty vanilla. No bloat, and customisable. No major upgrades where 5 things break at once. Install once, and it's fine until the device has to be replaced. Only then usually do a fresh install. It's up to date, still pretty boring, and you learn a bit in the process.
๐Ÿค”profilefollowreplied toprofilefollow๐ŸŽ A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.:
i distro hoped a lot. Finally i found my cozy home with debian with kde. 3 years still running without a problem all the software i use works perfectly and the games run smoothly.
๐Ÿ˜Žprofilefollowaeres-u99 on github, CodeAtlas \o/replied toprofilefollow๐ŸŽ A lifetime Apple user. Partner says I am pedantic, sarcastic, and cynic. I just want to be me.:
Arch with i3, have been using it for like 7-8 years now. Started out at elementary os, really good and everything, but the thing where I dont need to install *-dev libs separately saves me a lot of time during compilations and building. Also, AUR is a life saver at times.
๐Ÿ“ถprofilefollowcurious & creativewrote:
Management says โ€žAI firstโ€œ, everyone hears โ€žHuman secondโ€œ
๐ŸฅทprofilefollowFather, getting older every day, technologist, enterprise architect @ work, like to explore tech. Like to keep it simple and work in the shell, write in vim, prefer Debian if I have the choice. Plays saxophone and clarinet. Enjoy motorcycle riding, photography, hiking. Christian.wrote:
I dag brukte jeg scann&betal rett fra Coop-appโ€™en pรฅ Obs. Snakk om smooth opplevelse! #hverdagnotesfollow #forenklingnotesfollow
โ€ฆ
profilefollowresearcher, developer, dancerwrote:
i dont think its all talk, these are smart people that have been in ai since the 2000s, and they raise good points. current incentive structures are very dangerous long term
๐Ÿคธprofilefollowcreative technologist creator of textlogreplied toprofilefollowresearcher, developer, dancer:
they too have every incentive to exaggerate because they are selling safety and/or books on the topic. I donโ€™t believe we wonโ€™t see it coming. Any issues that will manifest will be very visible and weโ€™ll have plenty of time to mitigate their impact.
profilefollowresearcher, developer, dancerreplied to๐Ÿคธprofilefollowcreative technologist creator of textlog:
they could be making a lot more money by just working at ai firms i fear. the thing that got me worried the hacking incidents lately, huggingface etc. if the capabilities consistently outspeed the development of safety measures, and if the private arms race logic continues, i dont think this is a good spot to be in long term
profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyerswrote:
There is someone absolutely rotten and fetid in this airplane. Every 10 minutes. Dear Spaghetti Monster!
๐ŸฅทprofilefollowFather, getting older every day, technologist, enterprise architect @ work, like to explore tech. Like to keep it simple and work in the shell, write in vim, prefer Debian if I have the choice. Plays saxophone and clarinet. Enjoy motorcycle riding, photography, hiking. Christian.wrote:
It is troubling watching the news today from the elections in Germany. Yes, it is democratic and absolutely fair elections and the people of Germany make their own choice in their situation. Still, seeing the far right gaining so much ground in Germany brings your thoughts some 90 years back. Letโ€™s hope and pray Germany is not going there again.
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 #poemnotesfollow #aifearnotesfollow
profilefollowMillenial/Xenial who used to be really excited about programming.replied toprofilefollow:
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) #musicnotesfollow #aifearnotesfollow