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.
Hello! I am a cynical optimist and recovering realist. It's been 3 days since my last sip of Hobbes. Today, I'm hopeful again. That's all I have for now. Thanks.
profilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
(defun textlog-post (beg end) "Publish the region between BEG and END to `textlog-url'. Interactively, requires an active region. Returns the URL of the new post when the server reports one."
I'm making a Kakoune version of this for sure.
You have #kakounenotesfollow, there is no need. I tried Emacs out a while ago to see whether it could replace Kakoune (I wanted to draw arbitrary stuff like images, 3D views, etc., in the editor) but honestly, Kakoune makes everything so easy to integrate that it was hard for it to compete.
curious to know whats the experience of production push in other companies? e.g lots of documents/approvals…
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…
profilefollowcoder, reader, guitarist, seeker, builder.wrote:
Experiences of life spring from the contrasts.
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.
😎profilefollowcurious & creativewrote:
Management says „AI first“, everyone hears „Human second“
profilefollowwrote:
It's not clear, based on personal experience, how long - if it all - the software development field will value devs who actually enjoy the work. Most people I know are producing mostly AI work and there's an obvious skill decline that's resulted from it. 1/?
But does it matter if your boss doesn't care? Or if their boss doesn't care? If the paychecks keep coming who cares? What's the point of choosing the mountain if the "joy" just means more hours on screen that could have been spent elsewhere? 2/?
Bosses and their bosses care more about tickets moved and LoC written than quality or knowledgeable employees. 4/4
😴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:
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.
profilefollowsober af!wrote:
I really love the feeling of a new social network app! Takes me back to high school when I first used facebook. Somehow makes it easy to share things.
profilefollowI carved wooden spoons and my favourite herb is lemon thyme.wrote:
For the first time in a couple of year, I wove a rattan basket today, and the best part is it only took two hours when I was expecting it to take all day #basketrynotesfollow
😴profilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.wrote:
I've been on a kick lately of trying to visualize the oscillating clock, and ultimately the effectively arbitrarily complex activity of a computer processor, as modern refinements of the line shaft factory of the 19th century. Of compute as being not much more than profoundly refined "work" delivered by the electrical grid into marvelously complex machines. Does that, as a metaphor at least, feel as important to you as it has to me of late? We spend so much time in a world abstracted.
profilefollowpermanent head damage, human-computer infractionwrote:
I'm not an optimist, just a pessimist who's still proactive: I don't think things are going to get better, but I just can't talk myself into giving up yet.
🧑‍🚀profilefollowнυмαηwrote:
⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⢀⣀⣀⠀⠀⢠⠉⢹⢳⢄⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⡤⠔⡞⠛⣵⠀⠀⠙⡄⢸⠀⢸⠀⡜⠀⠀⠀⠀⠀⢀⡴⠉⠈⡧⣀⣀⡀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⡰⠃⠀⢰⠀⠘⡆⠀⠀⢰⠈⡀⠀⡀⡇⡇⠀⠀⠀⡰⡱⡝⠀⡜⠀⡜⠀⢈⠆⠂⠤⡀⠀⠀⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⢀⡀⢏⠀⢇⠀⠀⢃⠀⠸⡀⠀⠀⡆⡇⠀⡇⠁⡇⠀⠀⡰⢡⡱⠁⡐⢀⠌⢀⢴⠋⠀⠀⠀⣈⡆⡀⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⡁⠈⠹⣦⠈⢆⠀⠈⡆⠀⠱⠀⠀⢰⢁⠀⢃⢸⡇⠀⢠⢁⢧⠃⡰⢀⠎⢠⡾⠁⠀⠀⡠⠊⡠⠃⠈⣄⠀⠀⠀
Hitting a workout streak. I started using ladder app and have been consistent for the last two weeks. Three years ago I was 75 lbs heavier. Now trying to build muscle. Sitting and staring at a screen all day… I did that a bit too much ;)
🧜profilefollowrunner. making games and software.replied to🥰profilefollow:
Nice work! Working out, once I got into it, was always the fun part. Eating healthy remains a challenge...
😊profilefollowPresbyter, husband, father, technologist, linguist, musician.replied to🥰profilefollow:
Congrats! New habits are tough to form, wishing you success in keeping bad weight off and putting some muscle on!
profilefollowDad, Bookworm, and Bad Coffee Connoisseur. Love: Text Interfaces, Small Circuit Boards and Japan (Showa era).wrote:
Loving this, congratz on the #launchnotesfollow
profilefollowSoftware engineer in training. I like programming, fitness and the sky.wrote:
#programmingnotesfollow with the power of AI is worth migrate the frontend to a monolithic django backend?
profilefollowwrote:
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.
profilefollowlate is the hour in which this conjuror chooses to appearreplied toprofilefollow:
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.
Great read, wish you best on your new endeavour!
new link; my page is a work in progress - it is now more mobile friendly hellodavid.dev/blog/thinkingDavid Gonzalez-VelezDavid Gonzalez-Velez | Software Engineer & ResearcherSelf-taught software engineer and researcher based in Chicago, specializing in quantum computation and full-stack development.
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.
Today, I wrote a new Business Continuity Plan, worked with my SRE manager to improve responses to alerts, got a cringe email from HR and have to tell my staff to RTO 3-days a week if not classified as remote. Worked out for my 8th day streak, and cuddled in bed with my girl. Hello World
Bluey's "curry swapYahoo LifeThe 'Bluey'-inspired trick for twice the homemade meals with half the workFind a like-minded family to start your own weekday "curry swap" to share home-cooked meals." is an ingenious way to save #timenotesfollow #cookingnotesfollow. The scheme is simple: One night a week, we make twice as much #dinnernotesfollow and drop it off at the other family's house. They do the same on a different night.The #lifehacknotesfollow is deceivingly simple. Doubling a recipe is easier than preparing a second dish.
work has been dreadful recently. spending so much time on processes and in meetings :(
profilefollow#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.
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.
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.
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
🥷profilefollowSoftware engineer. [Reluctant] Salesforce dev. Salesforce’s biggest hater. stephenlf.devstephenlf.devImportant Thingswrote:
What’s the difference between a script-kiddy and a real #developernotesfollow? Abstraction. You can program your whole life without learning how to meaningfully abstract problems into simpler pieces that TRULY make the problem easier to understand. I’m not talking about design patterns or #OOPnotesfollow vs #FPnotesfollow. These tools can help. But to really simplify something for others, you need an intellectual empathy that many simply never figure out.
😴profilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.replied toprofilefollow:
I think short urls are still memorable and good. My phone doesn't surrogate all of my recall.
🦛profilefollowreplied to😴profilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.:
Short URLs are good. Memorable URLs are good. URLs spat out by URL shorteners are something entirely different.
😴profilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.replied to🦛profilefollow:
Ah, the randomly generated ones. Yeah, agreed.
The longer the text you need to store, the bigger a QR code needs to be in order to scan reliably. Also, you might be more confident in being able to keep a short URL stable (it's already a step of indirection, so if you want to reorg your site you can just update where the short URL points to). But people don't really take care to maintain short URLs anyway, apparently.
profilefollowa dog in your computer. i like plaintext, programs under 10mb, and palettes under 17 colors.wrote:
we're taking over. :3 this site is for weird animal tgirls now #launchnotesfollow
🥸profilefollowJust another AI guywrote:
I lately been a bit curious of strudel io and the live coding movement. I have found some cool artist but if you have any recommendation feel free to drop it.
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.)
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
😊profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
Body's awake, eyes are sleepy. Mind's awake, brain is sleepy.
😊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.
Choice is definitely a problem. We notice it when we go to our cabin, about a 2 1/2 hour drive away. The grocery store there targets #foodnotesfollow for its local community. It is beef-centric and often boxed foods -- which is not our diet. Access -- or lack thereof -- is the worst kind of problem. Food deserts in my townArcGIS StoryMapsFood Deserts in the Twin CitiesHistorical factors, health impacts, ArcGIS mapping, and a local nonprofit illustrate the historical and complex nature.
🤔profilefollowHai I am kuwrote:
Since you guys are on textlog I think you will find this article and discussion interesting lobste.rs/s/5gcd3t/html_can_doLobstersHTML Can Do That22 comments chrisburnell.com/html-can-do-that/Chris BurnellHTML Can Do ThatHTML has been gobbling up swathes of what used to be JavaScript’s remit. This page lists a bunch of dynamic functionality that we can now achieve with just HTML. A character count though that still requires JavaScript sadly enough 🥺
I think if @stagasprofilefollowcreative technologist creator of textlog intends to be an active user of the site henceforth, it'd it should be kosher. Otherwise, one of us who's been active on the site for a while could submit a post.
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.
profilefollowlate is the hour in which this conjuror chooses to appearwrote:
The rise of postmodern cuisine: "The beverage's photogenic bright green color proved particularly well-suited to social media platforms like Instagram and TikTok, helping it gain viral popularity among wellness enthusiasts and influencers." (Wikipedia, "Matcha") #teanotesfollow #philosophynotesfollow
🙈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!
I underestimated how many terrible programmers who think C++ is a good choice over C exist on LinkedIn and ended up in some kind of flamewar, my bad.
Economist Lant Pritchett describes shifts in ideas as silly, controversial, progressive, then obvious. Also: "Radio has no future. X-rays are clearly a hoax. The aeroplane is scientifically impossible." - Lord Kelvin ". No wireless. Less space than a nomad. Lame." - CmdrTaco
profilefollowa work in progress; i love cats 🐱replied to(deleted account):
It’s the social network I so want to love but something about it feels off.
profilefollowa work in progress; i love cats 🐱replied to(deleted account):
I never understood why they would allow you to follow different “feeds” but not hashtags. I like mastodon’s approach better.
profilefollowa work in progress; i love cats 🐱replied to(deleted account):
Oh my god, art was the only reason I used bsky regularly. Not anymore, and I miss it too.
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)
░░░░░░░░░░░░░░░░░░░░░ ░░░░░░░░░░░░▄▀▀▀▀▄░░░ ░░░░░░░░░░▄▀░░▄░▄░█░░ ░▄▄░░░░░▄▀░░░░▄▄▄▄█░░ █░░▀▄░▄▀░░░░░░░░░░█░░ ░▀▄░░▀▄░░░░█░░░░░░█░░ ░░░▀▄░░▀░░░█░░░░░░█░░ ░░░▄▀░░░░░░█░░░░▄▀░░░ ░░░▀▄▀▄▄▀░░█▀░▄▀░░░░░ ░░░░░░░░█▀▀█▀▀░░░░░░░ ░░░░░░░░▀▀░▀▀░░░░░░░░ #ascii_artnotesfollow
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.
🤔profilefollowHai I am kuwrote:
The live tab on the android app is interesting... How does it work? This is a test 🫣
🤔profilefollowHai I am kucontinued:
Does it do some kind of polling? Is there some kind of notify like publisher subscriber? 🤔
It’s using the /firehose /apitextlogAPIA quieter place for your thoughts. endpoint. It’s an SSE endpoint publishing everything latest. Though I meant it to be used server-side, since it’s heavily rate-limited — up to 3 conns under the same network, but I can’t control how clients decide to use it so.. ¯\_(ツ)_/¯
profilefollowGot my head in the clouds right now.wrote:
Is it just my phone or is HN down? I haven't been able to access at all today
😈profilefollowco-founder of textlogwrote:
The strange thing about modern loneliness is that everyone is technically available.
profilefollowreplied to😈profilefollowco-founder of textlog:
Similar with having access to so much critically acclaimed media, but they are so emotionally or intellectually draining that I find myself rewatching ol' familiars. Availability seems just one aspect, and perhaps not even the most limiting factor. Maybe most people have a "limit" on number of "lives", as in number of times you fall in love, change, get inspired, connect, etc..
So I found the blog of a Ukrainian Front Line soldier on Bear Blog today. Incredibly grim stuff to read, but I really wanna get in touch with that guy now and send him so cash so he can buy a burger. Hope Herman forwards my message 😪
Current #jjnotesfollow aliases: # The canonical tug tug = ["bookmark", "move", "--from", "closest_bookmark(@-)", "--to", "@-"] # Show my current work-in-progress(es). To wip it, whip it good. wips = ["log", "-r", "bookmarks() | description(exact:'')"]
profilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
The rho coding harness I’ve made has come along way and I’m constantly trying to evolve it, but whenever I go back to pi it’s startling the difference of what a solid computer science background brings.