skysight-inc/HackerNews huggingface dataset:
Here's some good images to simulate the stress:

https://static.ffx.io/images/$width_375/t_resize_width/q_86%...

https://www.thesun.co.uk/wp-content/uploads/2018/08/NINTCHDB...
Use an ad blocker. It's clear websites don't care, so why should the user.

Also it may be worth trying DuckDuckGo. You need to get used to the subtle differences in how it generates results (compared to Google), but in return it won't try to guess what you meant based on search history, so imho the results are a bit more consistent and sites like Pinterest don't appear as often.
No. He is a pretty bad PM, but.. no. Don't do this to HN
This is a point that need more exposure.
"Interest rate" have also another one meaning in "technical debt".

Even if you don't touch the code at all, it loses its value.

- Developers forget why did they make particular choices, and what were the implications.

- Technologies do age, and there will be maintenance cost for updating that.
It's not poor code it's just code that prioritises shipping now over writing for some hypothetical future state.
So for all intents and purposes they are indeed enforcing the lockdown
It is today, but what about at the time it was picked? Software from that era (e.g. telnet) take their hostname/service arguments as two strings (e.g. `telnet 127.1 ssh`). I believe ip:port comes from URLs, the RFC for which was published at the end of 1994, which is about the same time that v6 was being developed. So it's not clear that the fault isn't on the URL side, or on the side of software using URL conventions when they're not using URLs.

Note that staying with "." wasn't an option, due to ambiguity with DNS. (Consider something like "2001.db8.3.4.5.6.7.be": is that an IP or a hostname under .be?)
The interface uses ringbuffers for communication between the kernel and userspace. That's how I have always understood it at least, not sure if it's actually correct.
Tasmanian Devils deliver the highest bite force relative to body size of all mammals.
> The artist that painted the Facebook murals for stock options that is a multi-millionaire now.

That person did not "get in early" on USD. They got in early on Facebook stock. Currencies are designed to stay flat-ish, and ideally have a low, predictable rate of inflation to among other things incentivize investment. Your job is to allocate that currency towards getting in early on something productive. Like an upstart social network.
Could it be as simple as money being funneled through NZ nationals to buy up houses?

I mean housing prices are up everywhere it seems, one could think there's an evil shadowy cabal of rich investors buying up properties.

But, and I'm not an economist or anything here, on the other hand there's a few forces pushing average people to it; we've recovered from the housing crisis from 2008 onwards. Savings account interests are on the floor, so people are looking to put their money somewhere else - a house is a great long term investment.

another one I heard is that "big" loans from e.g. the European Central Bank are really low interest, pushing banks to lower mortgage rates, which makes people think "now is the time to buy and fix my mortgage rate", which is what I ended up doing a few years ago.

And of course there's the 'rona, which has made a lot of well-off people reconsider their overpriced living conditions in the big cities. They can get a real house outside of the big cities for the money they make, and if they can work remote or limit commuting, it makes sense.
Yes, bogus. This is something that there have been many scientific studies on. Randomly do different levels of sight correction for kids, and look at what happens. Obviously these can't be double blind studies, so this is the best we can get. There simply is no evidence there of glasses making myopia worse.

In fact, in a famous case they had to abort the study early due to ethical grounds. The vision for the (uncorrected) control group was degenerating so much faster that they felt compelled to give everyone the correct prescription.
> What I want to know is, when are automated provers gonna be useful for thickies like me?

Note that automated theorem provers is not the same as proof assistant. With ATPs you delegate most of the work to some proof search, whereas with proof assistants the human drives most of the work (which is more manual but lets you tackle much more complex and undecidable domains).

> Right now there's mathematica, which can be useful but won't really do stuff on its own - it'll rearrange an equation but I can't ask it "prove this is increasing".

The problem with Mathematica (and others) it is both unverified and proprietary, so if your work relies on it you are depending on a huge trusted code base not having mistakes (extremely unlikely).

