skysight-inc/HackerNews huggingface dataset:
That is in fact exactly what happened. The implementation was rushed and/or inept to the point it's near-impossible for me to believe this was something they were already working on:

* Tumblrs that weren't marked adult got marked as such by their new algorithm. This included the text-only official announcement post itself.

* The actual block was done by turning on safe mode for all users, and removing the toggle from the settings page. For a short time, some people were supposedly able to turn in back off by adding that setting back to the POST manually.

* The setting doesn't affect your dashboard, so you can still see new posts by those you follow, even though there's no way to browse to their page directly.
> Then calm yourself.

Easier said than done when an infant is wailing into your face!

Advice like this is good, and well-intentioned. But I know that when I had babies, the last thing I wanted was advice that made it seem like there was a simple process to make any baby happy and that if I couldn't make it work I must be doing something wrong.

Your diagnostic is pretty good. With mine, the main three things I checked where diaper?, hungry?, tired?, in that order. Eventually, I could usually tell which it was by the sound of the crying. But sometimes babies just cry. That's OK too and doesn't mean you're doing anything wrong. Kids are little entropy generators — they will bring chaos into your life and no amount of advice will neutralize all of it.
Only that this doesn't even touch on design, or what parts could have been done better.
It is the future. Us old-timers (you know, in our late 30s/early 40s) keep thinking that a big screen tv is great, while the cool young kids each just want their own small screen. Most are happy with a 4-5" screen, others like a 7" - 10" screen, and the rich kids have the 12.9" ipad pro, though even that is "a bit too big".
PDF are not meant for reflow, layout has already been done by the program that made them, pagination is complete.

Again I would be happy with HTML if the major browsers actually implemented full CSS print spec that exists to cover what PDF does with print layout.
> Are you a social media on your phone guy?

I think that as a single 20- or 30-something, being a social-media-on-your-phone-person is kind of the default. It's a bit awkward at first, but I think most people are pleasantly surprised when you start a conversation with them randomly. I usually start with a compliment ("I like your hat/dress/shoes") or I ask them what they ordered ("that looks/smells great, what is it?").

It's so strange that we've collectively lost this skill in what seems to be less than one generation.
Checking a diaper and figuring out if they are hungry is a good first step (and I would add burping the baby a bit, and making sure their nose isn’t stuffed up), but the rest of this advice is a bit misdirected in my opinion, and ignores the most effective actionable things parents can do to shush a crying baby.

Namely, what pediatrician Harvey Karp calls the “5 S’s” of (1) swaddling the baby, (2) holding the baby on their side/stomach, (3) loudly shushing in the baby’s ear, (4) swinging the baby back and forth, (5) giving the baby something to suck on.

Go find Dr. Karp’s “happiest baby” video or other videos of people performing these steps, as text posts don’t really convey the idea fully.

These techniques are extremely effective on the vast majority of babies (usually just shushing and swinging is enough for my current newborn), but many new parents don’t know about them or do them improperly. In particular, shushing needs to be a very loud constant white noise, and the rocking/jiggling/swinging of the baby should be a bit more vigorous than new parents might naturally do.
So they are saying that even Facebook wouldn't even be able to read your messages. Wait a moment, if I go on Facebook Ads, I can target users based on some very precise and specific criteria like interests, then how would Facebook know these information if they can't read your messages?

I admit those features are pretty awesome as it allows businesses to target the exact groups of customer they wanted. It's the holy grail of advertising. Imagine you can just bypass all those who are not interested in your product and only laser target the ones who have intentions to buy.

Having said that, I understand for businesses to have such effective insights, it's reasonable that consumer privacy must be compromised to some degree. We can't have the cake and eat it too. If one agrees to use Facebook they must give up privacy, it's just that simple and I accepted that when I used it.

For Mark Zuckerberg to come out and say they won't peek at your information, that would be dishonest. How are they going to sell ads if they don't have your information?

For Facebook to continue to grow, they must strive to innovate and provide new services that are deemed so valuable by the public that people are willing to give up some of their privacy in exchange for these new services. That's really the only way.

