jnash

14 ms·

91.
by jnash 4y ago
The logic is that if your house can only comfortable accommodate 4 people then it makes sense to say no to the 100 people who also wants to move in. Resources are not infinite. The same goes with culture. The more people you add to a cultur
92.
by jnash 4y ago
I have started looking into it for the same reasons. So far it feels like programming in F# but with nice tasty refinement types added. So fairly straightforward.
93.
by jnash 4y ago
Nice. A bug: the fill color is still drawn when drawing an arrow.
94.
by jnash 4y ago
US Universities are investment funds with a bit of teaching/research attached to it.
95.
by jnash 4y ago
It's 2022 and Microsoft is doing yet another UI framework. I wonder how many months it will be supported before it is dropped and a completely different UI framework is promoted instead? But hey don't worry! Rewrite all your impor
96.
by jnash 4y ago
Hard agree. 95% of Microsoft tech doesn't survive for long. Silverlight anybody?
97.
by jnash 4y ago
Why oh why does C# still not have sum types? It is by far the most useful feature still missing from C# and one of the key reasons why I prefer F# over C#.
98.
by jnash 4y ago
That was my experience as well working in the US (Washington D.C.) I think it is a problem you will find anywhere.
99.
by jnash 4y ago
How do you use this approach on a team with shared code?
100.
by jnash 4y ago
I predict that the future development landscape won't be much different from today. In the same way that the development landscape today isn't much different to how it was 60 years ago. The only difference will be faster hardware,
101.
by jnash 4y ago
Nope. $millions in lost long term investment opportunities. Even worse if you took a loan to buy the car.
102.
by jnash 4y ago
Hahahaha you are so funny!
103.
by jnash 4y ago
Running is actually bad for you. Health is not the same as Fitness. The more you run, the more you risk long term damage. I know a lot of people reading this will disagree. In response I say: read "Body by Science".
104.
by jnash 5y ago
I think there is a spelling mistake in the title. I believe it is spelled "Metaflop" not "Metaverse" ;)
105.
by jnash 5y ago
A lot of new projects turn into this within a few months.
106.
by jnash 5y ago
So Rust is dominating an area that has zero impact on the world. While the world runs on C/C++. OK thanks. Noted.
107.
by jnash 5y ago
99.999% of C++ developers either don't care about Rust or has never heard of it. There are 5 million+ C++ developers out there. And the number is going up .
108.
by jnash 5y ago
It is a lot easier to get the spec right than getting the implementation right. > How seL4 or CompCert protect me against against hardware issues like ECC errors, or the Pentium FDIV ? That's a straw man argument. Nobody claims that
109.
by jnash 5y ago
If you don't know how to write large scale maintainable monoliths then you don't know how to write large scale maintainable micro services. Micro services are inherently more complex than monoliths.
110.
by jnash 5y ago
Am I the only one who thinks that the "metaverse" is a joke and will never amount to anything useful?
111.
by jnash 5y ago
> We don't have the technology to produce bug free software based solutions. Not correct. See seL4, CompCert etc.
112.
by jnash 5y ago
If you give away your work for free and then complain and act all surprised/hurt when nobody pays you in return then you are the problem. Not the people using your work. Accept it and move on. Or make people pay for your work. It&#x2
113.
by jnash 5y ago
A sequence of sinus curves can compute any function. A Turing machine can compute any function. Lambda calculus can compute any function. etc. etc.
114.
by jnash 5y ago
You are right. Here is procedural: doX(data, args) Here is OO: data.doX(args) The only difference is that you can stop doX(data, args) from modifying parts of data. However you can do the exact same thing in non-OO languages like C or Haske
115.
by jnash 5y ago
I would quit if I was forced to pair program. Pair programming is loved by incompetent software developers because they can hide in the shadow of more competent developers. That's my experience anyway. YMMV of course.
116.
by jnash 5y ago
Which is a big mistake. There is a reason why Germany is the export powerhouse it is.
117.
by jnash 5y ago
Agree. This is bread and butter for SMT solvers like Z3. No "AI" required.
118.
by jnash 5y ago
I think this is only truly creating burnout if you feel you can't quit and find another job.
119.
by jnash 5y ago
That's an easy one: follow the money. Enterprise developers are not rewarded for making beautiful, fast, and user friendly software. Enterprise developers are rewarded for getting functionality needed by the business done NOW. Nobody m
120.
by jnash 5y ago
If you are manager of developers and it isn't clear to you who the core developers are and what each member of the team contribute (or not) then you should be fired for incompetency. Talking to developers, and keeping an eye on who doe

More ›