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.

The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.

Just started, and two made it to be block list. This is going well! :-D

Didn't realize there's a block list! Good to include, even when the point is minimalism.

It is good it exists. “Registration” is fairly open (and that’s good!), which could make the platform prone to abuse (and that’s bad).

The TPMS indicator came back on again today; on the same road, can you believe it? I might have to get it checked at Costco this weekend.

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

You've hit the nail on the head. But here's the mindblowing part—writing isn't just about text on a page. It's not about listing a bunch of facts to memorize. Writing is about human connection. And here's where it gets even more fascinating... [parody, not AI]

…

Some writing yes, If you want to write a post saying why your company has a position yes; if you are documenting an API, does the average swagger page have a human connection factor? If you are in X/FB, is any of your followers a "human connection"?

Then, in some spaces, say big corp communications, the terse, direct communication is desired, for example the quarter earning communication? What about software?, what part of your browser gives you the "human connection"?

If writing (incl X/FB posts) is meant to convey "some human being did/saw/thought this and found it worth writing about", then AI undermines human connection and will annoy people. API docs, earnings reports, &c never conveyed that to begin with, so nobody will care about AI use.

(replies are hidden until you answer the quiz)

I think slop is not taking the time to refine and polish and simply publishing something as it was handed to you by the . You use AI but the decisions should be yours. Otherwise it's .

created a quiz:

Which of these existed first?

I finished Andor last night. It was a pretty solid show, even if Star Wars isn't something you're deeply in to.

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

Something with people, bartender maybe, or something with no critical thinking, delivery person, taxi driver and such. Or I go back to being a DJ as I was doing when I was young.

…

love it

If things turned out differently, I'd like to be a librarian in a medical history library.

…

Librarian does sound very appealing.

curious to know whats the experience of production push in other companies? e.g lots of documents/approvals…

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.

For 30 years, productivity skyrocketed through automation, yet longevity plummeted as a direct result of sleep deprivation. While these gains accrue to the owner class, sleep remains an undervalued element of the worker's health. We are trading life expectancy for chump change.

i was under the impression life expectancy has been steadily increasing over the last century, where are these quotes from? and which date?

That said, in Canada working class started loosing life expentancy for the 3rd year in a row, and WHO figures show a decline in improvement of life expentancy globally. But hey, I am just a no-one on the internet spewing bs :)

a decline in the improvement of life expectancy isn't the same as a decline in life expectancy, it's just that it's improving less fast now, we might be reaching biological limits however?

We tought for years that there was a biological ceiling for sprinters or marathon runners for example, with research backing it, but every one record was shattered. I tend to be cautious of biological explanations.

(deleted post)

replied to(deleted account):

I am pretty sure confience is what is at work in my case. Did you try something specific to improve in that regard?

…

Isn't the medical advancements in preventive medicine and accessibility to healthcare increases the life expectancy?

Togo sofas remind me of Heidi Klums worm costume

I hate it when I don’t remember if I took my midday pill or not. Not that it matters a lot, but still, annoying. I have notifications set up but I discard them by habit because they are exact times and my sleep pattern fluctuates.

I once saw someone flip their pill bottle upside down after taking a pill. Not sure it'd help me, because I suspect that somehow I'd still only pay half-attention when taking pills and so still get forgetful and confused :shrug:

It actually works!

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

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.

Hello! Is anyone else trying local AI? Im dont know what im doing but lately ive been trying "Llama 3,2 3b instruct q5km" on my phone and its been surprisingly good.

Its to replace using central ai for basic tasks like text editing, analysis and brainstorming.

If you have Mac, you might check out this app: blaizzy.github.io/nativ/

…

i think the best you can get right now is qwen 3.8 27B. youre gonna need 24 gigs of some fast memory though, i heard theres decent quantizations that can also make it run on 16. im quite excited about open/local models, but theres big investment overhead with the prices right now

You might be able to try out colibri, its quite good and the models are a bit better. I am unable to connect any of the cli agents to do things with it though, probably due to context limits, but try it out. OlMoe is the lightest

everybody come to we're having a party!

can't believe It don't let me jump up and down

you press 'b' ! it stands for 'bounce' :)

epic

…

Woow this is really cool!!

Thats so awesome! Getting RC3 vibes

i hate people who answer for me because im midway getting edged for a sneeze

Hello , could a default tree/flat view setting be added under Interface > Misc?

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.

Awesome! Let me know what you think!

Man this was so up my alley. Thank you for these recommendations, several of these tunes have gone straight in on my "WUBRG Goodstuff" playlist

good videogame music is often my coding sweet spot--no lyrics, something familiar

I can recommend rainwave.cc if you want an online radio for video game music. I tend to hang around there quite often and listen to their chiptune station.

listening to a lot of Tunic soundtrack atm

…

depends on my mood and inner state sometimes just silence sometimes background from mynoise .net sometimes a punk rock web radio sometimes my music collection (I stream myself, that's right). mostly punk rock again. very occasional let YouTube run starting from something I like

been using blanket recently, storm+wind

what?

i said good girl. as a sarcasm joke

Avui tenia una reunió llarga de moltes hores, d'aquelles en les que una escolta passiva és suficient durant la major part del temps. He aprofitat el temps per implementar una sincronització en dues direccions entre el meu calendari i el meu sistema de notes en markdown (Emacs Howm). He fet el pla amb Argon (tinc pocs tokens al dia amb la subscripció que tinc), amb feedback meu, i després Gemini Flash l'ha implementat quasi a la primera.

Today I had a long meeting of many hours, one of those where passive listening is enough for most of the time. I took advantage of the time to implement a two-way synchronization between my calendar and my markdown note system (Emacs Howm). I made the plan with Argon (I have few tokens per day with the subscription I have), with my feedback, and then Gemini Flash implemented it almost on the first try.

De retruc, ara el meu chatbot personal ja té accés a la meva agenda (no només a les meves tasques). He modificat una mica el prompt que li envia el servei de systemd que el fa anar, amb la idea que prengui més consciència d'aquest fet. També he modificat el briefing matinal que m'envia el chatbot. Aquest briefing conté una anàlisis de les tasques que tinc durant el dia. Ara tindrà en compte tasques i agenda, així m'ajudarà a prioritzar millor.

In return, my personal chatbot now has access to my schedule (not just my tasks). I have slightly modified the prompt sent to it by the systemd service that runs it, with the idea of making it more aware of this fact. I have also modified the morning briefing that the chatbot sends me. This briefing contains an analysis of the tasks I have during the day. It will now take into account tasks and schedule, thus helping me to prioritize better.

Crec que això m'ajudarà, perquè el chatbot no només és conscient de les tasques i esdeveniments que tinc, també té accés al seu context (totes les notes), inclòs el context personal (el meu diari) així té en compte el meu estat emocional. Així doncs, la idea és planificar millor els meus dies. I si no els planifico millor, almenys delegar moltes de les menudes decisions del dia a dia al chatbot per així preservar energia per a d'altres decisions.

I think this will help me, because the chatbot is not only aware of the tasks and events I have, it also has access to their context (all the notes), including the personal context (my diary) so it takes into account my emotional state. So, the idea is to plan my days better. And if I don't plan them better, at least delegate many of the small day-to-day decisions to the chatbot so that I can preserve energy for other decisions.

…