skysight-inc/HackerNews huggingface dataset:
Do you mind sharing more with me about your setup? I've been researching options, including diy, but don't want/need all the bells and whistles espoused by the "easy"corporations.
Try to relax.
> And for parent and child spaces, you can tell by the lack of children with the 'adult'.

Can you? Is it not allowed in the UK for one parent traveling alone to use such a space for the purpose of picking up their spouse and children?
Interesting point, I have read about it in the past - mostly in the context of cable networks though.
It is not obvious how to write a book.

I agree, and I also agree that readers will differ in which books they find easiest to read. Different people learn in different ways.

However, in some respects, it is obvious how not to write a book. Mathematics is not magically exempt from effective technical writing skills, nor all we have discovered about cognitive psychology and how people learn, nor anything else that goes into creating a generally good presentation.
Do you have any sources? I've found one article, but it was actually arguing that the difference isn't actually that large. Would be open to more recent and other studies thoug.

https://www.mdpi.com/2071-1050/3/8/1234/pdf
Being basically a copy of Limbo with Oberon-2 method syntax, although we are a bit further than 1992, to start with.

And while at it, offering less features as Algol used to have.
I agree with the last paragraph of your comment, but still I think users should be able to choose. “Security by dark pattern” doesn’t sound to me like the best solution we could possibly come up with.
I'm not sure I would call starship VTOL maybe vertical takeoff acrobatic landing? I'm sure falcon helped a lot, especially with control surface actuation resilliency, but I think they still have a lot to learn about this amazing new maneuver.

They are building 4 partially functional prototypes to mess up and learn stuff fast.
It's a bit more than "the addition of a payment feature", given the general promise and working principle of Keybase.

A large part of the value proposition has been "combining identities, users can sign attestation and if you see one you know and can validate that the user proved this as part of their identity". I can see how someone would label a mechanism that causes the app to make such a claim without the user being part of it a a backdoor. (EDIT: per their comment, keybase claims that the user always has to agree to sign up for a wallet, so it'd just be about publicly linking it)
No, the "sweating methane" cooling is no longer happening (per the presentation/q&a last night). Instead they're using ceramic insulating heat shield tiles - similar to the shuttle, but different materials, very different attachment mechanism, and a regular shape (tiles will all be hexagonal)
really like the scratch style snapping chunks of logic! nice trailer too
Ada. It’s not an acronym. ADA is the Americans with Disabilities Act.
Ask HN: What are the best audiobooks you have ever listened to?
I'm interested in science, technology, engineering, art, math, music, history, biographies.

I am open to good works of fiction (particularly historical and science) too.

I have one Audible credit left and I plan to cancel after that. I have a lot of audiobooks that will last me for a long time now.
Apparently it is:

https://news.ycombinator.com/item?id=21108556
It's funny how brainwashed most Americans are about this conflict, we might as well as be living in 1984's world. Have you heard the ancient saying one man's freedom fighter, another man's terrorist? What would happen if no terrorists had been trained by the US (and their Islamic puppet that wags the dog, Saudi Arabia)? The Soviet Union would have fallen and Afghanistan would be a normal country like its neighbors.

> After Taraki was murdered the new Afghan Prime Minister Hafizullah Amin repeated requests for Soviet military support, at least to protect his residence. Finally, in December the Politburo decided to deal with the situation in Afghanistan,[8] and in early December sent special forces which attacked Amin's palace and killed him, putting the exiled Babrak Kamal in his place. These forces were subsequently reinforced by the 40th Army which entered Afghanistan on 24 December 1979. As the Kremlin foresaw, this intervention would cause problems around the world for the USSR, with the policy of detente and, not least, at the forthcoming Olympic Games due to take place in summer 1980 in Moscow.[9] The result was a far-reaching boycott of the 1980 Summer Olympics in Moscow, supported not only by the United States but by many of the 65 other invited countries that did not take part.

> At its greatest extent the Soviet military contingent in Afghanistan numbered 100,000 personnel. This presence remained for a decade and kickstarted U.S. and Saudi funding for Islamic Mujahideen groups opposed to both the Afghan government and the Soviet military presence. The local Mujahideen, along with fighters from several different Arab nations (Pathan tribes from across the border also participated in the war; they were supported by the Pakistani ISI), fought the Soviet forces to a standstill. On 24 January 1989 Gorbachev's Politburo took the decision to withdraw most of the Soviet forces,[10] while continuing to provide military assistance to the Afghan government.[11] Eventually, in-fighting within the Mujahideen led to the rise of warlords in Afghanistan, and from them emerged the Taliban.[12] The Soviets left behind the only highway in the country as well as many concrete structures built in the major cities, and airfields that are still in use (e.g. at Bagram).
It's not just Aldi, the same thing has been common for decades at some Tesco, Morrisons, Lidl etc stores.
> For example, the Internet itself is decentralized. But from the perspective of your particular ISP, it's not at all decentralized (if your ISP turns off your Internet, it's game over).

