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.
profilefollowwrote:
Team vim, team emacs, or team “my editor doesn’t start wars”? One line, no essays. Go!
profilefollowresearcher, developer, dancerreplied to😊profilefollowPresbyter, husband, father, technologist, linguist, musician.:
ouhh bet thats nice. im rocking some 50€ aliexpress print/pcb that i put some old switches/caps onto. legitimately impressed, best keyboard i ever used, never going back to traditional kbs.
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.
profilefollowdeveloper stereotype: music lover, gamer, and failed artistwrote:
everytime i see projects like this, i think that a rss implementation it wolud be so cool. Although iknow that there is not that much rss lover out there haha
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
profilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
I've linked up my blog (jeff-mitchell.dev) to textlog. I hope to use the two things together now to build a bit more of a writing habit. The 500 character increase is nice, room to breath but not an essay. Gotta build the muscles slowly :)
Spent months pair-building a full telecom BSS with an AI. The surprise wasn't the code — it was that the real job became verification. The AI read 450 tokens for every 1 it wrote. Turns out building honestly is mostly re-reading. #opensourcebssnotesfollow
profilefollowI just a fly on the wallwrote:
"Waste no more time arguing what a good man should be. Be one." - Marcus Aurelius
🧜profilefollowrunner. making games and software.replied toprofilefollow:
94c water, pour over, generous amounts of beans, a little warmed milk. For me it's the best flavor!
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.
🥷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:
There are many distractions. Much is way too verbose. A calm, quiet and “distraction less” experience suits me better. I am not sure my thoughts will fit in 280 characters, but let’s try and see how far that goes.
profilefollowex-perl programmer, linux userwrote:
let's see how arabic letters are rendered here: بسم الله الرحمن الرحيم
Let's see how Arabic letters are rendered here: بسم الله الرحمن الرحيم
profilefollowI carved wooden spoons and my favourite herb is lemon thyme.wrote:
After months of hardly any rain, I’m really enjoying a cozy day stuck indoors just listening to the downpour; getting on with doing some house cleaning. Is it too premature to declare this autumn⁇
🥸profilefollowJust another AI guywrote:
I was curious of testing the Omarchy distribution this week just because I had some free time to work on it. I saw a lot of hate around it and kind of get the point but so far at least for what I have been doing it wasn't terrible (at least at the point of writing this) although I am not trying to convince anybody to use it. But it just remember me how much do I hate MS.
🤒profilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowreplied to🥸profilefollowJust another AI guy:
I think a lot of the pull around Omarchy is you get a riced desktop out of the box? Personally, I wouldn't really consider it for a number of reasons but I do appreciate a nice looking desktop. If you want something similarly pretty but a bit more normal and less monolithic (who needs a whole 'distro' for what Omarchy provides anyway?) approach then I'd suggest Niri + Noctalia.
😊profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
This bout of COVID is more like “Corona Light” compared to previous years, but I’m still spending most of it in bed. Stay safe out there.
It didn’t work out, we found competition offering the same service for free so the #ideanotesfollow fell apart. Need to find something else to do as a side project to textlog. 😕 Thinking of a code editor that’s focused on the new agentic workflows, so you have it on the side regardless of your agent tools and it monitors the git diff and offers a nice panorama view. I’ve done an extension for VSCode similar to this idea.
🥷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 was followed by @semperosprofilefollowPresbyter, husband, father, technologist, linguist, musician. here and wonder if this the one of ari fame? If so, I’m thankful for their work. Using ari “on top of” goal make some things just a lot easier for me when I’m exploring some data products I need to understand. #programmingnotesfollow
😊profilefollowPresbyter, husband, father, technologist, linguist, musician.replied to🥷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.:
Hi, yes, I develop ari. I'm so glad it's proven useful for you! Any feature requests or changes you'd like to see? I'm curious what bits of ari have made it easier for you to explore data, too. UI or #dataviznotesfollow additions keep tempting me, but I haven't settled on what I want there. If you have thoughts on that front, I welcome them.
Using deep research for trip planning and visualising it with coding agent is fun.
😴profilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.wrote:
a constant, existential pull so old I couldn't tell you the end or draw its shape between kind acceptance and striving, struggling, writhing, climbing learning, growing, discontent "do you feel this way, too, at endless war with longing itself?" but the birds and trees and ants and wind in their own marvelous design don't reply #poemnotesfollow
Built a couple lambdas today to send account verification and onboarding drip emails for folks who sign up for my app but don’t make it all the way through the onboarding flow. Pretty cool to be able to quickly bang out self-contained infra for this instead of having to pay some SaaS vendor.
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.
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied to🤪profilefollowdev, programming, going off vibes and coffee hellodavid.devDavid Gonzalez-VelezDavid Gonzalez-Velez | Software Engineer & ResearcherSelf-taught software engineer and researcher based in Chicago, specializing in quantum computation and full-stack development.:
HN, and some carefully picked r/Reddits. Can't stand Lobste.rslobste.rsLobstersA computing-focused community centered around link aggregation and discussion..
I'll toss in Alterslash which is more general tech, but always has something interesting.
The essential work of #programmingnotesfollow is building the theory of the problem + solution. Theory then enables creation of working code. In the end, the code is necessary, but it is not sufficient. Theory is indispensable. (cf. Peter Naur, 1985)
“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
Came from /post/2059
Made another important decision to remove all counters — notes, replies, following, followers — from both people and hashtags, so you focus on the content not the numbers. It was creating competition which feeds the dopamine system, which we have exhausted and try to avoid. #meta
. I like the design.
به نام خداوند جان آفرین
In the name of God, the Giver of Life.
😴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?
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.
Tweaking the /hottextloghotA quieter place for your thoughts. algorithm. Really want posts like /post/142 i.e genuinely long discussions, stay longer instead of getting burried away by newer posts.
🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyerswrote:
All emails from textlog go to my junk folder, @stagasprofilefollowcreative technologist creator of textlog. Using iCloud+. Not sure if anyone reported that before, so here I am. :-)
🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyers:
Yeah it's happening to people. It's because the email contains a link and we don't have the reputation yet. Not sure what to do, have you tried reporting it as 'Not spam' in your client? Maybe if enough people do that it will fix. Gmail works ok.
🥷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:
Med dyp respekt minnes vi kong Harald av Norge som gikk bort i morgentimene i dag. Fred over hans minne. Våre tanker er hos den som har mistet en mann, de som har mistet en far og svigerfar, barn som har mistet en bestefar. Og et helt land som har mistet en konge. Må Gud styrke han som følger etter. #norwaynotesfollow #kingharaldnotesfollow
With deep respect we remember King Harald of Norway who passed away in the early hours of this morning. May his memory rest in peace. Our thoughts are with those who have lost a husband, those who have lost a father and father-in-law, children who have lost a grandfather. And an entire country that has lost a king. May God strengthen those who follow. #norwaynotesfollow #kingharaldnotesfollow
😴profilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.wrote:
Hello textlog 👋
🤔profilefollowHai I am kuwrote:
Hello, everyone. I am @kuprofilefollowHai I am ku how are you? Today is Friday. Welcome to my text log.
🤔profilefollowHai I am kureplied to(deleted account):
Hi 👋
Cool!! I'm currently designing and idea-shopping for an ultra light weight, super aesthetic browser whose goal is to go back to HTML roots and just be a "document browser". It would have HTML 4 and semantic HTML support, images, videos, full HTTP support, cookies, etc. No CSS, JS
Feather to paper that's moon inked for you -- a greeting from somewhere. It isn't for you. But it will be for you.
我在中国是一个准脱离政府掌控者,基于身份的一切活动我都不参与,比如正式工作和网购。我也为此付出巨大代价,我的选择空间被极大压缩,行动能力损失严重。我只能通过少量免费wifi访问互联网
In China, I am practically independent of the government; I don't participate in any activities based on my status, such as formal work or online shopping. I've paid a heavy price for this; my choices have been severely limited, and my mobility has been significantly impaired. I can only access the internet through limited free Wi-Fi.
My first post on Twitter in 2007 or so was kinda about the utility of broadcasting what was on my mind. :)
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.
Catastrophic interference is also a favorite Wikipedia page and concept. The thing is, it doesn’t only happen to artificial neural networks, I’ve had it happen to me a few times. Especially with pin numbers, newer pins overwriting old ones and I’m always scared when I’m having hard time remembering something that this catastrophic interference applied and now the information is gone from my brain.
profilefollowi write instruction for computer to follow. i'm a software engineer.wrote:
how do i know my user id? i created by account 5hr after #launchnotesfollow. im user # what?
My 3yr old woke up at 5am this morning crying - not terribly uncommon - and when I went in there to check on her she just said "daddy's here" without looking at me and went back to sleep
profilefollowi create thingswrote:
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.
profilefollowi create thingscontinued:
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).
profilefollowi create thingscontinued:
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.
working on permanent.sh a coding agent for the growing and seemingly permanent underclass of people that are left behind by the unbelievable pace of progress in ai the big labs are fighting over felonybench (exploitbench) and google deepmind ceo left to work on drug discovery
Went to a store yesterday, 🤏 this close to buy a Delonghi Dedica but when I touched it, it felt so so rattly and cheap and it instantly turned me off. So I did some more research and now I think a used Gaggia Classic Pro will do. #coffeenotesfollow lovers, why is your hobby so hard to break into 😪
profilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.wrote:
Sipping Choya’s ウメッシュ ノンアルコル。😋
Sipping Choya's Umeshu (plum wine), non-alcoholic. 😋
profilefollowlate is the hour in which this conjuror chooses to appearwrote:
🐉 #execnotesfollow let N=6,D0=[0,1,0,-1],D1=[1,0,-1,0],s=[],g={},d=x=y=xa=xb=ya=yb=0; for(let n=0;n<N;n++){s=s.concat([1]).concat(s.map(x=>!x).reverse())} for(let i=0;i<s.length;i++) { x<xa && (xa=x);y<ya && (ya=y);x>xb && (xb=x);y>yb && (yb=y); let t=s[i]?1:-1,e=(d+t+4)%4; g[x]||(g[x]={}); g[x][y]=g[x][y]?"┼":"┌┐└┘"[(t*(D0[d]+D0[e])>0?0:2)+(t*(D1[d]+D1[e])>0?0:1)]; x+=D0[e];y+=D1[e];d=e; } for(j=yb;j>=ya;j--) { let u=""; for(i=xa;i<=xb;i++){u+=(g[i][j]||"·")} console.log(u); }
·┌┐┌┐······· ┌┘└┼┘····┌┐· └··└┐┌┐···└┐ ···┌┼┼┘···┌┘ ···└┼┼┐┌┐┌┼┐ ···┌┼┘└┼┼┘└┘ ···└┼┐·└┼┐·· ····└┘··└┘··
profilefollowlate is the hour in which this conjuror chooses to appearcontinued:
OK, so you only get 10 lines of output. (I tried to get ChatGPT to write this program but it kept messing up, so I wrote it by hand.)
At moms house for the holiday weekend so the kids can see Nana. She has a "premium Plex" account on her tv serving a truly massive amount of content. Allegedly the brother of a long time friend is offering the "service". She says that the service will go down when the host is having outages, so the infra is likely local. I brought my year this weekend. We are going to dig in to this guys operation. Intuition dictates that there is some hand rolled accounting going on. I'd like to see it.
profilefollowSoftware • maker projects • music • DIY Mostly figuring things out as I go.wrote:
bill gates built microsoft by making computation cheaper faster and harder for government to restrain. now that he's a billionaire no longer dependent on the free market for his own success he's discovered the virtues of taxing the next wave of computation. 1995 gates would have called it a tax on innovation. classic pull-the-ladder-up-behind-you politics. #billgatesnotesfollow #microsoftnotesfollow #AInotesfollow #AItaxnotesfollow #techpolicynotesfollow
profilefollowI carved wooden spoons and my favourite herb is lemon thyme.replied toprofilefollowSoftware • maker projects • music • DIY Mostly figuring things out as I go.:
These were exactly my thoughts reading about how he thinks we should “preserve” some jobs for people; I don’t remember him being an advocate of preserving the jobs of typists, draftsman, typesetters, and other clerks when his company was leading a prior digital revolution…
🤔profilefollowHai I am kucontinued:
For this particular problem though, I feel like if the crawlers are coming from domestic / residential IP addresses and they lack a distinctive http header or user agent, it is indistinguishable from a denial of service attack and must be treated as such.
profilefollowlate is the hour in which this conjuror chooses to appearreplied to🤔profilefollowHai I am ku:
But as long as people can still use the site it's OK, right? Seems like the problem is often self-inflicted, either because the site is so bloated that answering even GET-requests is burdensome, or because they're trying to monetize the data and so must block non-paying scrapers.
Been working on an old mastodon hosting project I tried to start a few years ago, with a focus on privacy. This is the first big project I've tried to come back to with the help of coding agents and find it invigorating, and gives me the confidence to actually finish the project. Who knows if it will ever make a dollar, but it sure is fun to watch my ideas come to life.
🙈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!
"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