js8

30 ms·

601.
by js8 2y ago
Not really. It's how it should be, except maybe autocomplete. If your code is predictable, it means it has low entropy and you are not using the right abstractions.
602.
by js8 2y ago
> Around 85% of the time, it seems like it takes me more time to write what I want to code in natural language to an AI prompt (and then correct it) than it would to actually code what I want. That's how it should be, actually 100%.
603.
by js8 2y ago
Any program that uses a database has a very similar problem to global variables. As Gilad Bracha has pointed out, types are antimodular, and your database schema can be considered one giant type that pervades your program, just like globals
604.
by js8 2y ago
> A community only espouses good values when it punishes bad behavior. This is the "beauty" of the free market ideology (see e.g. https://a16z.com/the-techno-optimist-manifesto/ ). If all the transactions
605.
by js8 2y ago
You do know that half of the Gaza population have been born there, right?
606.
by js8 2y ago
If the prison is your homeland, it might be.
607.
by js8 2y ago
> They’re being pushed until these administrative roles because Directors have no idea how to leverage their talent and default to putting them into EM-like roles I think the explanation is simpler, I suspect it's just many people h
608.
by js8 2y ago
Don't you have any product or project manager people in your company? As someone else said, you're (somewhat) describing an EM but there are other types of managers as well.
609.
by js8 2y ago
> making sure the wheels stay on the bus as we barrel full speed to a release. Making sure people have work. Making sure they know what it is, and the customer is on board. Tracking deadlines. Managing expectations What you're descr
610.
by js8 2y ago
ChatGPT cannot be argued anything, it will just apologize and move on.
611.
by js8 2y ago
> But there's a reason none of Google, Amazon, NVidia, Tesla, Meta, Netflix, etc. were built on mainframes zOS / COBOL / JCL / etc. The main reason is that Linux is free of charge, and that Unix happened to be more us
612.
by js8 2y ago
Yes. I am not sure YTP grants access to higher bitrate streams. In any case, I am using YTP as a leverage. It's well-known Google doesn't like Firefox and yt-dlp, so I am using those with YTP to make the point that maybe they shou
613.
by js8 2y ago
For me, it's really simple. I have YT Premium subscription. If they break Firefox or yt-dlp to the point of unusable, I will cancel my subscription.
614.
by js8 2y ago
I agree with you. "Chain of thought" is not reasoning, just like LSD trip isn't. I think we lack a good formal definition of what (fuzzy) reasoning is. Without it, we will always have some kind of unexplained hallucinations.
615.
by js8 2y ago
Oh, OK! I think it would be interesting to know to which universal combinator (or lambda expression) is the 't' related to.
616.
by js8 2y ago
AFAIK there are many variations (I think infinite, even) of "tree calculi". You can build one easily from combinatory logic by using only one universal combinator, which will be implied at the leafs of the tree. John Tromp in his
617.
by js8 2y ago
I read this argument/analogy and the "AI slop will win" idea reminds me of the idea that "fake news will win". That is based on perception that it is easier than ever to create fake content, but fails to account for
618.
by js8 2y ago
How do you expect AI to write unit tests if it doesn't know the precise desired semantics (specification)? What I personally would like AI to do would be to refactor the program so it would be shorter/clearer, without changing its
619.
by js8 2y ago
> And so forth. You're missing things like LISP and Forth, which allowed for lot of productivity early on. It usually had a performance cost, though.
620.
by js8 2y ago
My favorite example of this is grep vs method references in IDEs. Method references are more exact, but grep is much simpler (to implement and to understand for the user). I think you're also right about LLMs. I think path forward in p
621.
by js8 2y ago
I like your analogy with the child. There are different types of human discourse. There is a "helpful free man" discourse where you try to reach the truth. There is a "creative child" discourse where you are play with th
622.
by js8 2y ago
I don't think either of those was GP's intent. I think it's more of a lament about anti-intellectual and anti-engineering culture in the U.S. I interpret it that you shouldn't need these gimmicks to get people interested
623.
by js8 2y ago
Haven't tried it, but applications like these are the best uses of LLMs. Translation from an informal human language to a formal language that the human can review, and can be manipulated formally further. I believe the attempts to hav
624.
by js8 2y ago
Why? Can you elaborate what you find so offensive?
625.
by js8 2y ago
The reality is that you can't make people to care more about quality than their (yours) management cares about it. I would suggest discuss this with manager, and if he cares enough about quality, he can try to slowly coach the individu
626.
by js8 2y ago
I think a good general advice when training somebody is - focus them only on the biggest flaw at the time. That's how I would proceed with a "bad" PR. I would even accepts smaller issues (style) when there is a bigger issue t
627.
by js8 2y ago
Actually, sum type would be more analogous to XOR in Boolean logic.
628.
by js8 2y ago
> I am certainly rooting for sum and product types to become pervasive common knowledge to all programmers one day I agree. And it's not just programming, but also databases. One of the flaws of relational data model is that sum typ
629.
by js8 2y ago
It's not what happened, though. Fossil fuel companies had studies about the impact of AGW since 60s, and yet decided to fund climate change denial. That's criminal.
630.
by js8 2y ago
I am not sure about this, but it depends on definition of "technologist". Is Gates or Musk a "technologist"? I think that social democratic movement in 20th century, and also Chinese communist government, made many peopl

More ›