I recently took an undergraduate course on real analysis, and was able to formalize quite a bit (within reason) from the class in Coq[0]. In fact, it even aided my reasoning, for instance I wasn't ensure the following inequality was true, but Coq made quick work of it.

Lemma test2 :
forall (x y z d : R),
Rabs (z - y) < d ->
Rabs (x - z) < Rabs (z - (y - d)) ->
Rabs (x - z) < Rabs (z - (y + d)) ->
Rabs (x - y) < d.
Proof. intros; split_Rabs; lra. Qed.

> Or there are these high level systems for proving deep theorems. Is anyone trying to fill the gap?

There's ongoing work on computable real numbers for instance the CoRN library[1], so hope is on the horizon, for instance, a recent update to the Coq Interval package adds certified plotting, that is, the library guarantees that if a function passes through a pixel, that pixel is filled[2]. There's also the user-friendly Coquelicot[3] real analysis library up to basic differential equations (e.g. Bessel function).

> It'll rearrange an equation but I can't ask it "prove this is increasing"

For a taste, here's my proof that the cube function is increasing[4]. If I wanted to create a tactic that automatically proves a function is increasing, I would use properties of increasing functions[5] to recursively break it down into trivial subcases.

[0] https://github.com/siraben/math-3100/blob/master/analysis.v

[1] https://github.com/coq-community/corn

[2] https://coq.discourse.group/t/interval-4-2-now-with-plotting...

[3] https://hal.inria.fr/hal-00860648v1/document

[4] http://ix.io/3rxD

[5] https://www.math24.net/increasing-decreasing-functions#h-pro...
>Safari isn't protecting the web, it's killing it

Saving the web means killing the modern WPA-related feature-creep, and Google's mono-control.

Safari helps with both.
I don‘t see why foreign investment would be bad for a domestic housing market in the mid/long term. In the end real estate shouldn‘t be bound to a low stock to flow rate, given its (delayed) supply elasticity. Combined with a possible remote working trend this should benefit construction workers etc. a lot medium term.
Sure, for any individual the risk of the AZ side effect (thrombosis+thrombocytopenia) is low (3 per 100,000 for the <50 age group [1]). But in Australia, the risk of catching COVID and dying is/was even lower, especially for the <50 age group (6 deaths out of 16 million so far).

I know I'm ignoring many of the nuances here (long COVID, mortality risk of thrombocytopenia, externalities of higher vaccination rates), but it's clearly not a slam dunk to just jab everyone in in Australia with AZ if they're not supply constrained. Many European nations came to a similar conclusion (banning AZ for the younger age groups) even when at much higher COVID incidence rates.

[1] https://www.health.gov.au/initiatives-and-programs/covid-19-...
and Elon?
Users want lots of things. I want a free car with a Bluetooth stereo. That doesn’t mean it’s in anyone’s interest to provide it to me.
ChatBot using ReactJS without AI
And what about Elon?
All company stock undergoes substantial dilution. The trick is that at each dilution the unit value goes up more than the number of units does. A smaller piece of a bigger pie, that in this case, is still net more pie.
I really don’t think games are the sort of things Elixir would be well suited to, in general.

Games would generally be going against the grain if the langage, not easily leveraging its strengths and really needing areas where it’s weak.

A game server, however, could be good. At least if you don’t need very high performances (e.g. if you need fully accurate physics sim on the server then probably not, plus you’d want to run the game’s own sim anyway).
I will throw in my 5 cents anecdata (I have a history of trauma/back injuries and pain).

I spent about 100 euros on a kneeling chair, that had enough adjustment settings for my liking. I have been increasing my time on it steadily for the past few months, to the point that I now confortably work the whole day from it.

It is a complete mind shift, I actively have to sustain my posture (and actively shift it), I don't slouch and I don't snooze off. It propels you into 'active mode'.

Whenever I am eventually physically tired it prompts me to take a break by taking a walk or eating a snack. I have been absolutely back pain free for the last 8 months and overall I feel that my posture is improved.
> Given that many video streaming websites have come and gone, it is pretty safe to assume it is not profitable.

