skysight-inc/HackerNews huggingface dataset:
In a society where interests conflict I realize there can be no absolutes. My freedom to swing my arm ends where the other fellow’s nose begins. But the other fellow’s nose doesn’t begin in my brain, or in my soul either, as the religionists would have it.

-- Arthur Garfield Hays, "Democracy Works" (1939)

In a very Russell's Teapot way, it's fairly trivial to blow up absolute statements by recursing. This doesn't say much about the content of the idea, per se.
Keep in mind that nature uses a somewhat directional random process. How much of those 200-ish million years were spent waiting on selection pressures to promote bigger brains?
Emacs is much like that, as everything the user can do is an interactive command, which is typically a named function. So tools like Helm, Ivy/Counsel, as well as the built-in completion for M-x, let the user find and execute commands by name. And, e.g. `helm-M-x` display any bound keys next to the command name.
What are the answers to those questions for encrypting the last mile?
There's nothing intrinsically wrong with butterfly switches. Panasonic Let's Note laptops have had butterfly switches for years, and they work great. They have more key travel, though.
It says they tested it for half a year in India and:

"The forward limit significantly reduced forwarded messages around the world," a spokeswoman added.

I believe this is the original source: https://www.bbc.com/news/technology-46945642
> work over an intuitionistic logic

Whoops, yes, you are right.

That said, a lot of the development of category theory that I'm aware of, is taking place with set theory. Certainly the two books [1, 2] that I learnt category theory from do. But that was a while back, and it might be the case that this is different now, I have not kept up with this research direction. For example is there a full, unrestricted formalisation of category theory in HoTT?

[1] J. Adamek, H. Herrlich, G. E. Strecker, Abstract and Concrete Categories: The Joy of Cats.

[2] S. Mac Lane, Categories for the Working Mathematician.
Announcing Untitled Labs
I don’t think it’s reasonable to compare a modern computer program to a human. They’re probably more comparable to a virus. I doubt we have any computer programs today that rise up to the level of a bacterium, let alone anything more advanced on the scale of life. Most of our most advanced software systems are probably about as complex as a cellular metabolic pathway or mechanism. It’s hard to be clear on that though as they’re not really directly comparable.
Yet die he will.
squid also has redirectors and c-icap filters etc, firewall wise it uses the OS(e.g. iptables), so it's more than a proxy but it does not do packet-level-firewall as it depends on iptables.

looks like zorp is a all-in-one solution, hope i have time to play with it soon
Third parties are used to collect and return shopping carts. I wonder how their model works.
Without some sort of global PKI, how do you know your data connection actually goes to your cell provider?
I've seen this many times, but I've never really bought it.

I will draw an analogy: "The Paradox of Democracy".

---

"In order to maintain a democratic society, the society must prevent undemocratic members from voting.

"Unlimited democracy must lead to the disappearance of democracy. If we extend unlimited democracy even to those who are undemocratic, if we are not prepared to defend a democratic society against the onslaught of the undemocratic, then the democrats will be destroyed, and democracy with them."

---

This is in fact, what many have believed for centuries -- that of evils of populism will overwhelm democracy egalitarianism.

I understand the view, but on the balance, I believe it to more false than true.
how much engineering do you think elon musk has done at any of his companies after paypal?
This is amusing and not at all surprising. If they only remove from private property & not public right-of-ways, everything will be fine - but you know it won't.

Most importantly "Scoot Scoop" for a name? I imagine they will be get getting a C&D for the use of the "Scoot" name in very, very, very short order.
Amazon went down over 90% from peak to valley after the .com bubble. It then took 7 years to recover to peak valuation.

I don't think a 90% drop is common, but I also don't think it's outrageous.
5G includes it's own MAC layer, would you say Wi-Fi and Ethernet shouldn't have included encryption/security layers?
"24/7 Free Removal of Unwanted Scooters or Bikes on your Property"

Looks like they only remove scooters that are being left on private property. I would think its completely legal for the land owner to remove the scooter, therefore having another service remove them for you and charge for storage would be fine as long as the rate is not extortionate.
Khufu ship
Assuming the furnace is electric too, they should both be the same efficiency, since 100% of the power is being eventually turned into heat, unless the light from the LEDs are going outside.
And a lot come out with Posttraumatic growth: https://en.wikipedia.org/wiki/Posttraumatic_growth
While your comment about people picking on education does hold true, I don't think the way the child learns from her parents is similar to what is done at school. Here, the child tries to speak on her own and gets a lots of feedback from her parents that help her get better at it.

If you haven't read any of John Holt's books, they might interest you.
Interesting. Have you ever had to care for a dying parent or sibling? Have you ever changed an adult's diapers? Have you ever accidentally injured a frail person, or yourself, trying to help them in or out of bed, and then thought "I wish I had some experience nursing help"?