Everyone knows Google does some surveillance on their users too but their services provide very high values to society, people simply can't ignore and not use it.
IMHO Javascript is "unusable" because you can mutate state (among other things). Rich Hickey has a few other arguments against static typing and OO such as names dominating semantics and "types are an anti-pattern for program maintenance and extensibility because they introduce coupling. They’re also parochial." I think he said that in his talk called "Effective Programs":

https://www.youtube.com/watch?v=2V1FtfBDsLU
It's weird you think that insurance means they don't deny care, I worked on systems back in the 90s in the US that was focused around rationing. The source of the money is irrelevant since ultimately you have to cap spending somewhere as it's not limitless. The NHS generally does a great job in getting bang for the buck, in fact in terms of treatment effectiveness and longevity it's considered the best in the world.
> Wouldn't be better to create a special program for people who fall into this category?

Why? The only difference between "people who have already been diagnosed with cancer" and "people who are going to be diagnosed with cancer" is that you know who the first group is. The second group is hidden among the "healthy" people.

But both groups will need the same treatment.
https://www.predictit.org/
Well of course they aren't running when the computer is off. And yeah, you'd need something to bootstrap the system the same way you need a bootloader
My Julia Workflow
Every voter has the same number of tokens, so it is fair.

The quadratic progression is per candidate (or issue or whatever object is being voted on).

If you have 91 tokens, you can vote once for each of 91 competing choices. Or you can vote 6 times for one option: 1 + 4 + 9 + 16 + 25 + 36 = 91. Or twice each for 22 options, with three tokens left to vote on three more.
Engineering typically builds something useful and long-standing, these financial engineers just tear things apart..
Terrible abstract. Trying to lure people by being vague is a no go. Red flag for quackery.
Randomness and interaction? Entanglement ups the game
That's very strange! Back in those days HBO would have been a satellite uplink directly to cable or to a personal satellite receiver so it's not like it would normally just be floating around the airwaves.

Honestly, radio as a hacker hobby is still absolutely a blast. If you're into breaking out a shortwave radio receiver or HAM equipment there's all sorts of wild stuff out there just waiting to be discovered - same with satellite wildfeeds and free OTA television, honestly. It carries a bit more magic than the Internet since it's all around us just waiting to be picked out of the air.
This isn't a general-case solution (because you can no longer just give someone a link), but, can't you send "s3.amazonaws.com" or really any other bucket name in the SNI and give the full bucket name in the Host header inside the encrypted channel? Or does S3 block SNI/Host mismatches?
European hostility to business rights in general is a much larger elephant in the room.
Does YouTube need to be profitable? Alphabet is big enough that they could afford to operate a few services at a loss.

It's certainly something to keep in mind during the market research phase, but I don't think this means that all the possible competitors are destined to lose money if they make an attempt at competing.
I live in The Netherlands. Single person.

I pay ~$2100 (converted) a year for healthcare.

This includes insurance and the first $430 worth of medical cost you have to pay yourself. Any additional costs are covered by insurance.
I Think we're approaching a time where it will be honourable to use a competitor to a shit behemoth, and will engage a following more.
Police video shows robber was robot vacuum cleaner
Behavioral programming is built on top of a paradigm called synchronous programming, developed by David Harel (who later invented behavioral programming), Amir Pnueli and later Gérard Berry and others. The mathematical formalism underlying synchronous programming (in the same way that the lambda calculus underlies functional programming) is temporal logic, introduced into computer science by Pnueli (for which he received the Turing Award). TLA+ is based on a logic called TLA, the Temporal Logic of Actions, which Lamport designed to fix what he saw as some shortcomings in Pnueli's approach. So there's the connection.

Harel and Pnueli wanted a formalism that makes it easy for both humans and machines (formal verification) to understand. Formal verification with model checking is, of course, also central in behavioral programming. I guess you could say that synchronous programming (and so behavioral programming, which is a kind of SP) is related to TLA+ in a similar way to how Haskell is related to, say, Agda.
That is acrobat's fault not pdf.