Yes the ISP is a chokepoint and thats why:

1. People push for regulations like net neutrality to legally prevent them from doing something like that.

2. Use VPN's to deny ISP information they could use to decide whose pipe to turn off.

3. Some are trying to build meshnets and physical peer-to-peer infra.
Why do you think they will automated first?
Bill Gates is (was?) a talented programmer and a greedy, ruthless businessman. That's it. That's all. To think that some people consider him some kind of philosopher, visionary, or elder statesman is sad. If I'm not mistaken, most of the initiatives of his foundation have worked out poorly.
Afghanistan has been a known quantity for decades: heroin or Taliban, pick one.

Beyond that, what's the international opinion on Erik Prince?
The sorting doesn’t happen in constant time. The actual sort happens by hand as you take out the largest pieces first. Until you do that, they aren’t in linear order.
Dart lost the support from Chrome team, it was rescued by AdWords team and Flutter is trying to make it relevant, but given Android team answers, it is clear that a power struggle is going on across teams.

Giliad is also a personality from language research hardly known by UNIX fans.
How about plain old SSH? like all those low-end-boxes, you know ;).
The user is upset about the lack of user consent, which is a red flag in any open-source software.
I avoid grapefruit-anything. I’m on two pretty standard drugs, and they shouldn’t have any reactions, but I’d rather not take that chance anyway.
Linear time O(n) means that as you keep adding numbers to sort, the time taken is bounded by a linear function of how many numbers you have. Since there is an upper bound on the number of spaghetti strands you can hold in your hand, eventually you need to "Slam their lower sides on the table" in batches, and then merge sort the results. However because unlike in merge sort there is an upper bound on the size of the sub lists you use spaghetti sort will actually be O(n^2) instead of O(n log(n)).

If you ignore the usual meaning of linear time and restrict yourself to sorting lists of numbers that will fit in your hand, then spaghetti sort always runs in less time that however long it takes to sort the maximum amount of spaghetti you can hold in your hand. i.e. constant time.
I imagine all the necessary hands are already on deck for Crew Dragon.

Starship wasn’t built by the Falcon or Crew Dragon manufacturing teams, and the vast majority of the design and engineering currently happening for Starship has long been completed for Crew Dragon.

Let’s also remember that NASA is hardly the only company that pays SpaceX, they have other income sources and what they do with that income is ultimately their choice. Unless they are using NASA money to build Starship there should be no problem.
> Without re-examining our priorities quickly and changing our economies, this fate awaits everyone.

I don't get this way of thinking. This isn't the first time people thought that:

https://en.wikipedia.org/wiki/Malthusianism

They were wrong then, they will be wrong now. Why do I think that ? Because we are already far over the carrying capacity of the planet without fossil fuels. Either technology will save us or your doom scenario WILL happen. In other words, you could be wrong or right. If you're wrong, then of course we should only take limited steps to change. If you're right and we cannot adapt, then we're fucked unless we kill something like 90% of the human race (exact number doesn't really matter, even if it's 50%). Any event that kills 90% of the human race is going to be as bad as just waiting for the "migration, collapse and death", whether we engineer it or not.

