gregorygoc

7 ms·

61.
by gregorygoc 1y ago
Yeah, and I’m saying if your code is idiomatic you get necessary invariants for free.
62.
by gregorygoc 1y ago
No, appropriate abstractions are insufficient for my argument. For example: there’s one way to write an idiomatic loop in C and it inherits necessary invariants by construction. I highly recommend reading the book, it explains concept of wr
63.
by gregorygoc 1y ago
Writing correct proofs is hard. Program verification is hard. In my opinion if you are hand weaving it there’s no benefit. Thinking about invariants and pre-post conditions is often unnecessary or greatly reduced if you write idiomatic code
64.
by gregorygoc 1y ago
Wall Street doesn’t like Google. This is the only reason.
65.
by gregorygoc 1y ago
Is there a website with off the shelf prompts that work?
66.
by gregorygoc 2y ago
Saying live-streaming is a solved problem is like saying search is a solved problem.
67.
by gregorygoc 3y ago
Both Apple and Google are ruthless monopolies but when there was a post about an antitrust against Google you could’ve clearly seen a bias against them. Whereas Apple gets a free pass because their products are „cool”. This is a sad state o
68.
by gregorygoc 3y ago
Programming popularized -> more people -> more cases of knee jerk reaction encountered. Most programmers are really not that smart nowadays. I’ve seen too many cases of people throwing around claims without a second of deep and critic
69.
by gregorygoc 3y ago
GDM works on internal systems? It’s the first time I hear this.
70.
by gregorygoc 3y ago
Having a final output as a single version of the product does not imply anything about the production process behind it.
71.
by gregorygoc 3y ago
This is not what he said. > There are very different programming styles. I tend to see them as Mozart versus Beethoven. When Mozart started to write, the composition was finished. He wrote the manuscript in one go. In beautiful handwriti
72.
by gregorygoc 4y ago
At that times PM had no say in product direction TBH. It was all very SWE driven
73.
by gregorygoc 5y ago
> This is not only baseless but also flies in the face of reality, as other tech companies, including other FAANGs, barely offer any stock and still manage to attract top talent. Which one?
74.
by gregorygoc 5y ago
You’ve described Amazon. Google and FB are different kind of beast.
75.
by gregorygoc 5y ago
After reading some comments I feel really sorry for my fellows across the Atlantic Ocean, clearly Reagan’s neoliberal propaganda has taken its toll. Come visit any Nordic country. You’ll see how the happy, rich and fulfilled society looks l
76.
by gregorygoc 5y ago
Because private developers optimize for their profit, not creating high quality area of living. You can look at what the full fledged free market is doing to largest cities in Warsaw. It’s a shit show.
77.
by gregorygoc 5y ago
Define “fine”. People want to start the family, but private real estate developers build shitload 40m^2, 1 bedroom flats (as they’re the most profitable). I’d argue the current housing market is definitely not “fine” for them.
78.
by gregorygoc 5y ago
Define “seek dominance”. Also, look at the EU. They force significant reduction of the carbon based energy by 2030 or something. Some countries (such as Poland) rely heavily on this energy type, but they signed an agreement to stop that. A
79.
by gregorygoc 5y ago
How about solving the actual root cause; making a sustainable economic system which does not exploit earth’s limited resources infinitely?
80.
by gregorygoc 5y ago
I think the key to innovation is to first know what’s out there. Then you’re able to combine, twist and augment known ideas. Special theory of relativity did not come out of nowhere. Neither did the geometry, nor algebra. It was all about h
81.
by gregorygoc 6y ago
Come on, people may have 600€ in their bank account to survive a month and they receive some fake ass invoice, which is supposed to clear almost all of their savings. That’s the definition of “not cool” April fools joke.
82.
by gregorygoc 6y ago
I’ve seen lots of projects succeed in Scala, and I’ve seen some fail. The latter was usually caused by writing spaghetti code crap instead of language complexity itself. Obviously some programmers blamed the language, but the harsh reality
83.
by gregorygoc 6y ago
Great ideas must come from great minds.
84.
by gregorygoc 6y ago
Long and tedious is the definition of an unsuitable human mental process.
85.
by gregorygoc 6y ago
Your observations are correct. Its the latter.
86.
by gregorygoc 6y ago
I guess I meant: what value does it provide which is not provided by IDEA IDE?
87.
by gregorygoc 6y ago
Any ideas on incorporating this into IDEA workflow? I feel like, IntelliJ has all the features already minus traversing the graph structure of a code.
88.
by gregorygoc 6y ago
You can say that about everything. "But X is not hard. It's just number theory" - while X is Fermat's Last Theorem
89.
by gregorygoc 6y ago
Probably some copyright issues.
90.
by gregorygoc 6y ago
I think most programmers nowadays face no interesting problems to solve. They crave for a mental challenge, but instead of looking for a job that requires solving hard engineering problems, they believe they can satisfy their mental needs w

More ›