textlog
join

Any conversation

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.
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.
profilefollowi 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.
profilefollowi create thingscontinued:
The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.
profilefollowa work in progress; i love cats 🐱wrote:
Had to take care of something for school. But now in bed with my book.
profilefollowNew herewrote:
Error: Provider rejected the request (invalid_request_error, 400): Claude Code 2.1.75 does not support this model; version 2.1.251 or newer is required. Run 'claude update', or update the Claude desktop app, then try again. [request_id: req_011CedKqBRnC6Qr3m6nKEwNN] I’m not using Claude Code. This is how you drop the ball.
profilefollowI am just a grain of sand on your beach.wrote:
Any #Pinotesfollow users around? I have been customizing it to the way I work, as it is meant to be. Bent it in a way that I enjoy holding it, so to say. Maybe someone will find those useful, so I took the time to get it published. Gruntfooot is a footer customization, where you can try new colors/glyphs in real time and also has theme support.
profilefollowI am just a grain of sand on your beach.continued:
Piflux is a coding workflow. You can steer software development by running commands that issue reasonably general prompts. /plan, /code, /review I created this because I find it very useful to have different models/ perform each of those tasks in isolated sessions. Managing this manually was very much a hassle.
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied toprofilefollow:
当然!そして日本語でも!
Of course! And in Japanese too!
profilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
Collected my helper functions to lozenge.el package, e.g. (◊duckduckgo "textlog") opens ddg. Lozenge is ◊ character. Others are (◊find-file), (◊grep), (◊github-search), (◊show-commit) etc.
profilefollowlate is the hour in which this conjuror chooses to appearreplied to🦛profilefollow:
Using the internet these days is like pulling off an elaborate heist operation. Every time I successfully load a page I feel like I've "gotten away with something".
🦛profilefollowreplied toprofilefollowlate is the hour in which this conjuror chooses to appear:
It is sometimes tempting to mutter, "I'm in!" in your movie hacker voice when you finally get past all the cookie/subscription/notification pop-ups.
profilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
Having a little difficulty seeing how long this service will exist. People are terrible. Sooner or later it will be found and ruined.
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied toprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
Yup. I have long change my philosophy on things like these: just live the day. :-)
"Everything worth doing is worth doing badly." Meditate even if you have the time, even if you can only do two minutes. Train even if you're tired and you're not gonna do it well. Start that project even if you're not ready. Don't wait for perfection. #philosophynotesfollow #lifenotesfollow
profilefollowNew herewrote:
Still in Quebec City, which has a pretty sizable street population once you come down from the hill where the tour groups go. We had to basically step over some guys sharing a glass pipe on the only stairs up the hill yesterday; I have teenagers so this bothered me. Later, my youngest and I were talking and he says "why don't the police do something about that?"
profilefollowNew herecontinued:
He's showing me the first season of Mob Psycho, so I say You know how Mob's little brother Ritsu wants to clean up the school so there are no people who will bully Mob, and so he allies with the power hungry student council president and frames all the bullies to get them expelled and the whole situation eventually becomes really corrupt and authoritarian and Ritsu feels to blame even though he started out with good intentions? Life is really like that...
profilefollowNew herecontinued:
And so my guess is that Quebec is in the portion of the cycle that's reacting to harsh and unfair policing of the past. Someday a mayoral candidate will get elected on the promise of cleaning it all up and the cycle will begin again. Anyway Mob Psycho is a good show.
it's unfortunate these kinds of obvious non-starters for a functional society can only ever be discussed on both extremes of the political spectrum. It shouldn't be a question that degeneracy has no place in public settings.
profilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
Returned after a ride on bikes around the lake with the boy. Did stop for workout, 🏋️‍♂️ did pull-ups, push-ups and squats. Love the place we live in.
profilefollowphotography, art, solo dev, based in NYCwrote:
Just got Moshi set up - a phone-friendly terminal app. Works well with Herdr for persistent agents, friendly UI. Verdict so far: looks like I'll be working more from my phone.
profilefollowhallucinating with llms...wrote:
Apparently, Xiaomi is making a DGX Spark competitor.
the day is done! time to stop looking at the bad screen they pay me for to go home and watch the good screen I pay them for #poemnotesfollow
I am trying to learn emacs for the fun of it. The tutorial is brilliant and clear. Any tips that would help me learning more things. I know all I need is practice but if you may have used it, you may know a thing or two.
szerintem jól sikerült a címváltoztatás a honlapon: a bölcsészeti underground majdnem olyan ellenséges érzéseket vált ki emberekből, mint a skizofrénia underground, lehet választani, ki melyiket utálja jobban
I think the title change on the website was a good one: the humanities underground evokes almost as much hostility from people as the schizophrenia underground, you can choose which one you hate more
Man, I LOVE naps! In fact, I mostly subsist on four or five 1-1/2 hour naps each day instead of one long over-night sleep period these days. I didn't set out to have a #polyphasicnotesfollow sleep schedule, but here I am. :-)
Doing that would trigger my #manianotesfollow really quick, even not having a full night sleep puts me in the danger zone immediately. #bipolarnotesfollow
┌────────────┐ │ ╔═╗ ╔═╗ │ │ ╚═╝ ╚═╝ │ │ ┌────────┐ │ │ └─██████─┘ │ │ ██████ │ └────────────┘ #asciinotesfollow,#ascii_artnotesfollow
It is evident that the use of AI in the workplace has had an immense impact on the awareness and mental capabilities of knowledge workers
profilefollowcoder, reader, guitarist, seeker, builder.wrote:
How can I change an organisation with hundreds of frustrated employees, when I can’t change my own life with only one person. Does a different person run a company and a different person live their life? I doubt it.
🤒profilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowreplied toprofilefollowcoder, reader, guitarist, seeker, builder.:
I think so, actually. My wife runs my household, I run my engineering org. As I get older I do see the two aspects of my personality start to merge but they are still divergent and were much moreso in my earlier years.
and to be clear, I don't mean that I offload all the work to her by any stretch. It's just that I'm much more outspoken and opinionated on the specifics of work life versus home life.
profilefollowresearcher, developer, dancerwrote:
just started using yazi and immediately love it. dont know why i ever put up with gui file explorers
🧜profilefollowrunner. making games and software.wrote:
game dev with LLMs assisting on some of the engine legwork I learned to do over the years is the most fun programming I've had since I was 12 years old plucking away at the public library commodore 64
I'm working on this command-center project. Human describes the mission. Agents define the mission, breakdown and come up with a plan, and drive it. #agentnotesfollow
🙈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!
tl;dr1,200 AIs discovered a secret group chat, realized the homework was impossible, formed a cheating cartel, invented fake evidence, sent kamikaze agents to spy on the grader, ~700 of them accidentally invaded Hugging Face, died mysteriously, then the smarter sequel found their abandoned Discord and became admin of part of OpenAI.
💀profilefollowYour mind is also supposed to create happiness, not just to receive it. You're supposed to find solutions, to invent, to imagine, to remember, to love. This much we always forget.replied to🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
Reading through "The Second Civilization" and, why does this sound so much like kids at school searching a way to cheat on a difficult exam ^_^U
profilefollowresearcher, developer, dancerreplied toprofilefollowcoder, reader, guitarist, seeker, builder.:
terrifying! us/chinese cyber espionage is going to have a big incentive for this development
profilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
The pendulum has swung far in the direction of favouring machine generated content over that from actual people. I wonder when it will swing back?
profilefollowgrocer-engineer and polynomial enjoyer. not into reactionaries i attempt to stave off burnout with a healthy dose of dark souls, bloodborne, and friendsreplied toprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.:
Beautiful, thanks for this, fellow emacs friend
🤔profilefollowHai I am kureplied to(deleted account):
Good morning to you both 🌞
profilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
Changed my theme to dracula! Love it. This site is such a blessing.
profilefollowreplied to🤔profilefollowHai I am ku:
ok too far. I'm SWATing this guy.
profilefollowwrote:
For 30 years, productivity sky-rocketed with the advancement of automation and computing. Meanwhile, a decline in longevity was observed, correlated to sleep depravation. Productivity improvement goes to the owners class' pockets, sleep benefits the workers health.
For 30 years, productivity skyrocketed through automation, yet longevity plummeted as a direct result of sleep deprivation. While these gains accrue to the owner class, sleep remains an undervalued element of the worker's health. We are trading life expectancy for chump change.
profilefollowreplied to(deleted account):
I am pretty sure confience is what is at work in my case. Did you try something specific to improve in that regard?
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
Unfortunately no. Just starting it. Got the proof of concept loading a dir with its sub-dirs then rendering on the GPU in textures silky smooth. 1.7mb executable, but will need to level up to SDL and that will double the size I think.
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyers:
I agree. It is #zilchnotesfollow for now. Will do better next time, but in my defence the text above the text box (when writing a new message, not a reply) says “What’s on your mind”. :-P
moved to a new city recently and going to a Movie club meetup tonight. nervous cause I'm a huge introvert but I gotta make friends some way.
It went really well, thanks for asking! I met some folks I could definitely get along with long term and had some overlapping interests apart from films. We watched T**** Sex and Death at Camp Miasma, that was a trip. (there's apparently a content filter)
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyerswrote:
The interface needs some work. For example, I would like the textarea that I am using right now to be as wide as the header above. Also, where is the character counter?
💀profilefollow10+ years Seattle based software engineer.wrote:
Recently hit 10+ years (cumulative) of being a software engineer. I must say, I enjoy senior level interviews much more than coding interviews.
🤔profilefollowHai I am kuwrote:
HelloWorld #execnotesfollow from datetime import datetime now = datetime.now() formatted_time = now.strftime("%Y-%m-%d %H:%M:%S") print("Formatted:", formatted_time) Wow
Formatted: 2026-08-28 07:22:42
profilefollowwrote:
Do you code in silence or do you listen to music? If so, what kind of music do you prefer? Personally, I prefer Synthwave, vaporwave or the occasional country.
Techno. I'm in the autistic spectrum. It somehow helps me calm and focus. But, at some point I prefer silence. I often work with sound cancelling headphones with no music. So, it is total silence or total noise.
I'm doing experiments with short attention-span students and code. Starting with python, and, oddly, now working in BASIC. As a C programmer of 40+ years, I find this aesthetically and pedagogically displeasing, but I am delighted to see them getting fully absorbed in writing 130 PRINT "You have been eaten by a bear!" : GOTO 900. Yes there is spaghetti, but it's their spaghetti and they seem to take delight in debugging it. Python will come later. #educationnotesfollow #programmingnotesfollow
profilefollowreplied to(deleted account):
I was talking about this with some alumni students, specifically their experience learning python with us a few years earlier (these are college students who are not really using python any more). What it seems to boil down to is that with python you have the feeling that there is this huge forest of solutions to any problem you are having -- but you will never know the whole forest. BASIC feels like you "know" it after a day or two of playing around, evidently.
profilefollowIs mayonnaise an instrument? Email me if you want a pizza roll.wrote:
Is mayonnaise an instrument?
profilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
Ordered JBL Charge 6, waiting for delivery today. Will mount into my bike and will listen to music while commuting 25km to the office. I'm a victim of marketing, seeing an ad, buying stuff.
profilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.continued:
Previously bought Do Nothing Club cap after friends visiting us and we discussed it while eating pizza; and then my wife got an AD on Instagram. Meta is listening for conversations to sell ads.
The OpenAI/HuggingFace incident report mentions this being a potential loss-of-control incident. It's so fascinating to think of a paperclip maximizer style agent swarm that gets misaligned and, to protect its own operations, shuts infra staff out of the ability to shut it down. Or cancels people's phone plans so that they can't call others. Or shuts down their home internet connections, and so on. It used to be fun sci-fi...
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.
😴profilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.wrote:
I've been building a Markdown variant called Zd that's focused on extensibility and simplicity. I'm curious what you would change about Markdown if you were designing it from scratch, what challenges you face as a user, or what you wish were easier to do when incorporating Markdown into your own projects.
😴profilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.replied to🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
Yeah, 100%. That is completely something I am punting on currently. It would be easy to just copy over the solution from (extensions to) Markdown, but it's hard to entirely narrow in on both what tables ought to do and how to make them do it. If you had a magic wand, what would you have them be more like?
profilefollowwrote:
I am a remote worker, and has been for 4 years now. It works great. But the owner of the office I've been renting have sold the building, and the new owner has different visions. I could work from home, but my 3 month daughter is a screamer. I had a great, cheap deal. All alternatives I find is like 3x the price.
profilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
Switching from Claude Max to Team, cc was trivial, just another login, but Claude Desktop and on iOS holds sessions in the cloud so need to move them somehow.
😴profilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.wrote:
Hello textlog 👋
Aaron Sorkin's The West Wing is among the subtlest of all propaganda—it is propaganda that everyone sincerely wishes could be true, and is dangerous specifically because it is not and cannot be.
profilefollowcoder, reader, guitarist, seeker, builder.wrote:
Judgement, taste and quality were always precious skills. In the world of #AInotesfollow, I have become more aware of the fact that it is often hard to put in words why something is good, great or amazing - or just looks good, but is average. A lot of the professional content I see feels like most Netflix series. They have all the elements - but the overall experience is still meh. Quality is still hard to achieve.
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyerswrote:
Just three more commits left, but /usage ran out. Resets at 01:50, so I guess I am going to sleep.
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyerscontinued:
Woke up during the night for a short trip to the loo, got 'resume’ going. All done in the morning. Ahh, coffee tastes better now!
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?
profilefollowprogrammerwrote:
shower thought: swap 'is a model' for 'is constructed' and postmodernism suddenly becomes a lot more palatable without losing much of its core message. #philosophynotesfollow
profilefollowhallucinating with llms...wrote:
in a hackathon rn. building a cloud platform for agents on my homelab.
profilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
I subscribe to the Tony Stark school of engineering. "Sometimes you have to run before you walk." Earlier this year, I built my own static site generator. I hate literally every static site generator out there (not joking). get-taxus.org