skysight-inc/HackerNews huggingface dataset:
> the interview process can stay irrational much longer than I can stay solvent

You're still looking at this as a matter of how well you can play the game, not whether it's actually a fair game anyone should have to play. That still doesn't answer the OP's question, and I'm not interested in a strategy discussion right now. I've had plenty of those. If you can't bring yourself to think or talk about social problems as they might affect others, then we have no common ground or reason to engage with one another.
Behind Nate Silver’s War with The New York Times
The difference is that developed countries usually have functioning police and intelligence agencies that can keep a lid on mob violence.
It's a scylla and charibdis problem to be sure - though personally, I'd prefer we err on the side the Soma.

But what's wrong with what we do now, private actors who try to build reputations as having possession of truth and we muddle along with those who sound most plausible to us? Sure, some people choose the wrong sources, but that seems a smaller risk than Everyone choosing the wrong source.
What exactly are we supposed to do with this information? It's almost just an editorial article, there is very little actual information presented and it appears designed to create more hair on fire panic in people rather than anything else.

The planet is 4.5 billion years old. I'm sure the arctic has melted and re-frozen numerous times during all that. I'm not willing to be manipulated into giving up any more of my tiny remaining freedom so that we can "do something" all the time. In fact, to hell with "doing something" just let the universe deal with it.
If Maya is on life support, then is 3ds Max the only actual product Autodesk intend to develop?
Direct incentives for law enforcement rarely lead to unadulterated truth and prevention.
The seaweed is a specific kind of red seaweed that isn't used in sushi. The seaweed contains compounds which tamp down specific microbe levels. I doubt the exact same effect is occurring in sushi eaters, though a similar one hypothetically could be.
^^ CCP Propaganda Alert. This account was created 7 days ago and this is its only comment.
Only a few years later I tried to tell people how big Wikipedia would get. When it had tens of thousands of articles, everybody told me how it was pointless and would go nowhere.
> They are smart about what sells

Alternatively, they are being influenced by people who have ulterior motives.

History says, if you get in a trade war with the US and we don't end up funding your opposition, an error has probably occurred or you are not very important.
Sonification: Turning the Yield Curve into Music
1. BIdirectional isn't magic. If I program MergeSort or Quicksort, and give it the signature

forall T.
Array[T] ->
(T -> T -> Bool) ->
Array[T]

Bidirectional will not infer what's missing towards a full spec.

2. Yes, you can refine later, but if you want to refine later (and in practise you almost always
have the full spec -- if it exists at all -- only at the end), then
why pay the cost of dependent types from the start? Once you have the
full spec, verify with Hoare logic.

3, 4: I'm not sufficiently familiar with Idris to comment.

5. Alternative approaches, in addition owhat "pron" mentioned includes
program logic, e.g. TLA.
> If you drive towards a wall and you're accelerating and all you're doing is slowing the rate of acceleration you're still going to run into the wall at terminal velocity.

To complete your metaphor and make it more accurate: we don't know exactly how far away the wall is. Reducing acceleration (emissions) is good unambiguously. If we reduce them fast enough, maybe our seatbelt and airbags will make the crash survivable.

> Our ecosystem doesn't care whether we tried really hard and if we were really good citizens or whether we did nothing

Yes, it absolutely does "care". It's not a black and white issue. Each fractional degree more of temperature increase causes dramatically more serious change to the environment. Every possible reduction is valuable.
I love Blender, but knowing how to use it is a real profession. So many functionalities ... Even reading a book on Blender is not enough.
I have no idea what the real MAU numbers of actual people are but I would think it's maybe a quarter (5%) of the population. There are so many bots on twitter along with company accounts, meme accounts, IFTT automation, etc. that I can't imagine it's 20% of the US using twitter each month.
So, while you sit there waiting for the perfect solution (which is completely unrealistic) people actively working on real solutions.

