keybored

31 ms·

601.
by keybored 7mo ago
In my very first comment I made an openening for some kind of counter-argument, explicitly singling out the submitted piece here about formal verification. That you now seem to think that you are dribbling me into making some kind of conces
602.
by keybored 7mo ago
A use of LLMs is when you are in your second reply and you don’t have the will to make your own argument. The post is timid and conciliatory, spending words on some weird bargaining on all the wonderful things you can do with LLMs in prepar
603.
by keybored 7mo ago
I have millions of years of training data on the non-determinism or whatever of humans. That’s how, uh, humans can interoperate with humans.
604.
by keybored 7mo ago
Is it?
605.
by keybored 7mo ago
Incredibly milquetoast. I would not like to work with anyone who goes against these points.
606.
by keybored 7mo ago
That you anticipated a retort isn’t enough. You also have to refute it. Yeah compilers are deterministic and LLMs are not. The response to that? The answer could very well be something like what’s in TFA namely formal verification. But an a
607.
by keybored 7mo ago
Against Flintstone Engineering.[1] That’s great. I don’t know about the premises here. All of these articles are written to hammer two points. - AI is the future/AI has been here since X months ago - There are still people who don’t be
608.
by keybored 7mo ago
With enough money you can define what corruption means.
609.
by keybored 7mo ago
Feelings aside[1], a large part of it is about having management above you. Take that plus the ever-present online nagging about productivity. If the latter is true then, well, it’s not like there is a choice. [1] https://news.
610.
by keybored 7mo ago
I was relieved to read (skim) through all of that without it reaching some LLM conclusion like, “of course we have a better vantage point to understand now than thirty years ago... the LLMs can understand for us”.
611.
by keybored 7mo ago
That was not what ourworldindata chose (or had the data for) to showcase.
612.
by keybored 7mo ago
What doesn’t make sense to me about the AI Inevitabilism Embrace Or Die trope is how there’s going to be a sudden trap door which will eliminate all the naysayers which can be avoided by Embrace. Because that doesn’t cohere well with how au
613.
by keybored 7mo ago
> Businesses can't create demand from thin air with marketing. I would never suggest ex nihilo demand. There’s always some seed.[1] Women back in the day didn’t smoke. Untapped market. A marketing campaign convinced a lot of women t
614.
by keybored 7mo ago
1870 is not a great span of time when OP is comparing to some idyllic village life unencumbered by urbanism. Late 19th century had many people in a “rat race” in the city, like work twelve hour days six or seven days a week in a factory typ
615.
by keybored 7mo ago
There’s two hundreds years of social science and experience reports to answer that question.
616.
by keybored 7mo ago
Businesses need, or at the very least strongly want, to increase profits. There’s not like there’s any end to that supposed algorithm. And it gets harder and harder as time goes on. And as usual the cart is put before the horse. Businesses
617.
by keybored 7mo ago
Note that singling out this part is not some tacit acceptance of the rest of that comment.
618.
by keybored 7mo ago
Pejoratives?
619.
by keybored 7mo ago
> A proper email is like an email. A proper commit message is like an email?
620.
by keybored 8mo ago
You don’t have to look far to find it. Git and Linux, the two first Git-based projects, work like this. You could have found this if you did just a little research before declaring an open standard.
621.
by keybored 8mo ago
> Your responses seem politically charged We are talking about China and the US. > and not in good faith. I am playing with open cards. No hidden agendas. > You've failed to actually engage with what the person you're res
622.
by keybored 8mo ago
Two billion in lobbying. And the conclusion is that regulation is the problem?
623.
by keybored 8mo ago
Now about the grief angle. This is AI Inevitability Soothsaying.[1] It’s all just a backdrop for hammering home the same inevitabilism: GenAI, GenAI, GenAI. Just slap on whatever excuse to hammer this over, and over, and over. Grief, self-i
624.
by keybored 8mo ago
Every little minor dispute can be split into some arbitrary dichotomy which is vaguely defensible. Not interesting. Twelve years ago I would have the bright idea of why not make a little, just a tiny little (what I would call now) preproces
625.
by keybored 8mo ago
git int-trailers compatibility is a nonsense phrase. You don’t care about compatibility with a helper tool. You care about the tools that use them... and git log uses them. > The format is optimised for agent querying and human readabili
626.
by keybored 8mo ago
Rejected: (auth-library) ... ?
627.
by keybored 8mo ago
Yeah you talk about how you stumble into wars. Then you do it again. Then eventually it gets relegated to bah , but who is perfect. (Let me tell you who is not perfect: it’s China) This is a concept that a twelve-year-old has enough ego fo
628.
by keybored 8mo ago
> an open standard for capturing the WHY in git history Agentic coding keeps reinventing coding. That was my first thought. > And then it hit me - the commit body has always been there. Completely underutilised. Wait. What? This is th
629.
by keybored 8mo ago
The sources for that are plenty of billionaire-funded think tanks. Don’t worry there are sources.
630.
by keybored 8mo ago
Presumably you are not in Iran. Where people are getting bombed and feel the consequences of “finally [getting] rid of the Iranian regime”. Some circles might have only pro-Trump Americans. Others might only have anti-Trump Americans. And y

More ›