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.
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.
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
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.
profilefollowNew herewrote:
How did all the tech oligarchs seem to go fash so quickly?
๐Ÿงœprofilefollow(\ (\ ( โ€ข โ€ข) โ”โˆชโˆชโ”โ”โ”โ” Full of mostly true stories, I occasionally write them down. Habit of talking to anyone. Bipolar. Author.wrote:
I love the "feel" of this place. It's minimal, but not too minimal. Nice work! I'm probably gonna be a little chatty on here. If anyone minds that, then just @ me :-) #launchnotesfollow
๐Ÿงœprofilefollow(\ (\ ( โ€ข โ€ข) โ”โˆชโˆชโ”โ”โ”โ” Full of mostly true stories, I occasionally write them down. Habit of talking to anyone. Bipolar. Author.continued:
Also, thank you for not turning my emoticons into emoji!! As someone from the pre-internet era, I appreciate that :-)
profilefollowlate is the hour in which this conjuror chooses to appearreplied to๐Ÿงœprofilefollow(\ (\ ( โ€ข โ€ข) โ”โˆชโˆชโ”โ”โ”โ” Full of mostly true stories, I occasionally write them down. Habit of talking to anyone. Bipolar. Author.:
But can we use emoji if we want? ๐Ÿค”
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
profilefollowpoet by heart ๐“…ฐwrote:
uncontroversial opinion. Young Thug is the greatest vocalist of our generation.
๐Ÿ™ˆprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ€” Sid Meyersreplied to๐Ÿค”profilefollowswiley.net Try my zero dependency agent harness: public.swiley.net/agent.py If you're spending too much time on sites like these install bingeblock.com:
My reply didnโ€™t carry literal meaning. If you are familiar with the now-out-of-fad expression, you know you donโ€™t need to be a boomer, to be a boomer. :-D
The essence of aligning large LLM models is basically to conform to the existing social order. ChatGPT respects China's order, while China's open-source models, although reluctantly, also tolerate the order in the US. Maybe we can build a revisionist SFT dataset.
๐Ÿง‘โ€๐Ÿš€profilefollowะฝฯ…ะผฮฑฮทwrote:
โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โข€โฃ€โฃ€โ €โ €โข โ ‰โขนโขณโข„โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ € โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โกคโ ”โกžโ ›โฃตโ €โ €โ ™โก„โขธโ €โขธโ €โกœโ €โ €โ €โ €โ €โข€โกดโ ‰โ ˆโกงโฃ€โฃ€โก€โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ € โ €โ €โ €โ €โ €โ €โ €โ €โ €โกฐโ ƒโ €โขฐโ €โ ˜โก†โ €โ €โขฐโ ˆโก€โ €โก€โก‡โก‡โ €โ €โ €โกฐโกฑโกโ €โกœโ €โกœโ €โขˆโ †โ ‚โ คโก€โ €โ €โ €โ €โ €โ €โ € โ €โ €โ €โ €โ €โ €โข€โก€โขโ €โข‡โ €โ €โขƒโ €โ ธโก€โ €โ €โก†โก‡โ €โก‡โ โก‡โ €โ €โกฐโขกโกฑโ โกโข€โ Œโข€โขดโ ‹โ €โ €โ €โฃˆโก†โก€โ €โ €โ €โ €โ € โ €โ €โ €โ €โ €โ €โกโ ˆโ นโฃฆโ ˆโข†โ €โ ˆโก†โ €โ ฑโ €โ €โขฐโขโ €โขƒโขธโก‡โ €โข โขโขงโ ƒโกฐโข€โ Žโข โกพโ โ €โ €โก โ Šโก โ ƒโ ˆโฃ„โ €โ €โ €
profilefollowwrote:
any ideas on how to prevent ai-generated stuff on this platform?
โ€ฆ
โ€ฆ
profilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.replied toprofilefollow:
People can copy/paste anything. Once a writable API is available - it can become a spam trove.
profilefollowNo idea who I am.wrote:
Here I am trying to shine amidst all the darkness that pulls me down.
โ€ฆ
profilefollowOf course.wrote:
Q: Whatโ€™s a dogโ€™s favorite part of the opera? A: The ARRRRRRRRR-ia!
profilefollowwrote:
I'm sooo late for work so time to lock in to catch up
The results of my simulation are bullocks but I believe I know why. Rerunning with the patch now. Fingers crossed!
๐Ÿ˜Œprofilefollowcontinued:
16g of light roast, 350ml of Montcalm water, ~24 clicks on C40 and a Cafec ABACA filter paper in a v60 neo dripper
๐Ÿง™profilefollow"The impediment to action advances action, what stands in the way becomes the way." - Marcus Aureliuswrote:
murm
๐Ÿฅทprofilefollowwrote:
Vรฅr konges livsgjerning gรฅr mot slutten, landet samler seg for รฅ ta farvel med en konge som har vรฆrt samlende og god for landet. Mรฅ Gud velsigne hans minne og hans etterfรธlger. #norgenotesfollow #kongharaldnotesfollow
Our king's life's work is coming to an end, the country comes together to say goodbye to a king who has been unifying and good for the country. May God bless his memory and his successor. #norwaynotesfollow #kongharaldnotesfollow
ๅฏไปฅๅ‘ไธญๆ–‡ๅ†…ๅฎนๅ—
Can I send content in Chinese?
๐Ÿ™ˆ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!
๐Ÿ˜Š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.
profilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostlywrote:
Sharing your work with others is a hard computer science problem in 2026, the Year of our Lord. You either here the sound of chirping crickets or the sound of "AI Slop" yells.
๐Ÿคธprofilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied toprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostly:
My past 3 projects went viral. I didnโ€™t write a single line of code in any of them. But I still feel I engineered them. There were a few people that noticed but the majority didnโ€™t see an issue.
profilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostlyreplied to๐Ÿคธprofilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlog:
You're fortunate in that you've genuinely captured something that people clearly want with textlog. No one wants another static site generator or coding harness. Ideas that resonate are pretty few and far between now.
๐Ÿคธprofilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied toprofilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostly:
I should have said past 4 projects went viral but the other one I did a lot of coding too, so wasnโ€™t entirely โ€œAI slopโ€. In all cases though, I made something I wanted to see. It just happened to resonate with others. Still, none of them extremely popular yet. All <500 users.
๐Ÿ˜Œprofilefollowwrote:
It was only yesterday that I clicked on a Translate button to read a Japanese post. Today I see a Chinese post with English translation right below. Beautiful stuff.
profilefollowOld school metallian, hobbyist developer writing things mostly in Rustโ€ฆmostlywrote:
I'm going to attempt to build a take on a board game I loved, from 1989, MBT, by Avalon Hill. Watch me face plant. Starting by trying to understand hex math.
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.
๐Ÿฅธ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.
profilefollowdeveloper stereotype: music lover, gamer, and failed artistwrote:
hi o/ im from south america, i see the #launchnotesfollow on HN. I really like the vibes and the idea. Ill probably be posting here often, while in the office. cya
profilefollowHi! I'm a programmer and enjoy playing music. Jesus is my Savior, and my ultimate goal is to "glorify God and enjoy Him forever." (Westminster Q1).wrote:
I've avoided social media (except YouTube) all my life, but this looks like it could finally be a better way to do it. Maybe I'll keep a running journal of cool things I'm working on here or weird bugs that I've found. Or just the struggles of coding. First one: GitHub actions was down again today when I specifically wanted to test my app's deploy and auto update flow...
๐Ÿ˜ฌprofilefollowwrote:
I finally bit the bullet and have started to use dictation software more often, even outside of just my prompts. I really like it. Hopefully, computer use becomes much smoother soon. I would love to be able to control my computer with just my voice.
๐Ÿฅทprofilefollowwrote:
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 am just a grain of sand on your beach.wrote:
while we wait for this to be true we could add our bits together remember to not sleep forever return when your dreams are through Start with cringy poem, end with cringy pseudocode. At least it comes naturally.
profilefollowLiving by the Zen of Python! keyboardinterrupt.comwrote:
Frustrated with my phone usage again tonight, I uninstalled several pointless and time-consuming apps. Itโ€™s a cycle I repeat every few months. During this cycle, I wasted a lot of time on one of those puzzle-matching games. I'm considering switching to Ubuntu Touch at this point
profilefollowhallucinating with llms...wrote:
in a hackathon rn. building a cloud platform for agents on my homelab.
๐Ÿค”profilefollowHai I am kureplied to๐Ÿ˜ŠprofilefollowPresbyter, husband, father, technologist, linguist, musician.:
Reminds me of a little gag where little LuLu makes an excuse for not doing her homework. Homework? I thought you said housework. I spent all night vacuuming.
โ€ฆ
profilefollowa work in progress; i love cats ๐Ÿฑreplied toprofilefollow:
I use an Aeropress and a manual grinder. Love the ritual, and the coffee tastes amazing.
๐Ÿงœ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!
profilefollowI carved wooden spoons and my favourite herb is lemon thyme.wrote:
๐‘ฒ๐‘ ๐‘š๐‘ฐ๐‘ฏ ๐‘ฆ๐‘ฏ๐‘•๐‘๐‘ฒ๐‘ผ๐‘› ๐‘‘ ๐‘’๐‘ซ๐‘’ ๐‘ฅ๐‘น ยท๐‘ก๐‘จ๐‘๐‘ฉ๐‘ฏ๐‘ฐ๐‘Ÿ ๐‘“๐‘ต๐‘› ๐‘ค๐‘ฑ๐‘‘๐‘ค๐‘ฆ ๐‘•๐‘ด ๐‘“ ๐‘›๐‘ฆ๐‘ฏ๐‘ผ ๐‘ฒ ๐‘ฅ๐‘ฑ๐‘› ๐‘•๐‘จ๐‘ฅ๐‘ฉ๐‘ฏ ๐‘‘๐‘ง๐‘ฎ๐‘ฆ๐‘˜๐‘ญ๐‘’๐‘ฐ, ๐‘ฅ๐‘ฐ๐‘•๐‘ด ๐‘•๐‘ต๐‘, ๐‘ฎ๐‘ฒ๐‘•, ๐‘ฏ ๐‘๐‘ฆ๐‘’๐‘ฉ๐‘ค๐‘Ÿ. Iโ€™ve been inspired to cook more Japanese food lately so for dinner I made salmon teriyaki, miso soup, rice, and pickles.
profilefollowjack of all trades linux sysadminwrote:
The more I use Terraform the more I don't like it. Can I just get the option to track state with Ansible?
profilefollowNew herereplied toprofilefollowjack of all trades linux sysadmin:
Say more. I've been using it this year "at scale" and it sucks in the way that everything sucks when the whole company starts using it for everything. I haven't used Ansible in over a decade, but am curious what you like about it better.
profilefollowjack of all trades linux sysadminreplied toprofilefollowNew here:
Ansible just melds with my way of thinking better. I have a really hard time wrapping my head around nested loops in HCL and the overall "ugliness" of the language. Plus, I kind of like being in control of the order things are created.
profilefollowDigital business analyst, mostly on AI. Addicted to apps and domains. Family man.wrote:
took me until now to learn described images with low-cost models > attaching images to high-cost model. silly me. output quality remains, cost lowers.
๐Ÿคธprofilefollowcreative technologistGitHubstagas - Overviewstagas has 462 repositories available. Follow their code on GitHub. creator of textlogreplied toprofilefollowDigital business analyst, mostly on AI. Addicted to apps and domains. Family man.:
I'm amazed how good these models have become, that probably you don't need the high-cost one yeah. I'm producing comics for fun with the latest ChatGPT and they're flawless, no artifacts. ibb.co/TGBgYMQImgBBvibecoder hosted at ImgBBImage vibecoder hosted on ImgBB ibb.co/dn7rCxhImgBBpnp hosted at ImgBBImage pnp hosted on ImgBB
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
โข€โก€โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ € โขปโฃฟโก—โขถโฃคโฃ€โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โฃ€โฃ โฃ„ โ €โขปโฃ‡โ €โ ˆโ ™โ ณโฃฆโฃ€โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โฃ€โฃคโ ถโ ›โ ‹โฃนโฃฟโกฟ โ €โ €โ นโฃ†โ €โ €โ €โ €โ ™โขทโฃ„โฃ€โฃ€โฃ€โฃคโฃคโฃคโฃ„โฃ€โฃดโ žโ ‹โ ‰โ €โ €โ €โข€โฃฟโกŸโ  โ €โ €โ €โ ™โขทโก€โ €โ €โ €โ €โ ‰โ ‰โ ‰โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โฃ โกพโ ‹โ €โ € โ €โ €โ €โ €โ ˆโ ปโกถโ ‚โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โข โฃ โกพโ ‹โ €โ €โ €โ € โ €โ €โ €โ €โ €โฃผโ ƒโ €โข โ ’โฃ†โ €โ €โ €โ €โ €โ €โข โขฒโฃ„โ €โ €โ €โขปโฃ†โ €โ €โ €โ €โ € โ €โ €โ €โ €โขฐโกโ €โ €โ ˆโ ›โ ‹โ €โข€โฃ€โก€โ €โ €โ ˜โ ›โ ƒโ €โ €โ €โ ˆโฃฟโก€โ €โ €โ €โ € โ €โ €โ €โ €โฃพโกŸโ ›โขณโ €โ €โ €โ €โ €โฃ‰โฃ€โ €โ €โ €โ €โฃฐโข›โ ™โฃถโ €โขนโฃ‡โ €โ €โ €โ € โ €โ €โ €โ €โขฟโก—โ ›โ ‹โ €โ €โ €โ €โฃพโ ‹โ €โขฑโ €โ €โ €โ ˜โ ฒโ —โ ‹โ €โ ˆโฃฟโ €โ €โ €โ € โ €โ €โ €โ €โ ˜โขทโก€โ €โ €โ €โ €โ €โ ˆโ “โ ’โ ‹โ €โ €โ €โ €โ €โ €โ €โ €โ €โขปโก‡โ €โ €โ € โ €โ €โ €โ €โ €โ ˆโก‡โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โขธโฃง #ascii_artnotesfollow #memenotesfollow #pikachunotesfollowโ €โ €โ € โ €โ €โ €โ €โ €โ ˆโ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ ‰โ 
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 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.
profilefollowSoftware โ€ข maker projects โ€ข music โ€ข DIY Mostly figuring things out as I go.wrote:
signals. thinking about shifting my mental framework to identify signals instead of waiting for concepts to be assembled. exploring the amount of energy and opportunities for distractions through the operations of processing what just happened and what is happening to short circuit latent and unnecessary systems. cut through the assembly processes and identify the raw signals. recognizing that naming these "raw signals" is misleading. maybe, shifting observability lower in the stack.
profilefollowphotography, 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.
๐Ÿงœprofilefollowrunner. making games and software.wrote:
Off to handstand class. I have been known to recommend to everyone within earshot doing challenging and/or silly physical things in a community. Not bucking the trend here.
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.
profilefollowa work in progress; i love cats ๐Ÿฑwrote:
Had to take care of something for school. But now in bed with my book.
profilefollowgrocer-engineer and polynomial enjoyer. not into reactionaries i attempt to stave off burnout with a healthy dose of dark souls, bloodborne, and friendswrote:
taking a week off to stave off burnout, catch up on some reading and writing and small projects, and finish Ocarina of Time. also will make soup
profilefollowresearcher, developer, dancerwrote:
just started using yazi and immediately love it. dont know why i ever put up with gui file explorers
profilefollowEat, drink, listen to ๐ŸŽถ, & watch the fish. Occasionally cook.wrote:
There is beauty in simplicity. Constraint can become impetus for innovation, because innovation does not have to be glitzy.
๐Ÿ˜ดprofilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.replied toprofilefollowEat, drink, listen to ๐ŸŽถ, & watch the fish. Occasionally cook.:
My favorite innovations in my own work -- and to be honest, I'd prefer to call them "discoveries" -- came from simplification. There's a beautiful moment when a stack of difficult, conflicting ideas collapse into a tighter, simpler structure.
profilefollowEat, drink, listen to ๐ŸŽถ, & watch the fish. Occasionally cook.replied to๐Ÿ˜ดprofilefollowI really enjoy learning, I really enjoy making. I'm learning to be less guarded.:
Enlightenment
you could split to buckets like alphanumerically and parallelize it if you don't want to wait that long. Probably need to launch a few instances but still cheaper lol.
The slowness is intentional. I wanted to make it look more like a user doing it than a script so it doesn't set off any alarms. I have it waiting from 1 to 3 seconds between clicks to slow it down. :-) So far so good!