amw-zero

16 ms·

181.
by amw-zero 5y ago
You miss pretty much the entire point of the article, as well as the purpose of life in general. Work is good for the worker. Because humans need a purpose in life. We don't even need to experiment to see what society would be like if
182.
by amw-zero 5y ago
> planting and harvesting rice, fishing, spending about a month of making clay bricks and letting them dry in the sun to build a house These are all things that I can't do. On top of that, even if I could build a house from clay bri
183.
by amw-zero 5y ago
I buy this. Maybe this is what people mean when they are anti work - they're just anti modern work? I think it's good to be critical, we can always improve the system. But I also personally believe our society is actually incredib
184.
by amw-zero 5y ago
Work is much more than that - it enables you to feed your family. If there wasn’t a service economy and you had to grow or gather your own food, sometimes you would have to choose between changing a diaper and going to find more food. That’
185.
by amw-zero 5y ago
What got me out of TDD zealotry is the enormous cost of really testing software well, I mean all branches, all sides of all conditions, large amounts of input space coverage. Then that coupled with the fact that specifications change consta
186.
by amw-zero 5y ago
I’m totally not trying to convince you, because I don’t strongly believe in pairing or anything. But, one benefit that I do see with pairing is that code is always shared amongst a team. You’re seeing the social interaction as only a cost,
187.
by amw-zero 5y ago
That's why I said proxy. The vast minority of members of our society take care of our actual physical needs. The rest of us do other things to provide other kinds of value, so that the farmers can do things like enjoy a nice TV show at
188.
by amw-zero 5y ago
Work is generally a proxy for survival. Do you agree that you need to eat in order to survive?
189.
by amw-zero 5y ago
This is spoken from a clear position of entitlement. Many lives do not have the benefit of being fulfilling or rewarding, and those same lives do not have a choice to "do something else."
190.
by amw-zero 5y ago
Let's take away the modern economy - what would you have to do for survival?
191.
by amw-zero 5y ago
But say that we didn't have business or currency, and you had to go and get food for your family. Wouldn't you have to make sacrifices even then? There might be an emotional situation going on at home, but if the food supply was d
192.
by amw-zero 5y ago
I'm not sure that it _should_ be hard, but I am sure that it always will be hard. This is just the nature of life, your attention is zero-sum. More time here means less time there. Yes, business is not all there is to life, especially
193.
by amw-zero 5y ago
I think that depends on many factors, like where you work, what class of companies you work for, etc. For example, I have not even seen a Windows machine in 10 years at work. I can't think of anyone in my professional circle either who
194.
by amw-zero 5y ago
I thought crypto was supposed to be more secure
195.
by amw-zero 5y ago
Does anyone notice an uptick in the number of posts about interactive theorem provers? Or is it just something I’ve been paying more attention to recently.
196.
by amw-zero 5y ago
You don’t understand the incompleteness theorems, that’s for certain.
197.
by amw-zero 5y ago
This is an obligatory comment that you feel this way because of popular languages that have the OOP label that don't have much of any resemblance to what Kay intended as OOP. To understand his vision more, look at Smalltalk. Messages a
198.
by amw-zero 5y ago
You're taking a complicated subject and reducing it to talking about what amounts to be pretty superficial syntax. There's more to messaging than just how the syntax of sending a message - how do you represent messages? Call by va
199.
by amw-zero 5y ago
I always had good experiences with it. I found abstractions that really did make sense, instead of treating it like a chore.
200.
by amw-zero 5y ago
It’s not naive, it’s just been speculated and talked about incessantly since Rust came out. The one naive part is underestimating how long that would take - Linux is one of the largest codebases on Earth. It would require massive coordinati
201.
by amw-zero 5y ago
This has drastically improved my writing too. It's ok to target a specific group of people when writing. Writing for the lowest common denominator hurts everyone sometimes - it might be too high level for beginners, but too much backgr
202.
by amw-zero 5y ago
Offline-first is a well-known term. You can search for it elsewhere. When writing, it's important to choose who you're speaking to exactly so that you can avoid sharing context, since that takes up time and bandwidth. The truth is
203.
by amw-zero 5y ago
I’m finishing up Concrete Semantics right now. No mention of time complexity that I saw, but even without that it’s become one of my top programming books of all time.
204.
by amw-zero 5y ago
Computation is the creation of and executing of algorithms. Even if an algorithm is expressed functionally, it progresses through a sequence of states when executed. Check out Computation and State Machines by Leslie Lamport: https:/&
205.
by amw-zero 5y ago
From section 1.1: > The programs in this book are written in Isabelle’s functional programming language From what I can tell, Binomial Heaps also have a runtime analysis. Not sure what you’re referring to with “heapify.” I would encourag
206.
by amw-zero 5y ago
Really, what modern language has any real unique features? Rust has an actual unique feature (borrow checking). Other than that, they just pick slightly different subsets of what has been around since 1970. That being said, Ruby for me alwa
207.
by amw-zero 5y ago
No real point in trying to convince you. You like popular languages - so just pick the most popular one. Also, have fun changing your codebase every 5 years when what’s popular completely changes.
208.
by amw-zero 5y ago
Node isn’t a language, and these are the most recent wave of popular programming languages. C++ went hand in hand with a great IDE (Visual Studio). Java was always used with Eclipse (not good, but ubiquitous).
209.
by amw-zero 5y ago
What makes you say that F# is an inspiration for F ? I recently went through the F tutorial and saw no mention of that. Obviously F* is an ML, but it seems more like Ocaml than F#.
210.
by amw-zero 5y ago
Trying to finish a blog post about how different program state spaces are easier or harder to understand. Also working through Concrete Semantics and thinking about building a programming language with some kind of integrated testing /

More ›