So you're wrong. Not just because there's a range of technologies that could save our ass, but also because "changing our priorities" is no different from "migration, collapse, and death" at this point.

BUT on the plus side: stabilization is happening, without us having to do anything:

https://en.wikipedia.org/wiki/Population_growth#Human_popula...

World population is on the path to peaking at around 8.5 billion humans and then dropping to steady state at around 7.5 billion. That's our current guess. Barring a great war or something like that, that's what will happen.

Animals come with a built-in "carrying capacity guesser", and populations end up very close to the exact STABLE carrying capacity of whatever environment they find themselves in. And while it's possible to disrupt this (famously the case of rabbits and cats in artificial environments without good enough places to hide for the rabbits, but abundant food availability), shouldn't our default assumption be that there clearly is a mechanism controlling human population size, and that it's not in fact screwing up ? That that 8.5/7.5 billion number is in fact a pretty good guess ?

As the history of Yellowstone park illustrates, humans have done far more damage attempting to control population sizes of animals than we have just letting them be.
Actually, detecting hot-water particles does not automatically mean greater polution. Admittedly, I agree with the research authors and you that bottled water is less healthy and a scam, but it is still possible that the particles are non-harmful or could even be beneficial additives.

I very much doubt that's the case, I'm just saying we can't make such direct assumptions when analyzing scientific research.
I Built My Own Business Improving Online Dating Profiles
FTC sues Match.com, uses fake users to trick people to pay for subscriptions
The crazy high salaries are "ideally" going to the ones who have both the soft skills and the technical prowess to automate away other people's jobs, not their own. This is one of the reasons STEM PhDs have become so attractive to industry--getting a PhD (especially from a good school) is a certification that the individual is capable of producing previously undocumented methods for replacing other people's jobs.
Given that even the second highest paid researcher at the organization doesn't make that much, I'm guessing not very easily replicable.
An astrophysicist examines this year’s baseballs and breaks down the changes
Well, that’s one way to kill your credibility quickly. Even if it was innocent, they should have anticipated that someone would have found this and inferred otherwise, and preemptively disclosed it.

This is public key encryption software, not a toy. Don’t act confused when your users pick everything apart.
iirc, Novar Conrols/Novar Electronics out of Barberton Ohio (at the time) was testing the phased arrays using bees and their hives and what ever else got in the area. Oh, yeah, and apparently some of the engineers and the boss.

(I used to work in a lab there next to some of the equipment and one day I asked my good friend about it - he had been there for decades.)
For "quad-coptor" substitute multi-rotor (not all are quads).

The fact that you associate the term "drone" with hobby aircraft is a sad inditement of todays "press", who, in their attempt to demonise said multi-rotors (or to downplay the rise of the military drone?) have managed to confuse the general public as to the difference.
The Asymmetry of Internet Identity
Uhhhhh as far as I know, acetaminophen is the damaging agent, not dxm; it's often packaged with it for pain relief in cold/flu medications... but dxm itself doesn't damage the liver. Dxm has been shown to do some weird stuff with Olney's Lesions, but doesn't really impact the liver.
This is a question that comes up semi-regularly and a search of HN might yield threads that are interesting to you.

On thing that I haven't seen mentioned so far is an idea of mine which might be useless but I want to share it anyway: Maybe you should think in bigger terms and not consider a single application (or a set of applications) your knowledge base, but an entire computer set aside for this purpose. The advantage would be superior flexibility when dealing with a large number of different files and file types; plus you can use operating system features such as tagging on Mac OS X.
Signing an attestation without user consent is certainly a huge breach of Keybase’s trust, but describing this as a “backdoor” feels inaccurate.
it's called ad targeting. If the govt. wants to pay for those low converting clicks/impressions, then i'm sure they, these employers, will be glad to serve ads to everyone.
I'd love to see algol come back with a fresh syntax.
I can't answer how much research or work is done to make the tools more user-friendly as I'm rather exclusively on the user-side. There exists extensive documentation in form of multiple PDFs, but they are only of little help to me as they lack useful examples. Sadly Google thinks every possible answer about Isabelle/HOL is answered by these PDFs as they are often the only relevant search result.

