bwestergard

7 ms·

91.
by bwestergard 7mo ago
I am as enthusiastic about formal methods as the next guy, but I very much doubt any LLM-based technique will make it economical to write a substantial fraction of application software in Lean. The LLM can play a powerful heuristic role in
92.
by bwestergard 7mo ago
Or Java, for that matter.
93.
Poll: How do you think LLMs will affect the job market for software developers?
1 points by bwestergard 7mo ago|4 comments
94.
by bwestergard 7mo ago
A greater number of people will be working as software developers in five years than today.
95.
by bwestergard 7mo ago
There will be about the same number of people working as software developers in five years as there are today.
96.
by bwestergard 7mo ago
There will be fewer people working as software developers in five years than today.
97.
by bwestergard 7mo ago
"As we have seen, for Marx a social world dominated by commodities and money necessarily involves an all too real, if impersonal, form of coercion. The goods and services required to address human needs must take the form of commoditie
98.
by bwestergard 7mo ago
This thread is closely related: https://news.ycombinator.com/item?id=47194847 "The right amount of AI is not zero. And it’s not maximum."
99.
by bwestergard 7mo ago
Well said. I've found that I reach for Copilot most often when working on frontend javascript code. Will the incentive to improve the frontend libraries, browser standards, etc vanish now that LLMs let us avoid some of this pain?
100.
by bwestergard 7mo ago
With exercise and cognition alike, the concern is motivational. If you let yourself get out of shape, it can be very difficult to rebuild the habits required to get back into shape. You get drawn into a bad local maximum (e.g. prompting eve
101.
by bwestergard 7mo ago
I think this is a false comparison, and I believe cognitive science will show this to be true over time. "Now, many years and programming languages later, with my coding skills in LSI-11 opcodes totaly athrophied, I do not regret about
102.
by bwestergard 7mo ago
This expresses so well the concerns I've had as I've increasingly leaned into using Copilot at work. The mismatch in time horizons between employers and developers will be so vexing. At any given time, the profit-maximizing strate
103.
by bwestergard 8mo ago
"The false binary of "rest OR work" is dissolving." If you're like most people in this forum, there are people who stand to gain financially if you convince yourself that you don't need boundaries between work
104.
by bwestergard 8mo ago
The "Grace" language is based on the same idea, but lets you get the full benefit of specifying static types. https://github.com/Gabriella439/grace It's still probably not a great idea.
105.
by bwestergard 8mo ago
"These revolutions improved efficiency and quality of life" I'm genuinely not sure. We are all computer people in this forum, so it may have improved our lives. But for many people, information technology has lessened the tim
106.
by bwestergard 8mo ago
That's certainly a good example of a tool developed quickly thanks to AI assistance. But coding assistance tools must themselves be evaluated by what they produce. We won't see significant economic growth through using AI tools to
107.
by bwestergard 8mo ago
https://sunbeamwireless.com/
108.
by bwestergard 8mo ago
"eye-watering, blistering growth from the new hot applied AI startups and labs" Could you give us a few examples?
109.
by bwestergard 8mo ago
I carry a dumbphone all the time. I solve this problem by having open and emotionally honest conversations with people who might call me. For my relationship with my employer, I formed a union with my coworkers and we negotiated rules aroun
110.
by bwestergard 8mo ago
Yes. Here is another way to think of this. We all understand that the value of a lawyer in contract negotiations lies not only in drafting a document that, when fed to judge, produces the desired outcome. Rather, lawyers help clients (and c
111.
Fall-from-grace: A prompt engineering functional programming language(github.com)
1 points by bwestergard 8mo ago|0 comments
112.
by bwestergard 8mo ago
Self-conscious efforts to formalize and concentrate information in systems controlled by firm management, known as "scientific management" by its proponents and "Taylorism" by many of its detractors, are a century old[1]
113.
by bwestergard 8mo ago
Despite all of these policies that improve workers' overall quality of life, Germany's output per hour worked was still 96% of the U.S. figure in 2023. So color me skeptical that key the reform needed is greater "labor market
114.
by bwestergard 8mo ago
Yes, I balked at this point as well. Moreover, how do you accommodate new analysis concepts? What are you training the model on?
115.
by bwestergard 8mo ago
I would be interested in such a device at a lower price. I wonder if this has actually been manufactured or if this is just a mockup to gauge interest.
116.
by bwestergard 8mo ago
"But when I'm honest with myself, I can't point to evidence that an LLM writes worse code in a messy repo. And that bothers me. I've watched agents make correct changes in files I'd be afraid to touch." If the
117.
Geological Thin Section Gallery(en.wikipedia.org)
1 points by bwestergard 8mo ago|0 comments
118.
by bwestergard 8mo ago
I am not a vegan. My social world in D.C./NYC has many secular, left-wing, vegans. Many of them are friends or loved ones. They demonstrably speak their mind in front of me on countless issues on which we disagree. I have dined with th
119.
by bwestergard 8mo ago
https://en.wikipedia.org/wiki/Messianism
120.
by bwestergard 8mo ago
This will essentially always be more expensive than generating code a compiler can use, because the compiler and intermediate representation rule out, ex ante, a vast logical space of binaries that will crash.

More ›