skysight-inc/HackerNews huggingface dataset:
FWIW, I don't think very formal methods are the crux of the matter (at least for the incipient stages of a scientific field).

Having said that, postmodernism is (in my view) totally misguided. The obfuscated language is intentional, as among its epistemological assumptions is that reason is not only limited, but has only limited access to reality (well, or creates reality), and at any rate is insufficient.

Recommended readings:

* The Sokal Hoax [1]

* Intellectual Impostors by Bricmont and Sokal (Fashionable Nonsense in the US) [2] for an expansion on the Sokal Hoax, and many examples on pretentious and preposterous abuse of scientific terminology by postmodern philosophers

* Explaining Postmodernism: Skepticism and Socialism From Rousseau to Foucault by Hicks [3] on the history of postmodernism, arising from counter-enlightenment philosophy all the way from Rousseau via the insufferable German idealists, including Hegel with his dialectical reasoning, which supported both fascism and Marxism.

Postmodernists often take specific reasonable criticism of or problems with science or realism, and then blow them up and generalise them unjustifiably. It is worth taking some of the criticism to heart, but the postmodernists aren't even the ones formulating those problems in the most cogent way. So, my advice would be to waste some, but not too much time on postmodernism.

[1] https://en.wikipedia.org/wiki/Sokal_affair

[2] https://en.wikipedia.org/wiki/Fashionable_Nonsense

[3] https://en.wikipedia.org/wiki/Special:BookSources/978-098325...
Then where is the carbon going?
Zoo uses this effectively to give scenic view to visitors.
You make a very good point. I think the biggest factors that can determine happiness at work are the immediate boss and the immediate teammates, two things that are very hard to assess until you have already joined the new place. But the money is easy to assess and guaranteed because it is written on paper and it is legally binding. A boss with a good attitude, however, isn't guaranteed, no matter how rosy things look during the interviews. So it makes sense to never take a pay cut unless there are other compensating factors that are also guaranteed. Working 4 days instead of 5, or 6 instead of 8, seem like those things that can be guaranteed by the contract and would be worth taking a pay cut for.

This reminds me of a personal story when I interviewed for a very popular startup in the valley. They boasted of working 12 hours every day. I had a competing offer from a non-startup which required me to work about 7 hours every day. The CTO of the startup agreed to pay me 20% more than the non-startup. I politely explained the CTO that I could work for 12 hours every day, however, I would need a 70% more pay than the non-startup's offer, so that I feel I am being compensated commensurate to the time and effort I spend on the company. The CTO, now visibly upset, said, "If you like working 7 hours every day, please do join that other company!" while completing missing the point that I am okay to work for 7 hours or 12 hours as long as the pay is commensurate. Needless to say, I joined the other company for lesser pay and lesser working hours, and I am quite happy about the decision because it leaves with me a lot of time in the evenings to pursue my hobbies and also pick up new fun technologies to learn.
She was a mod in a Washington Facebook group for hiking, which had about 150k members. She was the only mod who took a stand against bad behavior in the outdoors instead of just sweeping it under the rug.

I was devastated to see such a tragic loss.
Unit Tests Are Tests of Modularity
It just seems like they changed documentation and moved some ES5 constructs to ES6, there isn't even a behavior change in those commits. Is this what took 40 hours to update? Why is this worth a major version bump?
Basically just a ha-ha but reversed so that it’s easy to get in but difficult to get out.
Crap innit?
This is a disturbing article to read after watching my son struggling to learn to read.
I read parts of the refactoring book (1st edition) when it came out to see what kind of refactorings the author mentions. Since I didn't remember much from it, I decided this year to take a look at the 2nd edition, which to my amusement is written in JavaScript. After reading the example refactoring at the beginning I abandoned the book, because it champions the "code as prose" idea, which is rightfully contradicted by Ousterhout in his "A Philosophy of Software Design".

"Enterprise architecture" was not relevant for me, I wasn't doing any EA when I started reading it and quickly lost interest. The only potentially engaging topic was concurrency, but there are much better books available about that topic.

"Pattern-Oriented Software Architecture" (I am only familiar with vol 1 & 2) has wider applicability and is more compelling in my opinion. And they have references and examples. For instance the Pipes & Filters architecture patterns gives UNIX [Bac86], CMS Pipelines [HRV95] and LASSPTools [Set95] as examples and references "The Pipeline Design Pattern" [VBT95].

I do see case studies and references, but not from these authors I mentioned.
Same here. This whole discussion is funny and absurd. Finnish is really phonetic in its spelling (there are about three exceptions that come to my mind right now). There's also not that much historical baggage, so reforms have been possible.

We rote-learned French spelling at and early age and I can still read French.