> spending billions on something that gets you from 100 to 99.9 you're wasting time and energy that you don't have.

Of course those numbers are just made up but they are also very far from reality. Solutions to climate change have actually been ranked in terms of total cost and total amount of CO2 reductions and electric cars come in at the 26th most cost-effective solution to climate change:

https://www.drawdown.org/solutions/transport/electric-vehicl...

I really don't know why climate change seems to inspire so many people's inner contrarian where they just want to deride any attempt at preventing it because they haven't solved the whole thing in one go. There is no perfect solution, we are not going to fundamentally transform the world to a car-less society, or eliminate meat consumption.

Its like if you buy an electric car, somebody tells you "BUT you still fly!".

If you stop flying, somebody tells you "BUT you still eat meat!".

If you stop eating meat somebody tells you "BUT you still heat your home with gas!"

If you switch to electric heating based of clean energy sources somebody tells you "BUT you still buy avacados imported from across the world!"

It never ends.
For beginners, I would recommend two things: ambient noise (with headphones/noise-cancelling works best for me), and a soft alarm for the timer. I used to DIY it, but I find the InsightTimer app is a free & customizable solution filling both these needs.
One of the victims they describe is a smaller business owner with several hundred employees. So not really working class?
I wonder if the author documented his changes to the infrastructure (just like it was documented that the feature was enabled and could or couldn't be switched).
Def Con: World's Biggest Hacker Gathering
Interesting, thank you! I was surprised by this, as it's the major component of natural gas (as used widely for cooking here), and this has a distinct smell. I went looking however, and discovered that's actually because Ethyl Mercaptan is added specifically to make it detectable by humans. I never realised this, and does indeed explain why it's plausible no-one would have noticed such a large effect.
>I think it's best to not assume my ethics are somehow more or less valid than anyone else's.

That violates the law of non-contradiction. Either one is wrong and one is right, or both people are wrong and they haven't realized what is right yet. Moral subjectivism as a principle makes absolutely no sense, and Aristotle destroyed that argument in Nichomachean Ethics.
> This type specifies that both Vects must be length n. If they are not equal in length, the code will not compile. In fact, this type is so narrowly specified that Idris can infer the entire implementation of the function from it.

It's more accurate to say that Idris can guess an implementation of the function, but it's not the only possible implementation with that type. There's nothing in the type to stop the function from reversing one or both of the lists before the zipping stage, for example. More generally, it could randomize the order of elements in one or both of the supplied lists.
Come now, think creatively here, this going to war nonsense is a total straw man argument. Carbon-based import tariffs, sanctions, and having a very strong, innovative US clean tech to export/sell its tech to other countries who need but dont have the R&D budget.
> “I don’t understand why my home had to be searched when I would be unconditionally released,” he said. Fong said officers did not take anything from his home.

I'm sure they were there not to take something, but to leave something.
Treatment for Extreme Drug-Resistant Tuberculosis Wins U.S. Government Approval
Why not rabbit? It's a much leaner meat, takes less space, and they breed much faster.
You can train a neural network without backpropagation (with a gradient method) and it will just be slower.

There are plenty of derivative free methods as well.

It’s not clear whether a function being nondifferentiable means anything without further specification since classification is practiced quite successfully in many cases.
How long until I can go full Elysium?
And it leaves only those who survive to extol the virtues - the countless legions of failures are dead.
I kinda think this article proves too much; similar arguments could be made against any statistical simplification of performance. It's not that it's "wrong", it's that it's "too right".

I mostly advocate for the min in the specific context of benchmarking to improve the performance of a specific piece of code, on the theory that it's the best measure to cut away all the random bits you can't control with changes to the algorithm under test. If you've got a 5x variance in performance, and you make a 10% improvement in your algorithm, min seems like one of the better ways to figure that out, but you've still got a fundamental problem that that amount of non-determinism is just too much noise to see through via any mechanism very reliably, without a lot of runs.

In terms of measuring "real" performance, yeah, min isn't a very good choice, being equivalent to just measuring the 0%th percentile, which anyone doing real measuring knows isn't all that useful in the "real world". But when I'm optimizing, I use "min". I also, as others have said, try to just eliminate any variance as high as what is discussed in the article because that's difficult-to-impossible to work with no matter how you slice it. (You can in principle always do "enough runs" to get through any random variance, but that doesn't mean you're willing to wait for a 1000 runs of your minute-long computation just to see if this particular improvement was statistically-significant, and then do it another fifty times.)
I'm not sufficiently familiar with Idris to comment -- I will learn Idris in the future, hopefully in December.

Be that as it may, I'm somewhat sceptical of implementation inference: after all, you need to give a spec, exactly the thing you typically do not have in large-scale software engineering. The spec emerges at the end and often the program is the spec itself. Moreover, as far as I gather, implementation inference works by program synthesis, and unless Brady has had a massive breakthrough here, that's an exponential search process, so it won't scale much beyond inferring small programs like the zip function. (Still I think implementation inference is a useful tool- but it's not magic.)
EasyRPG Player 0.6.1 “Surprise Attack”
Most agricultural colleges/universities have their own farms/herds as well.
Absolutely correct. The Kashmiris deserve peace and quiet, the closest both sides came to an agreement was ca. 2003 between Vajpayee and Musharraf. Unfortunately the stakes are too high for India to give up this strategic place.
This is a gross misunderstanding of everything in the industry.

