anon291

14 ms·

361.
by anon291 8mo ago
This is incorrect. (1) Religions are treated no differently than any other non-profit. (2) No non-profit may endorse a particular candidate. They are free to comment on particular issues and policies and referenda. A priest can say 'vo
362.
by anon291 8mo ago
Well then there's the answer as to how much money you're going make. The us is a rich country because a few states are rich not because everywhere is rich
363.
by anon291 8mo ago
Prolog is not a theorem prover. Theorem provers are total (I.e. not turing complete)
364.
by anon291 8mo ago
A theorem prover is a dependently typed functional programming language. If you can generate a term with a particular type then the theorem is true. There is no testing involved.
365.
by anon291 8mo ago
Go to Silicon Valley VC backed firms. That's my general advice for any sort of tech work that you want to be paid well. Tech is -- overall -- not paid well. In general, most work is not. VCs are rich and the trickle down effect is larg
366.
by anon291 8mo ago
I mean... no? I've worked on chips for basically my entire career, and I get paid a more than when I briefly worked in web stuff. Not sure where this idea has come from. My previous startup I worked for just got acquired for 10s of bil
367.
by anon291 8mo ago
I've worked with many people born post-2000 who could write an operating system kernel. Hell, I have one brewing righ now. It's not rocket science. The machine language parsed by the chip is described in exquisite detail in any pr
368.
by anon291 8mo ago
Exactly. The advent of electriccity was seen as just as much of a threat to everyone as AI is today. The advent of the internet was seen similarly. In each era, those at the forefront of the technology that would fundamentally change the wo
369.
by anon291 8mo ago
I mean I'm literally a compiler engineer who's worked on dependable systems in the past, and I think this article is a load of crock to be honest. As is usual for many Americans (a great disease in the American mind, IMO), they gr
370.
by anon291 8mo ago
But don't worry their press freedom index is higher according to themselves!. "We ranked ourselves and found we were number one!"
371.
by anon291 8mo ago
There is so much more to software than SaaS apps. I do compilers now for new chips. The work environment is so much better. Go for the hard problems always.
372.
by anon291 8mo ago
No I'm saying a science and engineering fair doesn't really make sense. There's science in engineering, but just any engineering task is not scientific necessarily.
373.
by anon291 8mo ago
Questions don't need to be new to be science. My brother and I, for example, did an experiment where we tested pH of various water bodies around us. The hypothesis was based off of local drainage patterns. Not a new question... Still s
374.
by anon291 8mo ago
That's not science then. Just because engineering is equally enigmatic to most people as science doesn't mean they're the same. Science means applying the scientific method. "I hypothesize that method X is the best way t
375.
by anon291 8mo ago
It's funny how everytime the economic system is going to collapse, the response is often to complain about capitalism while purchasing more private property under the very same institutions that are about ready to fall over. It's
376.
by anon291 8mo ago
All I'm saying is that their should be a way to recapture the taxes if you've suddenly gone from tons of income to no income. Even the figures I'm citing are not a lot of money in some places like the CA bay area, unfortunate
377.
by anon291 8mo ago
I've seen this with several friends. One of the issues with tech is that if you make $250k in a good year, you are taxed on that. Whereas if you're then unemployed the next year, you don't get anything back as if you had only
378.
by anon291 8mo ago
Wow, you're the first person I've ever heard of to buy land in the woods to prepare for the imminent economic disaster.
379.
by anon291 8mo ago
The idea of being inspired by natural language is completely at odds with also desiring clarity first
380.
by anon291 8mo ago
The best imperative language is Haskell do notation which offers everything you support here.
381.
by anon291 8mo ago
Very very few human individuals are capable of making new things that are not a linear combination of existing things. Even such things as special relativity were an application of two previous ideas. All of special relativity is deriveable
382.
by anon291 8mo ago
Literally it doesn't matter though. The answer to carbon emissions is market based. Solar and batteries are cheaper due to the normal cadence of technical improvements. Global climate change is something that will be fixed by technolog
383.
by anon291 8mo ago
idiv [mem], and I assume mem is staying the same means it's in the lowest level cache... As fast as registers at that point. You're just adding to register contention attempting to move things into registers.
384.
by anon291 8mo ago
Mathematics (and computer science) is often taught independent of philosophy, which is a loss for both fields.
385.
by anon291 8mo ago
Correct. And this is the key distinction between the mathematical approach and the everyday / business / SE approach that dominates on hacker news. Numbers are not "real", they just happen to be isomorphic to all things
386.
by anon291 8mo ago
The complex numbers is just the ring such that there is an element where the element multiplied by itself is the inverse of the multiplicative identity. There are many such structures in the universe. For example, reflections and chiral che
387.
by anon291 8mo ago
Once again, TypeScript is a nice type checker for JavaScript, but the semantics of TypeScript are untyped.
388.
by anon291 8mo ago
meh... I have tons of articles that I write and leave hanging only to pick up later.
389.
by anon291 8mo ago
The semantics are simple and complete. Sql is based off a complete system (relational algebra), but the null handling results in degenerate cases.
390.
by anon291 8mo ago
Datomic is not sql but it is not mongo either. Mongo is completely unprincipled. Sql is halfway principled. Datomic and datalog are actually completely principled

More ›