there is churn in all major applications these days regardless of if it is needed. Reader is just trying to regain mind-share back from people viewing pdfs in browsers.
Or maybe they just don't want more density. You talk like there's only upsides to high-density cities but the people who are living there right now might not be amused about more people, more cramped spaces, more noise and pollution. You can call it greed but it is, as a matter of fact, a downgrade in quality of life for most of the residents.
You have an admirable faith the American insurance companies don't do exactly the same thing, with much less oversight.

https://www.nytimes.com/2019/02/27/obituaries/carrie-ann-luc...

> Her family said an antibiotic Lucas needed to treat her symptoms cost about $2,000 and her insurance company denied coverage of the medicine, leading her to take a less-effective drug. Lucas, who was allergic to multiple drugs and antibiotics, had a reaction to that medication, Lee Lucas said.
Value-based pricing is an alternative to cost-based pricing. Try to quantify the value that your library brings to the customer in terms of revenues generated or costs saved. You and the customer should get to share this value, so choose a price that divides that value between you equitably.
How does the S3 CLI handle this? Do they hook cert validation? (I assume they must actually validate HTTPS...)
InRange TV (Ian from Forgotten Weapons and a couple other guys) posted a couple videos there during the threat of bans from YouTube. I don't know if they've posted any others since they were never banned and their audience on YT is so much larger. It'd be interesting to see if the videos are still up or if they were removed.
Having been to Europe I can report that a fair number of people do not need or have a car. I can also report that a large number of people have a car and consider it essential to get around - they don't live in the big cities.
This is the general response from programmers toward tools that automate programming. It's also generally FUD about being replaced by said tools.
Weird. Usually when it passes configure stage, then you're more or less good to go.

Usually it's just this sequence:

wget gcc... whichever

untar it and go into the directory

within that directory ./contrib/download_prerequisites

outside of that directory create a build directory, go in there and do a config. I usually do (for example in 9.1 case, but it has been the same forever now):

../gcc-9.1.0/configure --prefix=<my_home_dir>/tools/gcc-9-1-0 --enable-languages=c,c++,ada --disable-multilib --enable-checking=release --with-pkgversion='GCC Keyframe'

For Ada you have to have an Ada enabled compiler already, so omit ada

and after that it's simple make and then make install

I also have functions in my .zshrc with which I set envs so I can easily switch between gcc versions (and linkers) and that's it.
This is still happening today, only in reverse.

The FCC is allowing analog TV stations on channel 6 to stay on the air to serve as an additional FM signal for the market. There's one in Chicago, and a few others around the country I've seen.

Technically, they're all supposed to be off the air, but the deadline keeps getting pushed back since they serve a useful function in an already crowded FM band.
Fun fact: The s3 console as of right now still shows v1 urls when you look at the overview page for a key/file.
I am strongly opposed to a Facebook Superplatform akin to WeChat.

However, could we face a near future scenario where WeChat expands outside of it’s total dominance of China and penetrates One Belt, One Road trade partners?

Baidu, Alibaba, Tencent(WeChat), and Huawei(BATH) are all well integrated into Chinese government/PLA strategy.

Could Zipf’s Law combined with Metcalfe’s Law apply here?