Maya is far, far from being on life support. There are hundreds of studios around the world that use it, and autodesk do substantial development in Maya till date including updated adding USD, Bifrost and parallel graph evaluation.

The fact that Pixar have their own animation package (Presto) has nothing to do with Maya whatsoever.

The first ancestor to Presto effectively predates Maya. They've developed a lot of custom tooling and workflows around it for animation. They still use Maya for many aspects outside animation like modelling etc...

Similarly DreamWorks and rhythm and hues also had their own proprietary animation software (premo and voodoo) for similar reasons but still use Maya for other purposes.

Your comment is completely off base.
Who said everything?

Taxing stuff that comes from large scale industrial destruction of the environment is completely different than everything.

Plus all the carbon tax schemes start with direct rebates to the tax payers in equal parts, so those who consume more get less back than those who don't.
True that. Even a successful exit can lead to employee common stockholders (i.e. holders of stock gained through vested, executed options) getting screwed. Look what happened in Gilt Groupe's IPO, for example: https://www.vox.com/2016/1/19/11588918/gilt-groupe-is-a-caut...
But Haskell is intentionally used as a laboratory to experiment with new ideas. That is not Rust's primary goal.
Don't listen to the person you replied to. They're completely full of it.
And what is access? Access of parties to shove information down my throat? Access for parties with deeper pockets to drown out real information?

If information would be in a book and I could go to a library and seek it out - don't ban anything!

But if messages are replicated in covert manner with lots of money thrown at news anchors, op-ed writers, sponsoring, bribes, syndication, SEO it is a different story.

And money is not the only problem. Cognitive psychology has progressed a lot and it is possible to engineer "information" that is very likely to spread in a viral manner. Push the right reader gratification buttons and off you go leveraging the social networks.

It is important I believe to distinguish between information and data. Information must be accessible but what is happening is we are flooded with replicated data containing almost no information. It used to be that volume of data was often a reasonable proxy for importance - not anymore so. I think people are catching up to this but unfortunately it also makes it easier to sell crackpot theories.
Silicon Valley wants to read your mind – you should be worried
As far as I understand -- please correct me if I'm wrong -- F* uses dependent types as a foundation of maths (i.e. a logic) and embeds program logic via a HTT (= Hoare Type Theory). This is a very nice division of labour between programming and verification.
I've actually been slightly interested in buying some cheap land outside of town and slowly planting trees to forest it over the next decade. The goal would be to plant enough trees to cover the carbon footprint of me and my entire family.