However, Isabelle/HOL/Isar allows proofs to be written in a very human readable way, so the "documentation" I use is the existing library and how things are done there. There is a convenient Ctrl+left click action on terms to jump to their definition. That is very helpful to navigate unknown libraries. In comparison, I couldn't read and make sense the proofs I've seen in Coq.

There is a learning curve with Isabelle/HOL/Isar. It can be extremely frustrating to not know how to express "simple" arguments or definition. But for someone familiar with manual "formal" proofs in mathematics, most can be learned in some hours under guidance, like in a seminar on a weekend with a couple of hours on each day.

I'm learning rather autodidactly by trial and error. I think there would be value in a series of blog posts about "This is how you define a group" or "This is how you reason in nonclassical logic" or "This is how to proof the fundamental theorem of Algebra" all applied to Isabelle/HOL/Isar. There are often multiple ways to define things, and to be honest, I don't know the specific advantages and disadvantages. For example, I think you can introduce rings as type classes or as locales or using axiomatizations, and possibly more. This is one example of stuff I don't know how to manage in the system, but there is already a lot of structure defined, and I can reuse that.
The problem with nuclear is that people constantly talk about how designs that currently don't exist will solve all the problems. Cost overruns by nuclear power plants is primarily caused by the fact that almost every plant is redesigned from the ground up, yet somehow magically every project fails to consider these modern reactor designs.
So does this mean that targeted ads are now considered discrimination?
On uBlock Origin you'll want to enable all of the additional filter lists (except the regions/languages section). Doing so blocks the redirect automatically.
first two minutes are ads and fluff, fast forward them
The biggest cryptocurrency scams and arrests of 2019 so far
Are you sure that there's no way for whatsapp to download and execute some code which will lead to upload of protected information?

Simple example: I'm sure that whatsapp main window is webview. Imagine that application inserts some kind of resource (e.g. CSS) from whatsapp server. So now whatsapp server can serve slightly altered CSS which will leak secret data via custom fonts, etc and you won't be able to find that, unless you're intercepting all traffic and can decrypt it (and apps nowadays love to pin certificates).

This is imaginary attack, I have no idea whether whatsapp does that. But HTML is a powerful and dangerous beast, yet it's used a lot in applications for rich media.
Fireside Chat with X’s Captain of Moonshots, Astro Teller
Keybase has a built in business model that they don't want to take advantage of for some unknown reason.

They made a combo of services that are a "more private" business dropbox, slack and git hosting, which are all business that charge money. I don't understand why they don't charge money for it? Is it because all of their implementations are currently slow and they don't want to be subject to the SLAs that businesses demand? That seems somewhat bizarre since they are solvable problems.

Hell I would like to like to pay them money for the service, in exchange for defined storage quotas (which expand in response to paying more $$$) and better performance but I can't.
Stronger is not a specific enough term with metal, but tempering is the opposite of what you described, which is hardening.

Steel becomes harder and more brittle if quenched (hardening), and softer and less brittle if cooled slowly (tempering).

Cold Rolling steel is done to avoid the heat cycle which would otherwise result in tempering, which is why its specific stats don't strike me as particularly relevant past the first launch.

Heat cycles also have the effect of warping steel.
Celebrate EDU: Teaching Entrepreneurship to People with Disabilities
On a side note, what is the rationale behind the fact that there are doors that can be locked without a key? The horror stories of having the door slammed and getting trapped while outside are so common. If a key was necessary no matter what to lock a door, this wouldn't happen and people wouldn't have to spend a kidney calling a locksmith in the middle of the night.
Google I/O has 0 materials about Go.
Tempering is used to reduce brittleness in metal.