English, on the other hand, has one of the most difficult alphabetic spelling systems. I have used English for tens of years and I still have problems pronouncing a word now and then. One of the problems being that English doesn't indicate stress (which native speakers automatically know).
See lots of people suggesting random things to learn vim, I'll throw one more on. Just run vimtutor in your terminal. I ran through that two times and felt comfortable enough to switch to it
You might find this interesting:

http://www.phy6.org/outreach/edu/roman.htm
We're talking about oxygen production. Not carbon sequestration.

Regarding sequestration: the carbon goes into the trunk, branches, roots and leaves of the tree. Leaves fall off the tree, rot and become soil. The tree eventually dies, rots and becomes soil.

Some carbon will be given off by various decomposition processes, but the overall net effect is by far a carbon sink.
> As of June 30, 2019, our 10 largest customers represented approximately 14% of our ARR and no single customer represented more than 5% of our ARR.

This is really awesome. One single customer isn't calling the shots so they can build a great product how they want.
I seriously don't want this to, well, become the standard. Shoving ads/sponsorships on my face will not make me more enthusiastic about the product that the advertiser is selling, but rather will make me more reluctant to install standard.
Astrology is new age, and yet the stars predate all of us.

Chinese Medicine is new age, and yet the practice supposedly dates back 3,500 years. I wonder if they were also killing rhinos for their horns to make useless “medicine” back then?
These are quite common in Gloucestershire but you would not know it unless you have some reason to be invited to the big houses that have estates.

The health and safety considerations cited in the Wikipedia page don't apply to the ha-ha walls that are situated in sizeable estates. The big house, the extensive gardens and the fields beyond are owned by the same family. It has all been inherited rather than bought with 'new money'. The family and the staff know where the wall is and random members of the public just don't have access to the area, in part because of the ha-ha. The surrounding fields are not open to the public either.

Others may use the ha-ha in a modern context to hide a car park in a hilly city setting but this is not a true ha-ha wall. These fake ha-ha walls are also for postage stamp sized plots of land. A real ha-ha is at the end of formal gardens that are so big that only gardening staff would need to go that far out from the house. The lawns should be big enough for erecting a marquee, having a large croquet lawn or whatever else goes with having a house that size.

In the true country setting, e.g. Gloucestershire or another English shire, there are far worse hazards. A child could fall from a hay barn onto some combine harvester. Or a sheep dip with those neuro-toxin chemicals could be a grizzly end. Normal cows or the bull in a field could get you too. Hopping over a barbed wire fence might not kill you but isn't necessarily easy. Only a stupid, trespassing city dweller who should not be in the countryside under any circumstances could possibly fall off a real ha-ha and any ha-ha that is not part of a grand estate is not a real ha-ha.

Rivers and flood prevention can also provide a good excuse for a stately home to have a version of the ha-ha. This will be a ditch arrangement with a berm, this hides the riff-raff using the riverside path and the ironwork that takes the place of a wall for keeping them out.
Lightworks 14.5.0.0 Crack with Keygen {Mac+Win} Download
One particular reason is that more knowledgeable individuals are less likely to have careless omissions in their reasoning.

Most real-world problems are over-constrained or under-constrained, and a missing axiom (as much as you can have axioms for things as fuzzy as the real world) can give bogus results without being immediately obvious.
There's a world of difference between eating something that you've cooked, to a quality standard you know, in verifiably sanitary conditions, with limited exposure to bacteria, within a relatively short timespan after cooking, and eating food shipped across the country from an unknown, functionally-anonymous, and unaccountable source.

While people are certainly welcome to spin that wheel, it's disingenuous to equate the risks with home cooking.
Maybe Amazon is afraid of sabotaging Cloudfront and losing revenue coming from outgoing data transfers?
Reading the title combined with the url I knew who the author was without having read it yet, it's gold. I absolutely love his reports. Maybe should have appended (Andy Borowitz) in the title though, would certainly have spared few bad reactions.
I think it was pretty nice of you to use a linear scale. If a company wanted that much more of my time I would have quoted them a premium (just as an hourly employee might make overtime in such a situation).
It's a common misconception that a good kitchen knife will last forever. It won't. Repeated sharpening will make the knife smaller and smaller. Here's a picture of a sushi chef's knives: the knife on the bottom right was once the same size as the top left one. http://i.imgur.com/EiQnGu3.png
Again, you've added "prior history of violence". In that case we're not incarcerating people because they are disabled, we're incarcerating them for committing crime.

GP post calls for indefinite detention merely for being ill.

> I think the tough call needs to be made that when someone is obviously mentally ill, homeless and without proper sane supervision, the State should institutionalize them indefinitely.

There's nothing in this sentence about violent behaviour.

> Every first world nation has standards and procedures for detaining people who are unwell and a danger to themselves and others. It usually involves "expert" opinion and bad behavior to get into such a situation and "expert" opinion to get out.