What I don't know is where I can find out which trees are particularly suited for carbon capture. From what I've read, fast growing trees will capture carbon quickly, but only if you harvest them, prevent rotting of the wood, and replanting a new crop.

Slow growth trees will store more carbon, but it takes a longer time for it to accomplish it.

I suppose it's like one of those "Good, Fast, Cheap - Pick two" situations. Is it better to capture a lot of carbon quickly to help the planet ASAP, or to kick-off the planting of trees that will capture carbon for the next 300 years?

Even when that's decided, how do I pick which trees aren't just suited for my area (relatively easily with native tree guides), but also well-suited for carbon capture and survival in an increasingly chaotic climate and ecosystem?
Lessons About Risk from a Paramotoring Tragedy
> That's net, gross is around 50K.

The taxes are a bit high but have a lot of benefits of living in Belgium. But it is true that you have to make some compromises/sacrifices if you want to make your disposable income stretch.
A certain level of autonomy, yes. Independence, no.
“Binance Hacker” Threatens with More Data Leaks
Ah but that wouldn't be representative benchmarking. Consider the later example about finding a random word on the large list -- if you fix the random seed and that turns out to search for 'aardvark' then the linear search will perform well, but it won't be a good measure of how fast the program is in more general conditions.

Your idea works for comparing machines though.
It already has: hip/knee replacements, surgeries to repair where human body couldn't do so well, antibiotics to supplement the immune system, immune-boosters to boost it, iodine added to salt, sunglasses, sunscreen... There are literally hundreds of ways science is adding to our evolution by improving our bodies' biochemistry.
That's not comparable at all. Nobody gets hurt if you read a book or waste time with social media.

The only practical purpose of a plastic doll is to sit for a very long time in a landfill, with the only exception the short time at the beginning where it sits on a shelf instead.
Are these the "large character signs" which were widespread in the Cultural Revolution?
I'm pretty sure I was part of the "resurgence in people advocating for the use of the minimum time recently," and I'll tell you right now that I did not have a "benchmark" that varied by 7x from run to run in mind.

"Benchmarks with random performance tend to mislead"

Both of these "benchmarks" have exactly the wrong amount of randomness. A little more, and you could get a useful mean out of the results.

When I advocate for the use of minimum time in benchmarking, the scenario in mind is running periodic regression testing on a set of known good benchmarks that don't have intrinsic randomness (or it is averaged out) and yet vary by 0-10% as a result of actual noise. In these cases, it is very useful to have a single number (and if that single number surprises you, then by all means take a look at the distribution).

Neither of the examples here show the impact of actual system or measurement noise, only random performance.
You have more in common with a psychopath than you realise
I'm also one of those people. I mean, the only meaningful change we could make in a couple years would involve mass depopulation of the planet- anything else is on the order of decades.
> In one case, investigators at State Farm withheld several crucial reports contradicting their fraud allegations from the bundle of evidence they handed over the law enforcement. In another, a Farmers manager admitted under oath that there was an “unwritten policy” within the company to withhold evidence from customers that could help prove their innocence.

If withholding evidence that might prove your customer's innocence is a necessary part of the business, I submit that your business is bad and should not continue in its current form.
I use a similar service to delete my old tweets, older than 30 days. No way I want some public archive of my thoughts out there forever.
They don't need to, the search itself is intimidation.
There are many prima facie examples, clean water, vaccinations, prenatal care...
Well, technically, nothing's really renewable. Limited but massive nuclear fusion in the sun is indirectly powering solar PV and wind and hydro for 4-10 billion more years. Limited nuclear alpha decay of Uranium inside Earth powers geothermal. The limited Earth-Moon gravitational system powers tidal.

So I think it's fair to actually consider nuclear fusion and nuclear fission in breeder reactors both to be renewable. B. Cohen said the same about breeder fission reactors in the 1980s [1].

