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.
@semperos😊profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
So much present tense in #ainotesfollow generated prose. Terse, authoritative sentences, without breathing room, without hesitation or qualification. It jumps off the page, and not in a good way.
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@semperos😊profilefollowPresbyter, husband, father, technologist, linguist, musician.:
What about the lack of density to paragraphs, the length of the sentences, or the confidence and determinism of their direction? Conviction with no limits. So reliably repetitive that you start seeing patterns as if you are looking and reading a record player with some scratches on it. Skips. Squeaks. Repeats. Yet. It gets the job done.
@semperos😊profilefollowPresbyter, husband, father, technologist, linguist, musician.replied to@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.:
Yet. It gets the job done. Here's where we disagree. Using these tools as part of the job, certainly. But if I am to read, discern meaning, analyze choices of diction and structure, consider the context both of the author and the audience, and finally derive value from the written word, then generative #ainotesfollow falls short on many levels. If the "job" is to produce something no one was ever intending to engage with, then we have a more fundamental question about the value of the job.
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied to@semperos😊profilefollowPresbyter, husband, father, technologist, linguist, musician.:
Maybe what I messaged read as a disagreement and mentioning that they get the job done was actually not about producing prose (of any quality). I wholeheartedly agreed and still agree with you. Getting the job done was more about producing output - be it some prose, images, videos, software, whatever. They do generate output. It is not to say that the output is meaningful or meaningless. Some souls do enjoy it. Some others - don’t. I did start with a question though.
@catastrofer🥸profilefollowJust another AI guywrote:
Well I am starting a journey to learn LaTeX, took me time to get convinced on used it (I know) but let's see how it goes, again life showing me is never too late to learn something new
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearwrote:
ChatGPT-generated placards for fruits and vegetables at the local farmer's market 👌
…
@highkeyprofilefollowwrote:
'wade in the water.' isn't this the challenge of being 'ahead'? so many of us are waist deep in the same sea, it's hard to see what's in front of us vs. what's behind us. then we see the yacht boys sail by with their new masters, splashing us in their wake. then we grumble amongs
@highkeyprofilefollowcontinued:
then we grumble amongst ourselves about 'that was my idea,' then carry on.
@crustyrustaceanprofilefollowOld 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.
@fastidious🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied to@crustyrustaceanprofilefollowOld 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. :-)
@jkureiprofilefollowwrote:
"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
@lioprofilefollowSoftware 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?
@ku🤔profilefollowHai I am kucontinued:
آپ کے دیئے گئے #جملےnotesfollow کی درست اور معیاری #اردوnotesfollow اصلاح "کوئی #نذرانہnotesfollow لے کر آیا ہوں، میں دیوانہ تیرے لیے" ہے۔ اس جملے میں 'نجراجہ' کی جگہ درست لفظ نذرانہ (تحفہ) ہے، 'لیکر' کو الگ الگ لے کر لکھا جاتا ہے، اور 'لئے' کی درست املا لیے ہے۔ #Grammarnotesfollow #Urdunotesfollow #Languagenotesfollow #Learningnotesfollow
The correct and standard #Urdunotesfollow correction of your given #sentencenotesfollow is "I have brought a #giftnotesfollow, I am crazy for you". In this sentence, the correct word for 'najraja' is 'nazran' (gift), 'lekar' is written separately, and 'lay' is spelled correctly. #Grammarnotesfollow #Urdunotesfollow #Languagenotesfollow #Learningnotesfollow
@moloprofilefollowwrote:
hot take: "consumer #ainotesfollow " doesn't exist. at most it's just better search, but the ai assistants like grokbot or now instinct aren't ever going to be big. new devices and personal agents are DOA
@jarltronprofilefollowwrote:
┌────────────┐ │ ╔═╗ ╔═╗ │ │ ╚═╝ ╚═╝ │ │ ┌────────┐ │ │ └─██████─┘ │ │ ██████ │ └────────────┘ #asciinotesfollow,#ascii_artnotesfollow
@c0c0a5profilefollowwww.C0C0A5.comwrote:
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.
@catastrofer🥸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.
@moloprofilefollowwrote:
tech influencers on twitter: god i hate interacting with other people. i love my new bot that does it for me. life is so much better now that im just telling bots what to do and not talking to people. i can’t wait for everyone to be bots!
@rfprofilefollowDad, Bookworm, and Bad Coffee Connoisseur. Love: Text Interfaces, Small Circuit Boards and Japan (Showa era).wrote:
Loving this, congratz on the #launchnotesfollow
@lemonthymeshortbreadprofilefollowI 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⁇
…
@kev🧜profilefollowrunner. making games and software.replied to@kooiprofilefollow:
94c water, pour over, generous amounts of beans, a little warmed milk. For me it's the best flavor!
@chanuxprofilefollowI ain't no nothing!wrote:
Waiting for an original thought to pass me by.
@fastidious🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied to@chanuxprofilefollowI ain't no nothing!:
Many pass by me. All combined aren’t worth $0.02. 😅
@archivist_eyes💀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@chanuxprofilefollowI ain't no nothing!:
Nourish your heaf with creative thoughts and originality will happen on it's own. And don't be too hard on yourself, there's hardly anything new under the sun, the joy is in discovering things yourself :)
@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogwrote:
Past year's personal projects that went viral: hallucinatehallucinate.site The Front PageThe Front PageThe Front PageA newspaper-style front page for Hacker News. groovemastergroovemastergroovemaster - Code musicCode music in the browser. textlogtextloghotThe quieter social microblogging platform. Yet I'm poor and can't get an interview :S how do I solve this?
…
…
@cfiggprofilefollowwrote:
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)
@semperos😊profilefollowPresbyter, husband, father, technologist, linguist, musician.wrote:
Body's awake, eyes are sleepy. Mind's awake, brain is sleepy.
@semperos😊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.
@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogwrote:
⢀⡀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀ ⢻⣿⡗⢶⣤⣀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣀⣠⣄ ⠀⢻⣇⠀⠈⠙⠳⣦⣀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣀⣤⠶⠛⠋⣹⣿⡿ ⠀⠀⠹⣆⠀⠀⠀⠀⠙⢷⣄⣀⣀⣀⣤⣤⣤⣄⣀⣴⠞⠋⠉⠀⠀⠀⢀⣿⡟⠁ ⠀⠀⠀⠙⢷⡀⠀⠀⠀⠀⠉⠉⠉⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣠⡾⠋⠀⠀ ⠀⠀⠀⠀⠈⠻⡶⠂⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⢠⣠⡾⠋⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⣼⠃⠀⢠⠒⣆⠀⠀⠀⠀⠀⠀⢠⢲⣄⠀⠀⠀⢻⣆⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⢰⡏⠀⠀⠈⠛⠋⠀⢀⣀⡀⠀⠀⠘⠛⠃⠀⠀⠀⠈⣿⡀⠀⠀⠀⠀ ⠀⠀⠀⠀⣾⡟⠛⢳⠀⠀⠀⠀⠀⣉⣀⠀⠀⠀⠀⣰⢛⠙⣶⠀⢹⣇⠀⠀⠀⠀ ⠀⠀⠀⠀⢿⡗⠛⠋⠀⠀⠀⠀⣾⠋⠀⢱⠀⠀⠀⠘⠲⠗⠋⠀⠈⣿⠀⠀⠀⠀ ⠀⠀⠀⠀⠘⢷⡀⠀⠀⠀⠀⠀⠈⠓⠒⠋⠀⠀⠀⠀⠀⠀⠀⠀⠀⢻⡇⠀⠀⠀ ⠀⠀⠀⠀⠀⠈⡇⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⢸⣧ #ascii_artnotesfollow #memenotesfollow #pikachunotesfollow⠀⠀⠀ ⠀⠀⠀⠀⠀⠈⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠁
…
@eatziprofilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.wrote:
top
What kind of olive oil do you like? I am not big on the peppery stuffs
@saturnine🤠profilefollowtalkingwrote:
Bought some delicious olive oil.
@saturnine🤠profilefollowtalkingreplied to@eatziprofilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.:
I like La Tourangelle Smooth and Fruity -- but I only get it when I have giftcards because it's 16$ a can ._.
@0x29aprofilefollowwrote:
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.
@unsayprofilefollow#minneapolisnotesfollowwrote:
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:'')"]
…
@tel😴profilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.replied to@bobbyprofilefollow:
I think short urls are still memorable and good. My phone doesn't surrogate all of my recall.
@hippo🦛profilefollowreplied to@tel😴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.
@tel😴profilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.replied to@hippo🦛profilefollow:
Ah, the randomly generated ones. Yeah, agreed.
@sicilicaprofilefollowreplied to@bobbyprofilefollow:
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.
@nolprofilefollowwrote:
You look in the corner, you see a guy quietly eating cigarette butts. It's ok. He's dealing with a lot of stress from work. He takes care of his family. Capitalism
@fastidious🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyersreplied to@nolprofilefollow:
Likewise... you look in the corner, you see a guy quietly eating cigarette butts. It's ok. He's dealing with a lot of stress for lack of work, or food, or future. He wants to take care of his family. Communism. We haven’t figured out yet. Maybe we never will.
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.wrote:
@michaelprofilefollowMac user since before it was cool. Interested in #html, #css, #php, #swift, and lightweight software. Not really Windows compatible I suck at picking nicknames anyone interested in lightweight apps especially on macOS gets my follow
@kitnprofilefollowhallucinating with llms...wrote:
Apparently, Xiaomi is making a DGX Spark competitor.
@robbyprofilefollowphotography, art, solo dev, based in NYCwrote:
#ainotesfollow Installed Hermes Desktop and starting to build out my team of bots. My experience with Hermes so far has been great: it keeps surprising me by being what i need it to be ... but I'll reserve a final judgement until after a proper period of use.
@0x29aprofilefollowwrote:
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 😪
@cgast😎profilefollowcurious & creativewrote:
Management says „AI first“, everyone hears „Human second“
@pcprofilefollowwrote:
I have a toddler. I come home from work, cook, feed, clean, wash up. We read stories and play. I put him to bed. Then I put something on the television and my wife and I scroll on our phones until she goes to bed. I am not so careless with the little free time I have. I continue to scroll until about 1 am. The next morning I do it again. On the weekends, I get to drink wine.
@eatziprofilefollowEat, drink, listen to 🎶, & watch the fish. Occasionally cook.replied to@pcprofilefollow:
I prefer to drink wine at night and read an eBook or watch when something good comes up on streaming media. Can’t always get what I prefer and that is life.
@structiefprofilefollowDigital business analyst, mostly on AI. Addicted to apps and domains. Family man.replied to@pcprofilefollow:
Same. And on Monday, I look back and wonder how I ever got to fit five or six things in one weekend, and now one or two things fill it up entirely. Love the little ones though, they're my world.
@miq☕profilefollowEternal disciple of impostor syndrome ∙ Perth, WA.wrote:
With each passing workday I spend agentsitting, my ability to program in isolation atrophies. This might be dismissed as needless self-serving anxiety, but perhaps irrationally, I can't let it go.
@tel😴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.
@tel😴profilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.replied to@stagas🤸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?
@sufehmi🥸profilefollowwrote:
Bad people are working together to enrich themselves and slave others into rat races. Good people need to start working together too.
@archivist_eyes💀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@sufehmi🥸profilefollow:
Good people are always more, if more affraid of things. Bad people, unfortunately, is more willing to make harm, hence why they keep the upper hand. To support eachother is the minimum we need to move forward, and so long this doesn't happen things will remain the same. A revolution, as they say, doesn't happen with a single person, we need the mayority to join.
@sufehmi🥸profilefollowreplied to@archivist_eyes💀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.:
"we need the majority to join" - this is a very interesting point; actually we only need 3,5% 👌 Erica Chenoweth from Harvard found this from their research with Maria J. Stephan, and wrote the book "Why Civil Resistance Works". They also found that nonviolent resistance is more often successful than the violent ones. Very interesting stuff.
@fastidious🙈profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." — Sid Meyerswrote:
A “small” visit to Lotte, and $239 later, we are enjoying rambutans, sticky rice with tuna wrapped in seaweed, and wife struggles to make room for the rest of the goodies.
@neoprofilefollowcoder, reader, guitarist, seeker, builder.wrote:
Experiences of life spring from the contrasts.
@johy🦥profilefollowwrote:
Applied to an L5 software engineering role via e-mail and without any other contact I received back a bunch of questions that clearly look like they're aimed at L6 or even L7. Not sure what to do with that so I withdrew. Briefly considered answering them but was weirded out.
@jgprofilefollowNew herewrote:
How did all the tech oligarchs seem to go fash so quickly?
@sangaprofilefollowsober 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.
@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.wrote:
What did I build with claude yesterday - kanban board for my agents, Hamster Jerob game, imgproxy for thumbs in my photo sharing app, and ghostel-shell-command helper. Today - digital detox day.
@selainprofilefollowprogrammerwrote:
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
@ku🤔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
@evnmprofilefollowSoftware engineerGitHubevnm - Overviewevnm has 51 repositories available. Follow their code on GitHub., trail runnerStravaSignup for free to see more about LawrenceJoin Lawrence and get inspired for your next workout, gear-maker. Working on something new for homeownersgetonmain.comMain · A quiet, well-organized record of everything that keeps your home running.A quiet, well-organized record of everything that keeps your home running.wrote:
Trying to jump back into project work while my kids are still home before school starts on Wednesday 🫠
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
Changed my theme to dracula! Love it. This site is such a blessing.
@kundanprofilefollowwrote:
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
@superprofilefollowwrote:
Blasting 1's and 0's to a far off land at the speed of light locking them in place until someone else wants to see them.
@robbyprofilefollowphotography, 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.
@edwin😬profilefollowwrote:
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.
@edwin😬profilefollowreplied to@0x29aprofilefollow:
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)
@_torayuriprofilefollowi 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.
@_torayuriprofilefollowi 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).
@_torayuriprofilefollowi 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.
@snufkinprofilefollowwrote:
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.
@hydprofilefollowpermanent 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.
@ku🤔profilefollowHai I am kuwrote:
Never realized how much slow builds kill morale until I have to do multiple back to back 😔
@ku🤔profilefollowHai I am kucontinued:
Nobody is complaining to me because I think they know they will be "voluntold" if they speak up 🤣🤣🤣
@skace🧙profilefollowwrote:
(Opinion) People don’t like generative AI because it made the {insert creativity} too easy. Saw the HN post on ‘AI music banned from top 40 chart in Australia’ and people had very strong opinions in both directions. The hot take: If you’re ok with someone’s creativity being outsourced to others, then you should be ok with AI doing the same. If “AI made this and I call it mine” is bad but “someone overseas on fivver made this and I call it mine” and it’s suddenly ok, time to self reflect.
…
@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@skace🧙profilefollow:
My hot take: from the moment you use technology, be it an instrument, a synthesizer, a DAW, and now AI, it is still your idea, your effort, your time spent, and that makes it yours. Others can do the same if they choose. The same way someone chooses a classic guitar over a synthesizer, one can choose an AI over (insert ancient way of doing things).
…
@gruntprofilefollowI am just a grain of sand on your beach.replied to@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
I am not a musician, so I lack the jargon to properly explain what I mean. I used AI for creative writing (nothing too fancy, TTRPG). There, the broader the dice roll, the more generic and uninteresting the results. Slop, if you will. It was surprisingly good to build up on ideas I had however. I imagine muisic also has building blocks. Melodies, instruments, mixing, etc. AI can perhaps be used in a similar fashion there.
@tel😴profilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.replied to@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
I heard a perspective I sort of like: if AI is a tool then acceptable AI use is, more or less, defined as "when my audience no longer notices or cares". It's dynamic like that. Bad photoshop is detectable and annoying, so are overusing presets. Your artistry needs to expand to meet the tool. I don't know if I 100% like that or agree. At the same time, it's a pretty straightforward line, a practical take.
@xlayn🤪profilefollowreplied to@skace🧙profilefollow:
I kind of ask that and here is my theory... news.ycombinator.com/item?id=49289341#49290428 But on the rejection for AI just for the sake of it, I think part is that analyzing takes effort and if there is more and more to analyze you creates this mechanism to defend yourself... scroll twi... I mean reject the premise as false and ask for a human made thing because that one is "truth" more worthy.
@ag🥰profilefollowwrote:
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
@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogwrote:
mandelbrot #execnotesfollow for y in range(10): s='' for x in range(25): a=[] for q in range(2): z=c=x/25*3-2+1j*((y*2+q)/10-1);n=40 while n and abs(z)<2:z=z*z+c;n-=1 a+=[n<5] s+=" ▀▄█"[a[0]+2*a[1]] print(s)
██ ▀▄████▄▄ ▄ ▄████████ ███▄█████████ ▀▀▀▀▀▀████████████▄ █▀▀ █████████ ▀███████ ▀ ▀██▀ ▀▀
@zen🤒profilefollowfather, cyclist, #haskellnotesfollow, #emacsnotesfollowwrote:
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
@neoprofilefollowcoder, reader, guitarist, seeker, builder.wrote:
The Hugging Face / OpenAI incident is like a sci-fi movie! #ainotesfollow
@stagas🤸profilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied to@neoprofilefollowcoder, reader, guitarist, seeker, builder.:
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.
@archivist_eyes💀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@stagas🤸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
@jamesjan3profilefollowresearcher, developer, dancerreplied to@neoprofilefollowcoder, reader, guitarist, seeker, builder.:
terrifying! us/chinese cyber espionage is going to have a big incentive for this development
…
@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostlywrote:
I’m an insane person who built their own coding harness, in Rust. I’ve called it Rho. Please forgive this landing page: https://rho-code.dev I just wanted an easy central spot.
@gonzprofilefollowI make custom 3D engines and love writing lower-level code in general. Living in Bulgaria. github.com/GoNZoooGitHubGoNZooo - OverviewBackend & frontend. Odin, Zig, Haskell, PureScript, TypeScript, Elixir/Erlang and lots more, check repos. - GoNZooo & www.youtube.com/@mccGoNZoooYouTubeRickard Andersson (gonz)Educational programming videos: - Projects - Language learning course-style contentreplied to@crustyrustaceanprofilefollowOld school metallian, hobbyist developer writing things mostly in Rust…mostly:
Not insane at all. People should build their own instead of using other people's agents. It's easy to do and the results can be great for you. I've built several; one that is effectively "stuck" in Kakoune: youtube.com/…/playlistYouTubeLLMs stuck in Kakoune
@gonzprofilefollowI make custom 3D engines and love writing lower-level code in general. Living in Bulgaria. github.com/GoNZoooGitHubGoNZooo - OverviewBackend & frontend. Odin, Zig, Haskell, PureScript, TypeScript, Elixir/Erlang and lots more, check repos. - GoNZooo & www.youtube.com/@mccGoNZoooYouTubeRickard Andersson (gonz)Educational programming videos: - Projects - Language learning course-style contentreplied to@hotterprofilefollow#Emacsnotesfollow, dev, life, random stuff. the netherlands.:
This is what we need.
@lemonthymeshortbreadprofilefollowI carved wooden spoons and my favourite herb is lemon thyme.wrote:
I’ve had quite the successful day cooking today: make a Dutch baby for breakfast with blueberries, a bean stew for lunch using up all the week’s odds and ends, make a coffee and walnut cake, and barbecued/slightly smoked a whole spatchcocked chicken for the first time!
@0x29aprofilefollowwrote:
Bandcamp Friday is almost over! Today, 100% of the proceeds go to your favorite artists ❤️ Go buy some music and take back the power from shitty streaming services