On the other side of that coin, do you suppose most infirm people would rather burden their own children with changing their soiled diapers and cleaning up the their bowel movements that miss the toilet, versus hiring a professional caretaker to do it? If you're tempted to say yes, I have a surprise for you :)

Delegating those chores that can be done quicker and more competently by a professional will very often leave loved ones with more quality time for conversation and companionship, with less anxiety, exhaustion, embarrassment, and resentment associated with intensive palliative caretaking.
What would be such a way? I'm genuinely interested.
It's entirely speculative but doesn't the model Richard Dawkins explains for the laymen in The Selfish Gene suggest something that would work - a drive to reproduce at the lowest level resulting in some incredible things happening over a long enough period of time.
For a mirror based system like apt it is incredibly trivial. The integrity of a package depends on dozens of organizations and their practices.

When I was a 19 year old idiot, I was responsible for a mirror server. As a bad actor, I could easily get access to a valid organizational cert.
The image may be fine if we strip it of the context, but the world doesn't work like that. The image is famously known to be cut out from a larger nude photo, which was chosen for its sexual appeal, and published in a magazine of sexual content. That is not an appropriate choice for most academic publications.

If you want to use it to demo your nudity detection algorithm, feel free.
Now both Java10 and C++11 have auto type inferences: var and auto keywords respectively
Good ones do - the Oracle one that sold a large company I used to work for a company wide licence allegedly retired on that single deal.
Things like https://en.wikipedia.org/wiki/Creole_language and children of immigrants often not learning their parents' language well make me skeptical of the importance you're assigning to parents as teachers.
> There is no algorithm which can produce results which were not inherent in the algorithm itself.

This is a tautology. The same is true for humans.

The interesting thing is that a computer, like a human, can learn on its own something that a human did not tell it. That's what machine learning does.
"Basically it means having 'agency.'"

Well, in these definitions of intelligence, what one often ends up with is some combination of "deal robustly with it's environment" and a bunch of categories defined in terms of each other. That's not to say categories/qualities/term like "agency", "free will", "feel they can connect with", "find novel" and such are unimportant. It's just saying people using the terms mostly couldn't give mathematically/computationally exact definitions of them. And that matters for any complete modeling of these things.
Thanks, I have node 304 with 3 HDDs, there is no vibration that's true, but I hear spinning plates when there is no other source of sound. It does not look like there is acoustic management available for wd red.
Yes we are. omg stop the horror
I also primarily use a 'flip a switch' setup specifically for this reason. To be honest I think that using your own domain name is the only way to go these days, as even other email providers can have issues resulting in you being completely locked out.

At least with a domain name you have multiple paths for recourse or regaining access should something go wrong (domain registrar, hosting provider, DNS provider, mail provider, etc).

Now that I've moved to Cloudflare Registrar, I guess in some ways I've made it harder for myself should something go wrong, since my domain and DNS are now hosted in the same place.
There is evidence that this would actually increase prices across the board. How do we know? Such a system already exists.

The price that Medicaid plans pay is either 23% less than the average price paid or the “best price” (if lower).

When this was instituted, drug companies actually pulled back on their discounts to non-Medicaid accounts, so as to not trigger the “best price”.
Great, so everyone’s happy!
Sent this link to my attorney, interested to hear what I get back. Honestly though, if a tenant raised the issue with me prior to signing a lease, I likely wouldn't rent to them as long as I had other tenants to consider. If the issue was raised after they signed the lease, I'd let them know they were free to terminate the lease and move out within a reasonable amount of time or not renew their lease when it came up for renewal. Being expensive to service is a trait I can legally discriminate against, and is not protected by fair housing laws.

I can appreciate the concerns, but not to the point where I'm going to waste time litigating it. It's a public policy issue that needs to be addressed.
They were probably just pleased and proud of themselves because they believe they are fighting on the good side.

https://www.youtube.com/watch?v=hn1VxaMEjRU
> Now it is not common that the voice of the people desireth anything contrary to that which is right; but it is common for the lesser part of the people to desire that which is not right; therefore this shall ye observe and make it your law—to do your business by the voice of the people.

-- Mosiah 29:26

It's not a paradox, it's just how democracies work. As long as the voice of the people are tolerant, it should be okay. You only need to start worrying if the intolerant are no longer a lesser part of the people and have an ever growing share of the voice of the people.

The thing I hate most about the "paradox of tolerance" is its ability to be weaponized to further political goals. All you have to do is re-categorize what your opponent(s) are doing as "intolerance" such that you can now safely be intolerant of them. Your opponent is religious? Find some aspect of their religion that could be considered intolerant by your target audience and now you can safely label your opponent a bigot and its all good since, after all, you are only being intolerant of intolerance!
> achieving AGI through simulating human intelligence