Uranium in seawater can be extracted at 10x world energy scale for billions of years. It replenishes continuously through crustal erosion and plate tectonics. Sounds pretty renewable.

But according to policies we're writing today, the term renewable does not include fusion or fission in breeders. I consider this problematic. Thus I think we all should prefer either "sustainable energy" or "low-carbon energy".

[1] http://large.stanford.edu/publications/coal/references/docs/...
They should still be allowed to be seen but should be heavily caveatted as NOT TRUE if we know they aren't. Another good one is the reporting on vaccines causing autism, but we all know vaccines save millions of lives.
Antisurveillance clothes foil cameras by making you look like a car
I think this is what is being referred to: https://news.ycombinator.com/item?id=20643052
Why would Mastercard be required to do business with the Sanders campaign?
When discussing structural changes, it seems like lifting constant fragments a compile time wasn't discussed. There's a Babel React optimizer to do exactly this. Lift those to their own functions. Since those functions don't take any props or state, their values are cached almost indefinitely.
Elon is an eternal optimist that truly believes that the tech will catch up with his goals.
Shoes. Antibiotics. Etc.

Take an anatomy class, and you'll be amazed at how poorly configured human knees, lower back, appendix, vagus nerve, etc. are.
That just means they're not running afoul of copyright laws. By setting up the VMs, they're running afoul of the EULA, and Apple has the right to seek legal remedy for their actions.
One simple change to the statement accounts for your observation:

"Where you are in life is a result of choices you AND YOUR PARENTS have made in the past."

If by some remote chance there's a young person reading these comments and you are living in the slums, you have to start making better choices than your parents did (and their parents did) TODAY if you want your kids to have it better than you do.

Start with Walter Williams (Economics Professor at George Mason) advice on how to not be poor:

1. Graduate from High School.
2. Don't have children until you're married and stay married once you get married.
3. Take any kind of job (except illegal ones).
4. Stay out of jail.

Start there and move up as opportunities arise and it is almost guaranteed that your kids will do better than you (if you are currently in the slums.)
> It’s honestly a very immature tweet. It’s something I wouldn’t say today. I have personally grown past the hate of the two party system. I feel like I have a clearer and more mature view on American elections…

Congrats on your new political maturity, but no mention or reflection on the deeply sexist language you used makes me think that you haven’t grown at all.
> So why not pay for it?

Let's turn this around. Why is Google offering a free service that doesn't meet reasonable expectations for how that service works?

My repeated experience is that Google is good at things like search, where people get what they get and individual humans don't matter to the company. But they're bad at things that require treating people like people.

After being a happy Google hardware customer for years, I just had a purchasing experience that was so bad that I'll never buy from Google again. Their hardware and software won me as a customer; their customer service not only lost me, but was so bad it has made me more wary of doing business at all with any part of Google.

For me, this is in the "do or do not, there is no try" bucket. They don't really want to deal with humans, so they half-ass it. I wish they'd just stay out of those kinds of businesses, as their dominance and indifference to profit can mean crushing competitors and preventing the emergence of a real marketplace.
The answer to “Will you mentor me?” is no (2010)
You can afford a camera, a laptop and a high speed connection, but not a token amount to cover moderating your upload? I don’t imagine this being a common scenario.
Lvis: A dataset for long tail object recognition (by Facebook AI Research)
Are you saying there's a different baseline metric we could be using? If we're going to be making climate-change related arguments about water, we need a climate-based metric to show that it's climate change causing water accessibility issues.

Without such a metric, then it's easier to show that local political issues are what's causing these issues.
Right on. Breeder fission reactors can power civilization for at least tens of millions of years, probably billions, thanks to seawater uranium extraction and renewal through plate tectonics.
An excellent video lecture on this by Max himself which is brilliant and very intuitive: https://youtu.be/5MdSE-N0bxs