That is completely ignoring the network effects of everyone being on YouTube. The profitability of an alternate website while YouTube still exists has nothing to do with the profitability of a YouTube without music.
I disagree, I think its recent growth in use is a smooth addition to the language, even if we do already have plenty of synonyms for 'bad'. Speaking of those, your very classy 'stupid' hasn't exactly clarified much either.
You are somehow turning a remote possibility into a near-certainty in this argument.
Subbing to this, in case somebody drops commercial or DIY bed monitor visa mounts or spine friendly bed pillows
One of the Bandit maintainers here (the tool used for this research). static analysis results cannot be used for the overall security posture of an application.

Bandit can and has often found vulnerabilities, but its not something you can run and expect accurate results every time.

It requires human review as it will get things wrong and require adjustments to skip false positives at each later run.
I stopped using multiple screens, but only because my 4K (at home) and ultrawide (in the office) can fit everything I need. I wouldn’t do the same with 1080p.
Ethereum Celebrates Sixth Anniversary
I've done extensive research in this area and looked at existing tools including bandit to scan the whole pypi repository and monitor what is being uploaded there, the conclusion was that most of the tools are not up for this task so I made a new framework from scratch that is specially design for this purpose, to scan the whole PyPI repository, it's called Aura: https://github.com/SourceCode-AI/aura
The wasp is completely digested. Does my car’s gas tank contain dinosaur biomass? Not really, it’s been chemically transformed.
Heisenberg's asset class strikes again.

A Gini coefficient is only useful if you treat it as a currency of a sovereign state, but it has basically no attributes of a good currency - and certainly doesn't have a state. It's not broadly accepted anywhere, it's not the unit of account for anything and nothing is priced in it. So yes, to your point, a Gini coefficient with that in mind makes no sense.

However because it says "currency" on the sticker, someone's gonna run the numbers as though it is one.
I really don't know much in this area but this seems to be more of a posture thing. A physiotherapist told me he only uses laptops because apparently that's the best combined with the right table and chair due to the tilted, low screen.

In my experience he's at least not completely wrong, but in the long term I still aim to try a standing desk to mix it up, sooner or later sitting in general feels wrong when I overdo it. And I just prefer a single large screen. Enough to fit two windows beside each other with enough space for any situation.
There should be a global rule that non-residents can't buy property. Homes should be prioritised for living not investments. It's a drag on the global economy with so much money being tied up in unproductive assets which in turn soak up even more money through rent seeking.
Yeah, this is not a slide of recommendations; that’s describing the model assumptions illustrated by the charts. Essentially, it says “these charts don’t include modeling the impact of any additional mitigations aside from masking”; these charts show that we must enforce universal masking immediately at minimum.

On the last slide, “Next Steps for CDC”, they explicitly list:

> ▪ Prevention

> – Consider vaccine mandates for HCP to protect vulnerable populations

> – Universal masking for source control and prevention

> – Reconsider other community mitigation strategies

Which means they definitely think additional mitigations are worthwhile, but we must start with at least masking.

They have a hard job to communicate the specific recommended actions while remaining calm and not causing a panic or making people think that they are over reacting… with everyone ready to jump on them, I do not envy the job.
If there is a secret hidden footnote to "NO ADJUSTMENTS FOR OTHER INTERVENTIONS" and "no distancing, no isolation, no gathering restrictions" that reads "just kidding about that, all restaurants and bars need to be closed immediately" then this slide deck is doing a very bad job of clearly recommending what public heath interventions should be done.

Again, why would they recommend universal masking if they know for a fact that it wouldn't do anything? What's the point?
Right, giving copyright holders the power to compel others to do what you want without any court involement is already ridiculous. Then also having no consequences for abuse of that is just broken.
With a very small adult size of about a cubic centimetre (1 cm3), they are both the smallest and one of the most venomous jellyfish in the world.

Robert Drewe describes the Irukandji jellyfish sting as "100 times as potent as that of a cobra and 1,000 times stronger than a tarantula's".