You may want to read article 14 of the UN Convention on the Rights of People with Disabilities (UN CRPD). https://www.un.org/development/desa/disabilities/convention-...

> 1. States Parties shall ensure that persons with disabilities, on an equal basis with others:

> a) Enjoy the right to liberty and security of person;

> b) Are not deprived of their liberty unlawfully or arbitrarily, and that any deprivation of liberty is in conformity with the law, and that the existence of a disability shall in no case justify a deprivation of liberty.

Especially read this bit: "and that the existence of a disability shall in no case justify a deprivation of liberty."

Now read what the committee for CRPD say about detaining mentally ill people because they are mentally ill: https://www.ohchr.org/Documents/HRBodies/CRPD/GC/GuidelinesA...

> III. The absolute prohibition of detention on the basis of impairment

> 6. There are still practices in which States parties allow for the deprivation of liberty on the grounds of actual or perceived impairment.1 In this regard the Committee has established that article 14 does not permit any exceptions whereby persons may be detained on the grounds of their actual or perceived impairment. However, legislation of several States parties, including mental health laws, still provide instances in which persons may be detained on the grounds of their actual or perceived impairment, provided there are other reasons for their detention, including that they are deemed dangerous to themselves or others. This practice is incompatible with article 14; it is discriminatory in nature and amounts to arbitrary deprivation of liberty.

> There is an entire history of bad behavior and bad science involved here but the substitute for bad science is better science not let people get away with infinite malfeasance because they are nuts.

The long history is that people wrongly think mental illness causes violence (it doesn't) or that we can predict violence because of mental illness (we can't). If someone is committing acts of violence you have a criminal justice system that should deal with them, and that may involve forensic hospitals. But they're there because of the violence, not because of the mental illness.

But that's not what I'm saying. I'm saying that unethical_ban is wrong to call for indeterminate detention of people just because those people are mentally ill.
In their defense, anyone could buy a domain name of any unclaimed business' today and setup a website and email accounts.

SourceryApp does pre-populate the phone number attained from Google Maps for auth but that remains editable, currently. I believe the problem of fake websites will bite them if they get anywhere as popular as Twitter, but they don't have to worry abt that, right now, imo.
To be fair to the modern BIOS, there is a whole lot more hardware to initialize than in 80s and 90s, the added ROM space isn't consumed only by bloated compiler output. Some motherboards store a second pristine copy of the BIOS image for fail-safe upgrades.

> and elegantly clever Asm

I personally miss returning boolean result in C (carry) flag.
$/F record?
https://www.mouser.com/ProductDetail/Vishay/XTV157T270P0L?qs...
The point is that people before phonics were capable of becoming literate without phonics. The article is saying that phonics is necessary, which is stronger than saying phonics improves literacy rates. If phonics were necessary then people pre-phonics would not have written English literature of all sorts. That is the argument.

In other words:

> For some people it doesn't matter what method you use

This is a theory cop-out. If people figured out how to read and write well without phonics, that's worth investigating too. And it's unlikely that they also succeeded just because they were geniuses or had some secret unknowable method.

Also, replying to someone asking a genuine question with totally different question is bad manners, and I'm going ask that not be done here.
Kinda. It would be like if all you knew of cats were vicious lions, then one day a house cat came about and a journalist correctly called it a cat. Is your perspective wrong or baseless? Absolutely not, in this world most cats are lions and can rip your face off. Your perspective just hasn't expanded yet to include the docile cat, so of course you react in fear.

You aren't at fault, neither is the person telling you that both lions and house cats are both cats. Over time, these early misunderstandings iron themselves out, and everyone sees a lion for a lion and a domestic cat for a domestic cat. Ignore the early public recoil from any new concept, it's not worth fretting over.
This problem is somewhat lessened because SBCL also allows you to tell it to not add any implicit runtime type checks (explicit checks are still there) with an `(optimize (safety 0))` declaration. Of course, then you have to be sure that the code is indeed safe, so you probably don't want it as a global declaration, but only locally for the tight loops. When optimizing for speed SBCL also gives warnings for generic arithmetic, so you can add the necessary declarations.
Kotlin Multiplatform Project: Unit Tests for iOS and Android
Into the plant? Btw. you can easily test this yourself in a closed glas sphere.
> Particle physics, even compared to the rest of physics, is a notoriously homogeneous discipline, full of white men.

I’m a non-white-male theoretical particle physicist myself and I somehow don’t feel that (dominated by, maybe; full of, absolutely not). Need some stats to back that up.
loa angeleno
Oh neat. I recently spent a good bit of time comparing different formal proof systems. The Mizar project [0] is pretty interesting since it's proofs look a lot like standard proofs in the literature.