but how do you know that human intelligence can be made super? May be there's limitations to human intelligence, and simulating it will not get us a super intelligence.

> It's almost an absurdity of our existence that we're immersed and surrounded by it yet still can't model it.

Good point. However, i think a facet of intelligence is how well a model the being under question can create of the 'real' world. Humans do a very good job compared to most animals, but there's plenty of room for improvement since humans only have limited data to model with.

A machine can have input from basically an unlimited number of sensors, which include things a human mind doesn't cope with (like EM rays not of the visible spectrum). Therefore, i postulate that an AI that simulate humans won't beat an AI that's ground up built to take advantage of more data.
There's a similar service for homeless removal.[1]

[1] https://biosocal.com/services/homeless-encampment-clean-out/
Their response reminds me of the Monty Python sketch about the speed of an unlaiden swallow.
Wheeler's past history doesn't invalidate the article's lack of substance.
Methods for Parallelization in PySpark
Kaffeost
Performance Comparison: Java vs. Node
You realize this could potentially increase prices right?

Every pricing decision undergoes a cost-benefit analysis. If I know that offering a small account a lower price means everyone gets that price, I’d be willing to lose all business to the smaller account because in the end I get more money.

A much better proposal would be no net pricing. The price that everyone pays is public knowledge.
I never considered an electric furnace - I come from a land of ice and snow and the only real option is natural gas.
Isn’t his argument basically that humans suck at estimating exponential growth, tending to be biased towards a linear expectation?

Wait but why had a nice article series digging a bit deeper into that
https://waitbutwhy.com/2015/01/artificial-intelligence-revol...
> Not when the Taxpayer is a sandwich seller near the new company’s office. Or when the Taxpayer is given a new job at the company.

these are not tax payers - these a private individuals.

Why should the sandwich seller from the bronx not be able to benefit from the city's policies, where as the sandwich seller from jersey does under these policies?
in the DMCA case, you cease their profit-making pipelines, so that when you go for the actual problem, the defenders have less reason to defend (and thus, less incentive to throw more money into the defense). Theres a big difference in defending something that brings in 100k/yr, versus something that’s been DMCA’d everywhere relevant, and can’t be sold (is there any reason left to continue defending, unless you expect to win & get sales rights back?)

For any weaker party, targetting the problem itself is too expensive to start with, especially if the defendant is the only one currently making money off the product (the accuser only has external funds to work with, no matter how valuable the product is/was, while the defender has both product value and external funds; DMCA can remove one of those revenue streams)
> Without measurements you are just guessing, and JITs don't always work the way most will intuitively assume they work. I've tested the overhead of creating and throwing away objects on each iteration of a loop, and the reality is that it just doesn't impact the performance of the code in any meaningful way. The GC happily cleans it up extremely fast, and in some cases the JIT will even compile the code in a way to avoid generating the garbage at all.

This is why I get so disheartened when writing "benchmarks" for code. I don't know much about what gets transformed to what under the hood, and I think you can only write confident benchmarks if you know these things. I'm sure I've spent hours writing completely pointless benchmarks.
We'll just put AI in charge. What could go wrong?
Tow trucks work that way too.
My company asks API design question in interviews (in fact, I designed and ask this question). We don't expect candidate to know anything about HTTP, REST and databases (if the candidate is junior). We have a question prompt that essentially summarizes what candidates need to know to solve the problem. Then, we give them an example API and a real life problem. We expect them to design the API between app and backend using RESTful HTTP requests, and for extra points they can design database structure too (how to store data coming from APIs) (and how to make it efficient, e.g. using which indices etc) Candidate has full freedom and I try to see if they can (1) read a technical document and understand (2) design a structure and process to solve a problem (3) can they collaborate with me to improve their ideas. In practice I thought this question is pretty useful. There are some hickups though (like if candidate is clueless about what REST is you need to give them 5 mins so they can read and understand it, which causes some silence, which I don't think is ideal) but so far we thought it's a good question.
The mouse reacts to stimuli and environment in a qualitatively different way than our programs do. It does continuous and essentially free-form learning of the environment around it, and engages in what looks to us as dynamic formulation and achievement of goals. In "AI" we have today, the learning is very shallow (despite the "deep learning" buzzword), it's usually neither free-form nor continuous, and goals are set in stone.
If you found Peter Senge's book practical you would probably like Thinking in Systems. It takes a few systems archetypes and explores them in reasonable detail and has charts of simulations. I browse through my copy every once in a while when thinking about a problem, and it often sheds some light on the problem.