Irukandji jellyfish's stings are so severe they can cause fatal brain hemorrhages and on average send 50-100 people to the hospital annually.

https://en.m.wikipedia.org/wiki/Irukandji_jellyfish
We can discuss meaning all you want, but I'll still get my managers asking me to write code quickly now and take some shortcuts, and telling me to write a "Tech Debt" ticket to fix it in the future.

Spoiler, we never have time.
Im not really sure of the point this article is trying to make. It seems like a moan about the upper class from a by-gone era.

"This country could do with a lot more Hannahs and far fewer Jacob Rees-Moggs."

The remaining Jacob Rees-Moggs of the UK stick out like sore thumbs and are almost caricatures. I also don't imagine many people are oblivious to the fact that the "aristocracy" (what does that even mean in a UK context nowadays?) made their living off of exploitation. Just as todays elite do but in softer ways (see Bezos).
Wasp or no wasp (...but there is really none, nada, zilch it's impossible to trace kapish?), lot's of flowers pollinate with the help of insects. I don't feel like it's coincidental these "there is wasp in your figs" articles appear, right before harvest season. Those who can't match the quality of your product, well they try with dirty ways to smear it.
There's some videos where it seems to reproduce in the mobile version of Google Maps. See:

https://www.portaldecadiz.com/provinciacadiz/63098-video-est...
A lot of these 'elites' were minted from 'lowly born' savages who went onto India and basically looted temples and murdered the natives there. There were quite a few money-minded gold-digging brides even sailing all the way to India in order to find themselves a rich groom.

Robert Clive is a classic example, whose family is still auctioning off the loot he carried back home.

I'm not surprised that the article fails to mention this - it's taught in the West that colonialism in India was benign, that we welcomed it, that we need 'more colonialism'. Plenty of can-confirm-iam-indian folk will even attest to this (as has been the case in the 1000 y history of India's colonization).

Little wonder hate and discrimination against Hindus is so normalized and even seen as the 'righteous' thing to do.
Much of the time "technical debt" seems to be a euphemism for bad engineering

The leaning Millennium Tower in SF cost over >$100m dollars to fix. We call that a mistake or an oversight, not "engineering debt"

In software we'd have called it "technical debt", as if spending $600m to build a system that doesn't work and needs to be fixed at tremendous cost while wiping out all of the profits was somehow part of our business strategy all along.
The weirdest YC namedrop I've seen (a Craigslist ad)
As for (1), I can directly recommend Personal Security Checklist (https://security-list.js.org/#/README), it has complete, updated and reasonable advice for most people.
That page is extremely slow without hardware acceleration.
It (hw-accel) was off for me because I updated some things without restarting Chromium, but I dunno. It doesn't "spark joy" with me.
Not specifically to enforce a lockdown (and to clarify they are assisting police, it's not the ADF doing this by itself), but it's routine for the ADF to assist with disasters.

Surely you remember the ADF helping out with the bushfires not too long ago? There were the big news items like civilians trapped by bushfires being evacuated by the RAN off of Mallacoota beach, but the ADF also provided an incredible amount of assistance with logistics, engineering, and so on... it is deeply unfair to assume the worst of them just because it's enforcing a lockdown.
Hmm. Second meaning in my dictionary is

"2 Ecology of or denoting a plant which is taller than the surrounding vegetation, especially a tall tree in a forest.
• of or denoting a water plant with leaves and flowers that appear above the water surface."

Is this tree taller than others nearby?
AFAIK they left a huge loophole: an NZ company can buy all the property it wants and foreigners can start or buy stakes in these companies.
I pour pretty much everything into S&P 500 plus have some cash for balancing. Yes i bought a few apartments when i was basically a kid in my early 20s but not in the last 15 years and not planning to ever buy any real estate unless i'll come to be able to do it on a proportion of my income that lets me completely ignore "investment" consequences of such a decision (say <6 months income).

Yes commercial real estate is a good thing. There are good rental yields on it. It's not generally a gamble. But entry ticket is high there and every decision is important unless you are billionaire, and even then it looks too similar to stock picking, even worse than that. You need to really understand shit about real estate and research a particular place you want to buy and it's surroundings very well, too easy to make a stupid mistake.

Also residential real estate might make sense but not when you buy a house for yourself. Crappy cheap 1-2 bdr apartments to rent out work OK, and they are a lot more liquid too. But it looks too much like "job".

Single family house you'd want to live in, clearly "no". It's almost always a bad investment decision.
For some languages, there are books written with restricted vocabularies (500 words, 1000 words, 1500 words, etc), called "graded readers."[1]

There are some really nice graded readers out there, with the entire vocabulary defined at the back of the book, and any word outside the restricted vocabulary defined in a footnote on the page. I've even seen editions that come with a matching audio book, so you that you can practice listening as well.

1. https://en.wikipedia.org/wiki/Graded_reader
Bringing up an anecdotal edge case, a couple years ago I have attended a viewing in a coworking space (Bricklane, London) where members had to sit on old recycled school chairs because that was the "design". Apparently you need to get a sciatica to look like a hipster coder.

Having the right setup is not only about making your brain more productive - it's about keeping your spine pain free. While my home office is set up for this purpose, only one company that I have worked with so far had this aspect in mind. In the past, I had to take days off because of terrible set ups and long work hours. Having a well positioned and large second monitor helps a lot.

You have much more control over this while designing your home office. Working from bed is not the way unless you're planning to marry a physiotherapist in the future.
The very topic of this thread is about how Australia is quarantining a _city_ from the rest of the country.

Australia quarantines internally, which is comparable, if not more difficult, than countries that close their international borders. Imagine if LA was quarantined from the rest of California. That's the closest analogy I can make to the subject of this thread.

And yes Australia is a large island but if you take the briefest glance at a population density map, you'll see that the vast majority of the population is concentrated in a few coastal regions and particularly around Sydney and Melbourne.
Judging by some of the comments here and elsewhere, I get the feeling this has been incorrectly marketed, intentionally or otherwise. Luckily it seems like that marketing hasn't convinced many people so we probably (hopefully) won't see an excited pre-release period followed by a lot of anger and disappointment at release day.

Back to my point though, this seems like the natural evolution of something like Pico8 or the other fantasy consoles. Not anything close to a competitor for normal gaming or even retro gaming, perhaps something more like the modern version of the demoscene.

It's expensive, I don't deny that, but I think calling it "Hipster garbage" or "Something for blue checkmarks" is just missing the point of what it is. I don't blame people for saying that, when I first heard of it I thought the exact same thing, but actually now I think its something to really look forward to.
It seems weird that fan art is allowed but animation isn't. If I do two drawings of a character then that's allowed, but if I quickly change from one to the other then that gives the illusion of movement and isn't allowed anymore.
To be fair, "dinosaur biomass" would be innacurate, but "biomass-derived fuel" is a perfectly fine description that you'll find in a lot of places.
There are severe and onerous asset forfeiture laws in many Western countries, not to mention the catch-all magic phrase of "eminent domain". If any government anywhere wants something from you, it will take it. You will not be able to outlast via the courts or whatever legal means you think are available, rather you'll likely burn all your available finances fighting it.
London has similar problems. Apartment blocks that have a hundred flats, but only 5 are occupied all year round. The new ones at Battersea being a good example. The others owned by shell companies that are speculating and investing, or just plain hiding ownership and tax dodging.

The UK government have made some small steps in trying to associate property with people via proceeds of crime acts, and the financial conduct authority, but it is woeful.
Is this really fundamentally different to existing syscalls? They already have to guard against the possibility that another thread does funny business with the memory accesses by the syscall. You add ring buffer control structures, sure, but apart from that it seems largely the same problem?
A significant chunk of packaged figs that I've seen are black mission figs because they dry well, and are non-pollinated. A lot of the others are smyrna or calimyrna which require pollination.