learningstud

7 ms·

31.
by learningstud 2y ago
Vibrating.
32.
by learningstud 2y ago
Vibe coding will create more jobs to (1) clean up the mess or (2) spread the vibe.
33.
by learningstud 2y ago
Regulations are even worse. Hayek explained how regulations are the main drivers of shitty companies.
34.
by learningstud 2y ago
Try programming in a proof assistant to see how inseparable computation and logic are. It gets more fundamental than the Curry-Howard correspondence when homotopy type theory enters the scene.
35.
by learningstud 2y ago
In reality, logicians and type theorists are employed in the computer science department and rightfully so. The whole field of computer science should upgrade with such influx of talent.
36.
by learningstud 2y ago
Nowadays, logicians and type theorists find home in the computer science department instead of the math department. My whole point is to get rid of "computer" and "science" from "computer science."
37.
by learningstud 2y ago
Computer science studies and invents logic whereas the math community has departed from logic as a whole.
38.
Computer science should be called logic(youtube.com)
1 points by learningstud 2y ago|10 comments
39.
by learningstud 2y ago
At the very end of the video, the speaker quipped that computer science is not just about computers and an actual science doesn't have "science" in its name. The development of programming languages, compilers, SMT/MILP
40.
by learningstud 2y ago
The real capitalists are the board and investors.
41.
by learningstud 2y ago
Exactly, like Daoism.
42.
by learningstud 2y ago
Coordination. However, just like Hayek explained how it's much more practical and beneficial to rely on the impersonal price system for coordination than central planning. The bigger the company, the less beneficial to have CEO coordin
43.
AI Replacing CEOs
5 points by learningstud 2y ago|11 comments
44.
by learningstud 2y ago
Or, the accountants determined that the overall cost of voluntary exits is expected to be lower than a mass layoff. It's possible that voluntary exits make more financial sense.
45.
by learningstud 2y ago
True, unions, in general, hurt employees no matter how competent or incompetent said unions are. Unions are the privatization of governmental bureaucracy: more evil than "exploitative" big tech corps.
46.
by learningstud 2y ago
Your revelations echo with that of Seneca, "On the Shortness of Life". You take your life seriously which is an act that I immensely respect.
47.
by learningstud 2y ago
Yes, Google gains advantages through the Chrome browser so do we as consumers. The competition for Chrome should come from a better Browser not by being forced to sell it. DOJ is wasting time and taxes on this pointless verdict. Even more e
48.
by learningstud 2y ago
This is so stupid. When will we learn some common sense from Milton Friedman?
49.
by learningstud 2y ago
Don't indulge in meritocracy. It's essentially a "prize".
50.
by learningstud 2y ago
> If the government ever wants a third party to oversee safety of openAI No, please don't drag the government into this. Don't call for regulation when we don't know it's implications. Once we gain enough insight, the
51.
by learningstud 2y ago
The engineers most likely have looked into it. Most likely, it's the legal department and higher ups that decided to push through.
52.
by learningstud 3y ago
Many people are already like that most of the time.
53.
by learningstud 4y ago
Take the aftermath of the recent Kahramanmaras earthquake, the status quo should be improved even for well established engineering fields, and more so for the software industry.
54.
by learningstud 4y ago
I believe software has the potential to be an exception of "any human endeavor done at scale is going to be a complete clusterfuck of a trainwreck." In software development, there are methods to scale correctness not mistakes, but
55.
by learningstud 4y ago
Could it be that formal methods are exactly the solution to "wrangling clarity into requirements from messy humans"? Business people and programmers could work closely together to incrementally build a list of formal requirements
56.
by learningstud 4y ago
It's never about perfection, but lifting up the acceptable lower bound. Around 150 years ago, Joseph Lister had to go to great lengths to persuade surgeons to apply antiseptics, which seems like a no-brainer nowadays. The methods I men
57.
Why is there so much useless and unreliable software?
83 points by learningstud 4y ago|144 comments
58.
by learningstud 4y ago
GitHub issues
59.
by learningstud 4y ago
Rarely is software engineering as currently practiced actually "engineering" and "problem solving". We are mostly creating even more problems due to unreliable methodology forced down our throat. Hell, we can't even
60.
by learningstud 4y ago
There are also numerous examples to show how many people have no understanding of what he/she is actually saying. Specifically so in programming. Code snippets created by human programmers are generally only more reliable than that cre

More ›