Any conversation

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.

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.

My new favorite #linuxnotesfollow little script: echo freeze > /sys/power/state Quickly suspends the laptop until I press the power button again for 1 second. This eliminates a miniscule (but still annoying) motherboard noise that was leaking to my speakers whenever I needed to take a #PowerNapnotesfollow. #Autismnotesfollow sensitivities…

For 30 years, productivity sky-rocketed with the advancement of automation and computing. Meanwhile, a decline in longevity was observed, correlated to sleep depravation. Productivity improvement goes to the owners class' pockets, sleep benefits the workers health.

What’s up ?

Just finished reading The Last Contract of Isako by Fonda Lee. I highly recommend it. #booksnotesfollow #scifinotesfollow

Sunk cost fallacy is no longer applicable in the age of #AInotesfollow. Now you can do broad changes without second thought, u can always revert back, without incurring the cost of doing so, since it’s all done so quickly and effortlessly.

Coding is so passe. Dont feel like coding at all

Apparently, Xiaomi is making a DGX Spark competitor.

okay, writing from emacs, textlog.el - gist.github.com/…/2feaf5a264fd4cf81d5ec44c17bde70aGisttextlog.elGitHub Gist: instantly share code, notes, and snippets.

I’m ambivert. When I spend time outdoors and with people I want to keep doing that, I become very extrovert. Can’t code in that mode. It’s hard to switch back to introvert but when that happens time flies really quick. A month can pass and it feels like a week.

Useful software necessarily contacts the world; models are already better than us at finding and poking holes in it; agents sacrificing themselves for a collective. Huggingface incident has me finally Yudkowsky-panic-curious.

I'm just an android launcher called Nocebo Launcher. I don't have usual grid layout, instead I'm inspired by Darth Vader's TIE fighter. My layout can spin, like a real spinner and you can configure physics and animations. I'm easy, cool and novel

(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.

what are the best midnight snacks?

The dream of Twitter circa 2007 is alive in 2026

#exercisenotesfollow time

Looks like I am user #482

'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

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.

Huge items in the plus column for Quebec City: lots of music stores, and lots of shops where you can buy a really good chef's knife.

Dealing with the my first visible issues with migadu dot com Luckily, most stuff there are secondary and not super important. A bit annoyed but sh*t happens and #hugopsnotesfollow for whoever is fighting the fires.

turns out the power of exclamation mark thing in bash is bigger than !$ and !!. i learned a few tricks from refp.se/…/your-shell-and-the-lazy-exclamation-markrefp.seA shell exclamation mark is not for yelling. Be lazy. | Filip Roséen - refp.seEvent designators have been hiding in not-so-plain-sight since the late 1970s — so powerful that forgetting might be part of a massive conspiracy to wear out developer keyboards faster than otherwise., worth reading!

Feather to paper that's moon inked for you -- a greeting from somewhere. It isn't for you. But it will be for you.

Why did the scarecrow keep winning all the awards? It was out standing in its field. #dadjokesnotesfollow

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

Full productivity suite replacement for gmail, or proton mail. gitlab.com/here_forawhile/tmailplusGitLabHere ForAwhile / tmailplus · GitLabGitLab.com

I like old cars

Can really relate to thisNicholas CharriereBeing ambitious and being a dad | Nicholas Charriere

This is my first note, there are many like it, but this one is mine.

Taking a small break from here to work on an #MVPnotesfollow for a friend! I missed #frontendnotesfollow #JSnotesfollow.

Naturally, as soon as I return from a week of vacation, GitHub is having an outage 😑

Waiting for an original thought to pass me by.

Happy [no] Labor Day to those in the U.S.!

hi

There is someone absolutely rotten and fetid in this airplane. Every 10 minutes. Dear Spaghetti Monster!

به نام خداوند جان آفرین

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

More tweeter than tweeter?

how do i know my user id? i created by account 5hr after #launchnotesfollow. im user # what?

Which Linux distribution do you like the most, and why? Follow the previous with your favourite desktop environment.

This could just be on Activity Pub tho right?

Any runners on here? I mostly consider myself a trail runner, but of course train on roads, too. Good for 1–2 races/year, more into running as a practice, a way to manage stress and stay fit.

Returned from the gym. Good day.

Never forget, the party goes onhallucinate.site! #ravenotesfollow

I really like this minimal approach, I wish the maintainer great success with textlog. whatever that may look like to them :) I will make sure to check in occasionally.

találtam egy mikroblogot textlog.cctextloghotA quieter place for your thoughts. webcímmel, szerintem jól működik együtt a textlog.hu főoldalammal, makroblogban mikroblog, textlogban textlog beágyazva, kereshettem volna más megoldást, de ezzel egyelőre elégedett vagyok

buit a keyboard driven calendar webapp right now cause im disappointed with all tho other solutions i could find. no dependencies, super customizable, im kind of obsessed. for the first time in my life im actually keeping my calendar alive.

ive been obsessed with deltarune this year, its probably the best indie rpg ever made. (and its only 5/7 chapters out)

i thought german state bureacracy was bad, until i had to go jump through the hoops of (an online retailers) coorporate hellhole of a dev program.

Any #Pinotesfollow users around? I have been customizing it to the way I work, as it is meant to be. Bent it in a way that I enjoy holding it, so to say. Maybe someone will find those useful, so I took the time to get it published. Gruntfooot is a footer customization, where you can try new colors/glyphs in real time and also has theme support.

Which planet has the shortest day? #quiznotesfollow

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.

Hopefully this takes off #launchnotesfollow

Am I the first Korean to write here?

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 😪

While learning jj, I realize how Git habituated me into being ok with its unique jargon and prickly command line interface. Unlearning Git is refreshing.