In the global digital geopolitical sense((geodigital?), are we better off with shaping and influencing the US devil we know, than the authoritarian WeChat devil we don’t, and can’t?

To me, this effort by Facebook is just another step in the macro war between geodigital operating systems.

Thoughts?
The situation you describe would be actively difficult for new users to create in conda, based on some of the “idiot proof” defaults conda uses and the wide range of other tools (especially pip and native system packages) that the conda developers have made to “just work” in the easiest, out of the box ways.
That has a lot to do with the program that created it, HTML can be bad to search to I mean try and index a react page.

It a better situation than OCRing a paper doc though.
Fantastic, pron - thanks for the helpful replies.

I had a look at Practical TLA+ a few weeks back, but because its first example also specifies a concurrent system, and because most of it is written in PlusCal syntax, not in TLA+, I decided to put it off. I'll give it another look on your recommendation. I'll also check out the subreddit you linked to.

The idea of starting with a general high-level specification before adding detail makes a lot of sense.

As for specific problems, I have in mind a program that should be simple to specify. At its heart, it tests whether each numeric value in an input tuple X lies between values at the same index in tuples A and B, so that if

∀x ∈ X : a_i ∈ A ≤ x_i ≤ b_i ∈ B

then the program outputs "true", and otherwise the program outputs "false". Because both outputs are allowed,

True ≜ ∧ ∀x ∈ X : ∧ x_i ≥ a_i ∈ A
∧ x_i ≤ b_i ∈ B
∧ Output′ = true

False ≜ ∧ ∃x ∈ X : ∨ x_i < a_i ∈ A
∨ x_i > b_i ∈ B
∧ Output′ = false

covers all states. Some of my syntax is not TLA+, as you can see, so that's the specific problem I'm up against right now.
When breast feeding, maternal diet can strongly influence digestive distress. Mom eats the wrong thing, and the baby becomes unhappy. Years back, a friend was very disciplined about starting small, incrementally expanding her diet, and using backtracking and search to fix regressions. Now amidst the flood of new parent mail, was a brochure of easy recipes for new moms. She was bemused that she couldn't use a single recipe in it, as they all had ingredients she'd recorded as distressing her infant. The brochure was from Nestle. (EDIT: maker of baby formula, variously amoral)
Chrome is not too bad these days. They 'forked' the foxit codebase and unless you need some weird features, chrome should render the page accurately.
The margins are specified in the page data in the document.
"It does not publish falsehoods, or - for the most part - appeal to the worst in people. "

Bias, fawning, highlighting some to the detriment of others is 'falsehood'.

The Guardian does this quite a lot.

The best example of the problem with the Graun and their type of news is their historical coverage of Hugo Chavez, and to some extent Maduro, which has put this in perspective for me.

Chavez and Maduro are exactly the kind of people we should fear: they appeal to ostensibly 'positive things' like 'food for the people' - and they can do some of that when handed Oil wealth - but in reality of course they are just greedy, violent, corrupt, populist megalomaniacs, that literally destroy entire nations.

(This is part of the grand political deception carried out largely in the last century in countless nations.)

Though the G's view on Chavismo has softened by 2018, the problem is they were huge supporters of him early on. They were big believers in the construction of what we now can see as a fairly ruthless, authoritarian strong-man style dictatorship.

The Guardian et. al. were firmly in the Chavismo flag-waiving camp for a better par of a decade, and helped him construct his narrative.

The 'data' is hard to contradict in 2018, but it was pretty clear back in 2009 that there were terrible things afoot that the Guardian really didn't seem to be concerned about.

This is the problem with the kind of coverage offered by the G, and why it's 'just another source'.

Some contemporary views of Chavismo from the past:

"Hugo Chávez showed that the west's ways aren't always best" (2013) [1]

Some really funny and sad fawning with the facts, that we only understand in retrospect:

"https://www.theguardian.com/news/datablog/2012/oct/04/venezu... [2]

"Hugo Chávez kept his promise to the people of Venezuela" [3]

"Hugo Chávez: an unfinished revolution" [4] (note this is an Editorial)

Here is a detailed articulation (local Venezuelan source) specifically about the Guardian's recent misrepresentations. Should note - this article is probably biased, but there are some facts in here. [5]

[1] (2013) https://www.theguardian.com/global-development/poverty-matte...

[2] https://www.theguardian.com/news/datablog/2012/oct/04/venezu...

[3] https://www.theguardian.com/commentisfree/2013/mar/05/hugo-c...

[4] https://www.theguardian.com/commentisfree/2013/mar/06/hugo-c...

[5] https://venezuelanalysis.com/analysis/13269
I think the claim is that the namespace is global and public, i.e., you and I can't both have buckets named "foo". There is only one S3 bucket named "foo" in the world.

If it's https://s3.amazonaws.com/foo/ you could believe that it's based on your cookies or something, but if it's https://foo.s3.amazonaws.com/ it's more obvious that it's a global namespace in the same way DNS domain names are (and that it's possible to tell if a name is already in use by someone else, too).
So a fine of 4% of annual revenue back to itself?
I'd go further and argue that city-states make the most sense in today's world, with a federal government to arbitrate resources and defense. US state boundaries are quite arbitrary with respect to how actual communities are organized on the map.
I expect this will only work until the government in question is sufficiently angered that they just outright block the entire AWS infrastructure. Or whoever else supports ESNI.
It's because text and ntext are extremely old LOB types, and they support SQL statements like WRITETEXT and UPDATETEXT that other statements don't. They also can't be indexed, don't support functions like LEFT(), REPLACE(), etc. Text and ntext behave wildly differently than char and varchar while varchar(max) and nvarchar(max) are almost the same. Changing that functionality would cause problems. Further, neither text nor ntext are ISO standard data types.