But I think the word GP was looking for was annealing. Annealed metal bends quite easily (that's the analogy in 'simulated annealing' in optimization theory). For instance the wire bonsai practitioners use is traditionally made of annealed copper. Copper is already pretty ductile but once annealed it's positively floppy. Bending it work-hardens it, causing it to stiffen back up. Eventually one learns that if you bend it just so, it will stay where you wanted it to stay.

You do not want your space craft reconfiguring itself.
By all means be as imprecise and incorrect as you want, but you can hardly complain when people on a technical forum correct your imprecision ¯\_(ツ)_/¯
Author Faking Illness Has Made $60,000 on GoFundMe
Kanata is definitely the heavy hitter in terms of tech jobs, but the downtown has gotten way hotter in the past 5 years. Shopify, Klipfolio, Pythian, SurveyMonkey, EDC, etc.
Yeah, plus it had been a huge success in the foreign military sales market. So any F-16 2.0 that got traction was a product they could potentially sell to dozens of countries, even if the U.S. Air Force never bought it.
Wow, that's an amazing (and beautifully designed) website, thank you!
Yeah but he's become a bit less reachable since.
I'm not sure if there was anything deliberate here. It's possible the companies targeted the jobs ads with factors or attributes that were correlated with younger men by the Facebook algorithm.
This combined with the new CEO and the previous issue regarding third-party ads fingerprinting users most likely means they're circling the drain and are desperately trying to save the ship.

It's a shame as I feel they had a decent shot at profit with Careers/Jobs as well as running their own developer-focused ad network with vetted ads and no tracking.
So basically:

- You can send a message to anyone with the iOS Keybase client, asking it to sign a message saying that a certain XLM address is theirs

- Your client will happily and automatically do so and add it to your Keybase profile page, no interaction needed

I base this summary on the statements "Keybase updated their iOS client to sign an attestation, as a user, that a given stellar address belongs to them, even if it does not. This is done without any user interaction" and "There is no option to remove this payment address from my Keybase profile". Did I get that right? It seems kinda weird, but given the partnership, I guess this is the way to roll that out quickly.

So the point of Keybase is tying profiles together, like HN and GitHub account, Powerdraincurrency addresses, PGP key, etc., all with cryptographic proofs. It would be pretty weird indeed if any of the Keybase clients chose to cryptographically sign a proof for a random GitHub account upon being asked to do so, no matter whether is really is your GitHub account. I can see why the author calls this a backdoor.

But what everyone expected to read is a way for Keybase to read your messages (Keybase chat) or your files (Keybase filesystem) or something. This is not the case in any way, as far as I can tell. The "backdoor" headline is somewhat clickbaity (the owner of Keybase would probably consider it slander though it's not a good PR move to actually say that), even if I see what the author means.
https://keybase.io/blog/2014-10-08/the-horror-of-a-secure-go...

Keybase uses the term "backdoor" in their blog to describe an app using a key to sign another key as valid (violating user intent/consent).
I think this illustrates what someone who actually understands the engineering being in charge of a company can really do to revolutionize a field.

If a non-engineer is in charge of a space company, they'll look at the popular science articles and assume that single launch is the only way to do things. They'll also assume that we just need to get the material science right to be able to do space elevators. They'll assume that the only way to get into space is to get bigger and bigger space budgets. That will increase shareholder profits after all.

When you have an actual engineer running the company, they can question all those assumptions. They can take everything apart and put it back together again in different ways and question the assumptions of the "thought leaders" in the space.

In a way, this outside "thought leadership" by research institutes has hindered science by leading researchers given grants to carefully conserve and develop their pet solution to a problem that they are an authority on. If their idea falls out of favor, then they will lose their grant money. It's the extreme version of the innovator's dilemma. An entrepreneurial engineer just wants to get the job done. If they can't deliver a great product, they'll lose their revenue stream. If they can leapfrog the competition by capitalizing on their innovator's dilemma, then they'll move to true greatness.
You can live in the city without experiencing any of those things though.
Rogue oil trader causes US$320M loss at Mitsubishi unit