Happiness is having just enough hot water in my espresso to extend the experience without diluting it overmuch. #coffeenotesfollow

People have no idea how many news websites, SaaS websites, and apps I would subscribe to at prices of $30/year or less ($2.50/month).

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.

Maybe neither of us will ever know when this was written. Live.

#morningnotesfollow! #coffeenotesfollow n #worknotesfollow

I like this concept

Job I was hoping for gave me the "we found another applicant" treatment. I don't begrudge them for that, since I know I had a 'less than adequate initial coding interview. But still, it stings and sucks. Hopefully my other interviews yield better results...

The job market feels like it's been run over by a truck. What's the play here? Anything automated/streamlined (job platforms, LinkedIn, etc.) feels like a dead end. Messaging people, networking and so on seems like the only reasonable way, and that's a hustle all on its own.

OMP + OpenCode Zen + Ox Alpha is too good to be free.

What is this? I Like It

Ask HN: What's slop? what's AI written text and why read/not read? news.ycombinator.com/item?id=49289341#49290428

The seductive power of using #ainotesfollow to just-get-it-done is very strong. One can't hurry quality. One can iterate quickly though in the hope of arriving somewhere good.

Things I'm enjoying lately: Hellforged demostore.steampowered.comHellforged on SteamHellforged is a loot-driven, extraction bullet-heaven game. Fight through demon-infested maps, pre-craft your build, hunt powerful gear, and combine abilities into epic synergies. Every run is a tense heist. Safely extract epic gear mid-battle or risk it all for greater rewards! Vampire Survivors + Diablo IV Void Stasis albumCryo ChamberSpecimen 7, by Void Stasis7 track album Alien + Dune ambiance Howling Dark book 2 of Sun Eater FuriousJustWatchFurious - watch tv show streaming onlineFind out how and where to watch "Furious" online on Netflix, Prime Video, and Disney+ today – including 4K and free options. great TV

This #tome about #Tcl/Tk has me re-evaluating my plans to move to the woods to be a carpenter hermit. Now I want to move to the woods and be a #Tclnotesfollow programmer hermit. #programmingnotesfollow #codingnotesfollow

Intro: Wisen to create a recursive learning loop for my coding harness. Every session becomes a reflection; every reflection feeds improvements back into the harness, so the next session starts with better context. github.com/Bella3202019/wisenGitHubGitHub - Bella3202019/wisen: Nightly reflections and searchable chat over your coding-agent sessionsNightly reflections and searchable chat over your coding-agent sessions - Bella3202019/wisen

Hey hola, aquí un hispanohablante que ingresó por curiosidad. No creo pasarme mucho por aquí pero igual aquí andamos por ahora. #Hispanohablantenotesfollow

HelloWorld #execnotesfollow show codefrom datetime import datetime now = datetime.now() formatted_time = now.strftime("%Y-%m-%d %H:%M:%S") print("Formatted:", formatted_time) Wow

Tweaking the /hottextloghotA quieter place for your thoughts. algorithm. Really want posts like /post/142/post/142

@vko_pngprofilefollowwrote:

what are ya'lls favorite wikipedia page? I myself is partial to the 'variations' entry for high fives en.wikipedia.org/wiki/High_five

more

i.e genuinely long discussions, stay longer instead of getting burried away by newer posts.

If you left your current industry, what would you do for a living?

Just three more commits left, but /usage ran out. Resets at 01:50, so I guess I am going to sleep.

(∩╹□╹∩) ``

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.

#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.

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

Hello, world!

It's Monday. Coffee is barely working and so am I.

I’m using textlog to explore the intersection of #foodnotesfollow and tech, with the goal of building an app that solves a problem in this space. Named @C0C0A5profilefollowwww.C0C0A5.com, it's word represented as a hex color. Of all the words there, it is a cocoa-ish color and is an appropriate name for this idea.

𐑲𐑝 𐑚𐑰𐑯 𐑦𐑯𐑕𐑐𐑲𐑼𐑛 𐑑 𐑒𐑫𐑒 𐑥𐑹 ·𐑡𐑨𐑐𐑩𐑯𐑰𐑟 𐑓𐑵𐑛 𐑤𐑱𐑑𐑤𐑦 𐑕𐑴 𐑓 𐑛𐑦𐑯𐑼 𐑲 𐑥𐑱𐑛 𐑕𐑨𐑥𐑩𐑯 𐑑𐑧𐑮𐑦𐑘𐑭𐑒𐑰, 𐑥𐑰𐑕𐑴 𐑕𐑵𐑐, 𐑮𐑲𐑕, 𐑯 𐑐𐑦𐑒𐑩𐑤𐑟. I’ve been inspired to cook more Japanese food lately so for dinner I made salmon teriyaki, miso soup, rice, and pickles.

How did all the tech oligarchs seem to go fash so quickly?

Been working on #CreditUnionnotesfollow website marketing materials this morning. About to dig into some #MicrosoftAccessnotesfollow work. If 'variety is the spice of life', my job is Cajun seasoning.

Two roads diverged in a wood, and I I took the one less traveled by, And that has made all the difference.

Longer answer: My editor does not start wars. I use whatever is convenient. Most of the time I am on visual studio code but I'll use anything. Well, anything except emacs I guess. I don't think I have ever actually used emacs.

The inaugural, proverbial first post. Seems like a lovely service here.

my today’s #todonotesfollow list:

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

howdy

The mental shape of a programming language resurfaces, and my mind craves writing programs in it. Array languages, concatenative, Lisps, Smalltalks.

Togo sofas remind me of Heidi Klums worm costume

I got an email from battle.net to confirm my age. Apparently some content may be restricted to minors in the region my account is from. You would think that the account having been created 19 years ago, and with some CD-keys of games from the late 1990's having been added to it would be enough proof, but oh well.