Before reading this book, I did not think much about delays but now I try to identify them as soon as possible.
We ended up giving the customer a free gooseneck hitch. Thankfully he had intended to install one eventually, but it wasn't a pleasant day.
Yet they seem to work fine for elective surgery like vision correction and cosmetic surgery.
This has been a thing with cars in the US for a long time.

If you leave your car for days in some business's parking lot, then they will call a tow service who will pick up the car at no charge to the business owner, then charge the car's actual owner an exorbitant set of fees for towing and storage.

You can read the California laws on "Removal of Parked and Abandoned Vehicles" here:

https://leginfo.legislature.ca.gov/faces/codes_displaySectio...
Nathan Glazer, Urban Sociologist and Outspoken Intellectual, Dies at 95
SO IMPOSSIBLE

https://www.pcgamesn.com/amd/amd-next-gen-graphics-card-arch...
Thanks for mentioning that site. Did not know about it, glad I do now.
>Think of an MMT crisis as an economic black hole sucking all value from further and further future generations into a gravitational vortex of the present moment, where all value collapses in on itself and disappears forever.

This is, without doubt, the most stupid sentence I have read in my entire life.

I really wanted to write a comment that explains why I think that, but then I realized I would be forced to pick the entire article apart piece-by-piece, and I just cannot stomach that. In short, though, even if MMT were the very worst economic theory ever invented (it's not), it would always be possible to re-build the economy after a fatal crash. Value does not "collapse on itself and disappear forever" under any political regime, environmental catastrophes threatening extinction being the possible exception.
This is like the circle of life for startups, I swear. Next up will be "legal services for someone interfering with your disruptive business model as a service".
> If there are 50 commits in every release, and a 2% chance of a given commit breaking something, then in expectation every monolith deploy gets rolled back.

> Microservices are one way out of that cycle.

Is the implication that microservices lead to fewer bugs, or that microservices allow you to roll back one service instead of the monolith app as a whole?

I would argue the former implication is a dubious claim, and the later doesn't make sense if other services depend on a given service running the latest version, which is often the case when implementing new features.

If you are releasing bugs with every rollout that require a rollback, then perhaps a simpler solution is to do smaller releases with an improved testing/QA cycle.
A generic already exists - Walmart insulin. Apparently it’s not that great.
Technical Analysis
1. Start coding in something which is Dotnet Orleans and Scalaz ZIO at same time. Tell me where you have found that techno.
When you (a CA, but also just anybody who finds a new one) log a new certificate or a "pre-certificate" (which is essentially a signed document equivalent to the final certificate but not usable as a certificate) the log gives you a receipt, a Signed Certificate Timestamp, saying it commits to publish a consistent log containing this certificate within a period of time (today 24 hours).

The SCT proves that this particular log saw a signed document with these specific contents, at this specific moment.

Chrome (for a long while now), Safari (announced for early 2019) and Firefox (announced but a bit vague on when) check SCTs for publicly trusted certificates.

The browser can look at the SCT and verify that:

* It was signed by a log this browser trusts

* It matches the contents of the leaf certificate (DNS names, dates, keys, etcetera: Distinguished Encoding means there is only one correct way to write any certificate so there can't be any ambiguity)

* It has an acceptable timestamp (not too old, in some cases not too new)

It can also contemplate the set of SCTs and decide if they meet further criteria e.g. Google requires at least one Google log and at least one non-Google log.

If any of these is wrong, the site doesn't work and an appropriate error message occurs, no user effort is needed or useful here.

We know this works because Google managed to do it to themselves by accident once already, blocking Chrome access to a new Google site for - I think it was several hours - because their dedicated in-house certificate group screwed up and didn't log a new certificate.

There is more to do to defend the system completely:

1. You could compel a log operator to emit an SCT, but then not actually log your certificate. Certificate Transparency can detect this, a browser would need to remember SCTs it has seen and periodically ask a log for a proof which allows it to verify that the log really has included this certificate.

2. You could go further and compel the log to bifurcate, showing some clients a history with your certificate in, and others a parallel history without that certificate. This can only be detected using what is called "gossip" in which observers of the log have a way to discuss their knowledge of the log state and find out systematically if there are inconsistencies.

Once both these things are in place, there's basically no way around just admitting what do you did. Which of course doesn't mean any negative consequences for you, but it does make _deniability_ (much desired by outfits like the NSA and Mossad) hard to achieve if that's something you care about.
It's worth to note they now have a downloadable USB image, which is notably dogfed (dogfooded? dogfeeded?) by the Genode developers:

https://genode.org/download/sculpt

And some eye candy:

https://genode.org/about/screenshots