It's the same reason that SQL Server has datetime2 and Oracle has varchar2 (the latter of which is only now being merged into varchar). That's why float, real, and money still exist even though numeric/decimal was created. They behave differently and in ways that are not exactly backwards compatible. In order to prevent your customers from having to rewrite their application just because you updated your data types, they chose to add new data types.
Already done ~10 years ago, it was TextSecure, the predecessor to Signal.

https://en.wikipedia.org/wiki/TextSecure
Yeah I'm a Sanders' supporter, and I got the vibe that he just has technical problems w/ Sander's implementation, of course I can see on HN a shitstorm of politics coming up, so he op could've been aiming his comment pre-emptively at Sanders-haters. At this point I'm in favor of anything that moves the need towards full coverage for everyone, of course being able to pay for it and having a stronger law will make it last and endure the test of time, so that's better.
You do realise that most of this language is from people that are deeply frustrated at the situation they live in and vent on the Internet. Yes they said mean words on the internet? Who cares? I don't.

> Pretty much any place on the internet that promotes itself solely on being a "free speech zone/place" is trash.

Twitter is equally trash and has plenty of Anti-White, Anti-Jew (mostly in Arabic but nobody talks about it) and Anti-Men rhetoric, Violent threats towards Children and people get a free pass because they have a blue checkmark by their name and the "right" politics.

Also the term Hate speech is an ill defined term, which is used when convenient if someone has the wrong politics (e.g. centre-right, libertarian, conservative or religious). The terms is soo badly defined in law that people in the UK are going to prison for posting offensive rap lyrics on facebook.

https://www.bbc.co.uk/news/uk-england-merseyside-43816921

> Proper places of discussion don't have comments like "gas the kikes isn't technically hate speech so we should be allowed to say it here".

Absolute garbage. This is snobbery and nothing more. I would argue that by just siloing people on the internet it is actually making discussion in general more problematic. In the past, we used IRC, AOL chat room and other things with no moderation. If someone was just being rude all the time, people just ended up ignoring them and they left ... I miss the old internet.
Why a Nova Scotia doctor is fighting back against sick notes
Popping IPOs is usually a sign that we're in a stock market bubble. That is why it is so unnerving to look at that list.
I have a much better, simpler idea: you can't vote for the same candidate twice in the same election, period.

Another better algorithm is to have a single ballot with, say, ten blanks on it. You can fill it however you like, possibly with ten duplicates.

The blanks are weighted: the top blank carries more weight than the bottom, according to some geometric progression, like:

1> (mapcar (op expt 0.8) (range 0 9))
(1.0 0.8 0.64 0.512 0.4096 0.32768 0.262144 0.2097152 0.16777216
0.134217728)

This quadratic concept requires too many tokens. If you actually want people to be able to vote for one candidate half a dozen times, you need to give them 91 tokens. But that then allows people to vote 91 times for different choices. If there aren't anywhere near that many choices, then people have tokens remaining which encourages them to vote for duplicate choices. It's just a mess where people get wrapped up in the token accounting and lose sight of the issues.
I always get a good laugh when I'm reading an article on the Guardian about protecting my privacy and look up to see uMatrix reporting 182 trackers blocked.