However, at the moment I'm a bit enamored with Metamath [1]. It's basically a tiny system that just performs formal substitution. Everything else, including propositional calculus, predicate logic, and ZFC set theory is encoded within the language, rather than the implementation. I.e. it's a metalogic that only knows about simple substitution. That way one can easily investigate other logics and axiom systems, e.g. they have stuff for intuitionist logics, orthomodular lattice models, you name it.

Anyway, the project already has a pretty substantial collection of theorems, including a lot of analysis, topology, algebra and even QM. The cool thing is that you can easily dig up how the high level proofs trace back to the fundamental axioms, and there's no fancy math happening in the metalogic at all.

Super cool stuff.

[0]:http://www.mizar.org
[1]:http://metamath.org
The popularity of freerunning/parkour makes me doubt their usefulness as a security device, unless they're made significantly wider & deeper than the wikipedia examples.
I am not saying not to trust the word of the CEO, but this exact use case of using cloudflare as a image hosting comes up a lot on HN.

The word on the street is that they will start throttling and contacting you once you hit several hundred TB per month. [1][2][3][4][5][6]

Of course this is still extremely generous and the upgrade plans are usually still several orders of magnitude cheaper than any cloud provider per gb. But don't build a business or hobby project around cf providing unlimited free bandwidth forever.

[1] https://news.ycombinator.com/item?id=20139191

[2] https://news.ycombinator.com/item?id=19368684

[3] https://news.ycombinator.com/item?id=13580113

[4] https://news.ycombinator.com/item?id=12826389

[5] https://news.ycombinator.com/item?id=5214480

[6] https://news.ycombinator.com/item?id=19829740

(basically search HN for cloudflare + non-html)
San Francisco board rebrands 'convicted felon' as 'justice-involved person'
Seems pretty irrelevant if you've got the numbers on the defenders. Just don't retreat and throw bodies into the wide open breach. You'd drive right over just fine like a spike strip facing the wrong way.
> If you looked at pre-EFI BIOS, they were exclusively written in very size-optimised and elegantly clever Asm; now it's just the usual bloaty compiler output you can find everywhere else, which makes me a bit sad.

As a person who cares way more about software reliability than cleverness, I am unreservedly happy about this change.
While the concept is sound, I do hope that you will allow users of your service to 'detach' at some point to make their sites into something more complex. Working around Website as a Service limitations is a tremendously tedious haul. I have worked with a Shopify project for a few months now and having to either write or pay for (via an app) functionality that has existed on any self hosted e-commerce for years is really annoying. Not being able to modify backend code impedes development speed as you try to hack around the backend's deficiencies with Liquid. I didn't want this post to be this long but I just wanted to give my experience on this kind of subject and I hope you take appropiate measures to save your customers from dealing with similar issues.
Google maps satellite view for those curious. https://www.google.com/maps/place/Marree+Man/@-29.5335821,13...
Or just drop a log on it and stroll over.
There used to be a Tor onion forum like that, "talk.masked". It was linked from Core.onion (eqt5g4fuenphqinx.onion). I believe that it was one of the first onion sites.

As I recall, nothing was ever deleted. It was classified, and you could filter as you liked. But I don't remember specifics.

The owner took it down some years ago. Because the trolling had become intolerable.
> You never ask kids "read this word" or "how is this word pronounced" because that's always obvious.

Except when it isn't. Colonel? Yacht? Victuals? Boatswain?

Of course, we shouldn't forget Mark Twain's proposal: https://www.plainlanguage.gov/resources/humor/spelling-in-th...
The TrueType font is still embedded in the specimen PDF.
Exactly. The utility of income is not linear. The first 10,000 dollars are much more useful than going from 190,000 to 200,000 a year. That's why the tax system has a progressive structure. If you want me to work 10% more then you need to pay me more than 10% more.

And that does not even consider that my free time is very limited. If I have say 2h of completely free time everyday (24 hours minus work, commute, chores, gym, household crap, etc) and I need to work just 1 hour per day longer, then that cuts my free time per day in half. That is HUGE. You better pay me a lot for that.
In present days it's really hard to get factual, correct, unbiased news.
It's quite natural to disagree on many subjects.

In person, there is an unspoken rule to establish some level of trust and comfort before discussing contentious subjects. Some go so far as to suggest avoid discussing religion and politics altogether.

Online, the unspoken rule isn't present and as a result, people sometimes simply state what they think and how they feel without the natural consideration for the person they're interacting with.

There's limited information to establish common ground and hence remaining neutral, constructive and polite can be difficult. The part that I enjoy is the freedom to make mistakes - especially when it comes to taboo subjects. You can mold your stance through discussion without the worry of reputation damage that always lingers in real life. One can easily squander this privilege in favor of using the internet as a place to release emotional frustration anonymously (twitter for a lot of people) and it's good to be able to identify if that's someone's main drive, to avoid trying to reason with them altogether.

In short - being aware of the difficulty introduced by the communication medium can go a long way towards re-calibrating your expectations of yourself and others.