skysight-inc/HackerNews huggingface dataset:
The opposite effect happens as well:
https://www.schneier.com/blog/archives/2013/09/excess_automo...

> The inconvenience of extra passenger screening and added costs at airports after 9/11 cause many short-haul passengers to drive to their destination instead, and, since airline travel is far safer than car travel, this has led to an increase of 500 U.S. traffic fatalities per year. Using DHS-mandated value of statistical life at $6.5 million, this equates to a loss of $3.2 billion per year, or $32 billion over the period 2002 to 2011 (Blalock et al. 2007).
I agree, this article just seems to strain credibility. Forest fires aren't candles. You can't just "blow out" a solidly burning piece of tree.

And after the explosion, you still have a lot of fuel hanging around—it's just going to start burning again moments later... long before any fire crew can traverse the safe distance from a FREAKING BOMB DROPPED FROM A PLANE.

(The key reason bombs work for oil fires is because the fuel gushing out of the well isn't hot. Blowing it up denies it oxygen for enough time to deny it heat. Plus any hot oil gets flung a good distance from the well head.)
Paper ballots are safest, but not perfectly safe. The voting system is routinely hacked in a lot of countries, e.g. in the
US:

- https://en.wikipedia.org/wiki/Gerrymandering

Russia:

- https://en.wikipedia.org/wiki/Notable_instances_of_ballot_bo...

- https://en.wikipedia.org/wiki/Carousel_voting

Ultimately if the people in power do not respect the democratic process, they can and will hack the voting and vote count process.

In addition to that modern democracies suffer from selection bias. The persons you can vote for are often a hand or self selected group of people which will not threaten the existing oligarchy.

The only voting system I know that would be free of all these problems is https://en.wikipedia.org/wiki/Sortition . Because the greek understood already 2500 years ago:

"It is accepted as democratic when public offices are allocated by lot; and as oligarchic when they are filled by election." (Aristotle, Politics 4.1294be)
Linear compression in Python: PCA vs unsupervised feature selection
Where are the Gulf's blockchain startups?
I'm certainly going to ask my corporate lawyer friends next time I see them. But my disagreement is with the "does not shield you in any way", and where I say there is a de facto buffer.

If I commit a crime while working for Dow Chemical, the plaintiff must prove that (1) a crime was committed and (2) that I was personally responsible for it being committed.

This sounds exactly like what would need to be proved if I were unemployed and committed a crime, but the different regimes of tort, criminal, and corporate law that bank switch into play when a corporation is involved mean the lawsuit proceeds under different rules.

Essentially, I'd argue that case law affords someone working for a corporation far more options for defense than an average Joe, thereby making it unequal (aka buffering).
How to make Money on Facebook
that's erosion.

If we really care we hire the Dutch to build a seawall.
Show HN: Didyougogo – An Altavista slayer
Startup School deadline in 24hours – get your application reviewed by SS17 alumn
The former, mostly.
The deadline for Startup School is getting closer, so if you’re considering applying, now’s the time! Want to get your application reviewed by Startup School 17 alumni who all passed the course? We have a few founders who are happy to help. All reviewers are founders we know personally and all reviews will be done in a double-blind structure (they don’t know who you are - unless you choose to make it explicit - you don’t know who they are).

Send us an email here if you want feedback on your application:

startupschool.review@gmail.com
Joggers can be quite easily funnelled and blocked by other pavement users refusing to yield. Less so for those riding on hard, mechanised devices.
Unicode Utilities: Confusables
Treasure hunts!
Building homes underground is an order of magnitude more costly. And people like windows. And you'd have to build them pretty deep and have some really good entryway insulation before you can stop caring about a wildfire raging overhead. Those things get hot.
"As of now", sure, but the whole point of cryonics is that this may be different in the future. The definition of death has changed over the years. It used to be that death was simply cessation of respiration and heartbeat, which used to be (mostly) irreversible. Now with cardio-pulmonary machines that can take over those functions, there is brain death, which is cessation of brain function. Information-theoretic death seems to be the next boundary, which is the destruction of all information contained within the brain, making the recovery of the original person impossible. Cryonics seeks to address that latter definition.
Tuning Autovacuum in PostgreSQL and Autovacuum Internals
The article leads with exactly that statement. She’s talking about logic as colloquially used: ‘if it’s cloudy, it’s probably going to rain later’. People don’t learn formal rules, but they still make statement that are logical in nature.
I'm curious about the foam, too. Normally, foam contains a lot of air. But that kind of foam will blow itself apart in a vacuum. How do they make foam where all the air pockets are replaced with vacuum? Is vacuum-filled foam a better or worse insulator than air-filled foam?
I don't think the risks aee two large it's that the people putting the money aren't properly informed/educated. If you want to lend to people who have a 50% default rate, feel free! Just make sure there is an actuary who can help you manage your risk. I doubt these p2p companies were helping people weigh risk.
Shelves on shops manipulate you. Some products are put in front, some in the back. Back in the day, small companies suffered due to this and big brands used to get more brand placement. Counters have inexpensive candies, so that, instead of giving change money back they can give you candies.
On the other hand, that surveillance by Google gives me great Articles in Google Chrome. There are scores of programming related articles which i wouldn't have discovered otherwise. I mean I can't "just go and read an article: when i don't know about that website.
To each their own.
It looks a bit complicated for my mother to use, with cli knowledge required even for a basic edit. What i've been looking for since a while is a software that lets me start the project, publish it to github pages, and then generate an executable that i send to my client. The executable would have the user rights embeded in it, and the credentials to push to github would be in it too. My client would just start it, be greeted by a UI, change stuffs and click "save", that would push to github pages. For anything more complex, they'd have to ask me, and i'd do it from my machine with full user rights.
The soft would do a git pull at startup, to have an up to date project, and git push at save time.
I'm curious of anything fitting that scenario, ideally open source.
QtDesigner/QtCreator are in my mind easier to use than Blend. And they are cross platform.
https://github.com/hedning/recoll-web
Does it include a cassette interface?
Looks exactly like adding the ?? [1] and ?. [2] operators from C#.

[1]: https://docs.microsoft.com/en-us/dotnet/csharp/language-refe...

[2]: https://docs.microsoft.com/en-us/dotnet/csharp/language-refe...
Talk on JPL's software for the Curiosity rover: https://www.usenix.org/conference/hotdep12/workshop-program/...
I would have privacy concerns, because I'm not using Google all the time for my searches and there is no need to give them even more data.

The only solution I'd accept is one where all data is stored and indexed locally and there are good guarantees that deleted entries are actually deleted and/or wiped from the indices.
The whole endeavor seems a bit quixotic to me. This kind of change would no doubt cause such a stir that there’d be a fork before long.
Resume also needs to have some basic aesthetic value. You're much better off using something like https://latexresu.me/, for example.
"all" and "no" are easily extended from boolean logic to unspecified numbers of items for everyday speech, without resorting to unification:

all not == not A and not B == not (A or B)

not all == not (A and B) == not A or not B

Seems to work in other natural languages besides English, e.g. 都不 vs 不都 have same variation in meaning as in English where 都="all" and 不="not".
Speaking of jokes, I guess this is how they make the foamed carbon: https://www.youtube.com/watch?v=Wex_yKfrTo4
That's the point: the cookies that apple sets do not require user consent.
How does CloudFormation compare with using something like ansible to manage AWS environments?
New York Healthcare Fraud Attorney
What would you do? If the ordinary array subscript produced an optional value, people would simply fall into the habit of force-unwrapping it, since the hassle of handling the spreading optionals would be too big. And throwing an unchecked exception would lead to empty catch blocks everywhere, just as in Java. And then the execution would continue in God only knows what state. I simply don’t think that the type system can solve the question of trusting your dependencies for you.
Linux has supported x86-64 in long mode since 2001, well before the processors were available two years later.
The Best Explanation of JavaScript Reactivity
>This is clearly not true. Adding axioms (as long as they >don't introduce consistency) can only reduce the set of >models. Anything that satisfies the larger theory also satisfies the smaller theory. This is exactly why a group is a monoid is a semigroup. This is why fields are rings. In fact, this is why the rationals or the reals are fields: they satisfy the field axioms, and more (for example, they are ordered).

Look at for example the set of real numbers. If you add the complex numbers to it, you can no longer speak of the real numbers. The real numbers form a subset of the complex numbers. The same thing happens if you add definitions to a field. You create something which has mayber has a field as a subset, but you can no longer speak of a field.

What is "undefined"? First let's look at the logic itself: What is true ∨ undefined ? What is true ∧ undefined? Now at the theory: What is undefined + x ? What is 0 * undefined ? What is 0 = undefined ? etc.[0]

Undefined is just undefined, no value, not a magic one, or just a random one, or one you prefer. Just void, the empty set.
To understand it, look for example at the graph of y = sqrt(x), where x and y are real numbers. You see no points at negative x. Its undefined in the domain x < 0. Yes you can say at x < 0, y = 3, that is now my definition sqrt(), but then you no longer have the sqrt function mathematicians talk about. The same thing applies to fields and 1/x.

>What is "undefined"? First let's look at the logic itself: >What is true ∨ undefined ? What is true ∧ undefined? Now at the theory: What is undefined + x ? What is 0 * undefined ? What is 0 = undefined ? etc.[0]

Now you apply boolean logic to the result of calculations, numbers and non-numbers, not on statements. I can also ask what is 5 AND true? Is that true? The question doesn't make sense, so the answer is: depends on the programming language.
The part that I find the most intriguing is "corrections can be made on the fly".

I can see how you would ensure reliability through proper requirements specification, a good software development process, separate independent implementations and extensive verification.

However, every time I read a popsci article about space flight software, they talk about this capability to push new code to the spacecraft while it is in flight.

I'm really curious to learn what this looks like in practice (technical details). Do they really have the ability to do an "ad-hoc" upload and execution of arbitrary code on these systems? If so, how are the ad-hoc programs tested and verified?
Bulk sms and Voice Messaging
Those games were briefly covered in this older article: https://dolphin-emu.org/blog/2017/02/01/dolphin-progress-rep...

> In basic terms, Disney Infinity and Cars 2 do a very specific amount of writes to lower MEM1, where a lot of really important data is stored. But, it writes just enough that the CPU doesn't flush it to MEM1; it remains in the CPU L1/L2 caches. It then tells the CPU, nevermind and invalidates the CPU cache. Thus, even on a hacked Wii this would do exactly nothing; it's specifically targeting a weakness in emulators.

> Emulating the CPU cache in Dolphin would likely slow-down Dolphin by a factor of ten or more. While we prefer not using hacks to "fix" games, we found it to be permissable in this case due to how specialized of an issue it is. Even if the L1/L2 caches are implemented in the future (which is definitely a possibility,) it will likely be something only used for testing, and thus this hack would remain so that people could actually play these two games. It's a compromise, one that no one is entirely happy with, but the game behavior necessitated it in this case.
In Chrome if you open the history and hit "show full history," you get a search bar that works better for history.
Therapy Robot Teaches Social Skills to Children with Autism
You wouldn't have a link, would you? I'd be interested in this...
WHAT ABOUT YOUR POLICE STATE PHYSICALLY ASSAULTING US AND SKINNY WHITE DEVILS WHO LUCKED OUT HANDING OUT BRAIN DAMAGE LIKE CANDY? FUCK U SKINNY PEOPLE. THAT CRACKER SHOULD BE WRITING CODE NOT POLITICAL BLANKET OPINION PIECES
My strategy had been latex for resumes, where I can play all the dirty formatting tricks I want in the name of presentation, and pandoc/markdown for my CV, where content is more important and the document needs to be updated frequently.
F2FS in Linux 4.19 Will Fix Big Performance Issue for Multi-Threaded Reads
As a 3D printing enthusiast, I can confirm your fears. It's all in software and while there are good control systems, nothings perfect. I had the hotbed fail and it was smoking when I found it.
Publishers have editorial control, platforms do not.

That's why you can be one or the other, but not both.
How Blockchain Will Write a New Era for Accounting Industry
Where's "show full history"? I don't see anything resembling that, nor any obscure dropdowns or popouts that might be hiding it.
From previous articles, remote updates seem to be a core part of spacecraft software/operating systems. I even recall one situation where a spacecraft had a REPL built in that was used to fix a problem (slowly) remotely! They also have multiple levels of operation and watchdog functionality. I have no direct experience with that beyond following news about spacecraft.
It's reported in the Chinese media almost daily right now.
KDE Plasma 5.14's Lock Screen Will No Longer Eat CPU Resources on Old Hardware
How Doughnut-Loving Cops Became a Stereotype
My opinion is that just because you can interact with AWS APIs with Ansible it means that you should. I think it's good to use AWS interaction with Ansible for things like dynamic inventory and the orchestration of certain tasks (e.g. stop a group of instances, switch load balancer config between blue/green deployments, etc.). That said I don't think it's that much worse than Cloudformation because it suffers from the same lack of statelessness and idempotency that you need to engineer around.
Steins;Gate undoubtedly got it from the John Titor urban legend.
Cloudformation is infrastructure management, not configuration management. Both Ansible and Cloudformation can be used for both in different ways, but usually you have your configuration management (such as docker containers) in one step of your pipeline and cloudformation templates as another. That way you can test your infrastructure (by deploying cloudformation templates and tearing them down) as well as your code without them being too dependant.
You mean glitter and ads? Because sensors and I/O doesn't require much power; nowhere near as much as is available.
I think it would be better if it was vacumn voids rather than air filled since air will conduct heat via conduction.
tldr:
In the 1950's, doughnut shops were some of the first food businesses commonly open late at night. They became hot spots for police working the night shift since it gave them a place to grab a snack, fill out paper work, or even just take a break.
It's only wasteful if you don't take anything away from it. Everything I've done made me better. I am nothing but the sum of my experiences.
Foam can be made and slowly evacuated. Vacuum filled foam is a better insulator
I am reading up on this a bit and it seems very interesting but I am not quite sure it would be able to fill the gap that something like Antlr fills. We want to generate parsers in various languages (JS, Python, Go) from a single grammar and existing implementations of "Parsing with Derivatives" seem to be experimental and mostly in functional languages.

Prolog is really interesting too but how would it work in practice for our use case?
Thank You for submitting this to Hacker News Raja.
>In addition to that, tight currency controls mean the middle class is starved for worthwhile investments.

But that is kind also the only reason China is not completely sank in the saving glut. They want to make it appear to people that they have no better alternative to use their money than just spending it right away.

This is one of reasons that a thing as bizarre as that bitcoin took off her.

In reality, Chicoms have no effective way to stop capital bleed. The learned that the stronger signal they send that "tomorrow it will be harder to get your money out of the country," the more money actually leaves.

All kinds of eCurrencies is one side of that, but insane loan schemes is another: the current most popular funds exfiltration scheme is following - a guy loans money to some fund in China, and in exchange gets an interest free or very low interest rate load abroad. The fund then finds more a legal front for "investing abroad" or just bangs money away inside China on pump and dump schemes.

It is borderline tragicomic that whatever seemingly makes sense,and made in good faith policies made up by Chinese government end up acting with opposite effect:

1. The 50k USD limit on foreign remittance - actually aggravates capital flight, by sending the signal that domestic capital markets are so bad that government has to resort to such extreme measures.

2. Prohibition on private ownership of major assets (real estate, land, mining licenses, ownership of private business over the revenue limit, sea ad aircraft, and on) - was made to ease saving glut, by making people rent that stuff rather than own, but... you know: an average Chinese citizen save like crazy just to get the 50 year rent.

3. Salt tax - apparently is still being kept to force people buying Iodinised salt, but everybody knows where to buy salt around the state monopoly

And on and on and on
I don't know if the structural issue was people believing the US government would bail them out. The issue was probably more that we actually bailed them out. I can't really blame rich and powerful bankers for thinking we were gonna do something that we normally do for them.

Stop bailing them out, and they'll stop believing they're gonna be bailed out.
But you can’t search inside the content. It just searches the titles.
Jogging on footpaths while respecting right of way is completely different from running helker-skelter, bumping and knocking people down. I hope we really don't need to debate the difference between the two.
I mean, even if the software could do something like flag the hyatt bridge redesign as failing to meet weight specs, that would be a win. I could be wrong but it seems like certain civil engineering projects (such as indoor bridges) would be pretty simple to check the math on compared to a building subject to wind, etc.
There are many good videos from the yearly Flight Software workshop http://flightsoftware.jhuapl.edu/
OpenStax – openly licensed textbooks
operators from C#

Why not go the whole hog then, and do a Option[1] ;-)

[1] https://en.wikipedia.org/wiki/Option_type#F#
Understanding every turning knob available in PostgreSQL is important to get maximum out of PostgreSQL server.
Importantly, they likely have very different thermal conductivity and and specific heats. They probably also need to have reasonably similar thermal expansion coefficients so heating and cooling cycles do not cause them to strain and break.
I’m not suggesting that you have to use google for the originating search. But you would need to use CSE to index any content you wanted to search for later. Arguably you could do this with a new google account if you’re concerned.
We have a lot of Django-based code similar to

if getattr(obj, 'foreign_obj') is not None and getattr(obj.foreign_obj, 'field_name') is not None:

Would this turn into:

if obj?.foreign_obj?.field_name

?

Does is look shorter? - YES!. Is it more readable? Arguably yes. Would I vote to see this feature in Python? HELL NO! In most of cases, we can have an in-house "maybe()" function, like

maybe(obj, 'foreign_obj.field_name')

There is no need to update the language syntax for that.

From PEP description:

From bisect.py:

def insort_right(a, x, lo=0, hi=None):
# ...
if hi is None:
hi = len(a)
# ...

After updating to use the ??= augmented assignment statement:

def insort_right(a, x, lo=0, hi=None):
# ...
hi ??= len(a)
# ...

Seriously? To me the "if hi is None" looks times more readable and easily comprehensible than "hi ??= len(a)".

Finally, The Zen of Python

Special cases aren't special enough to break the rules.
Although practicality beats purity.

This case does not look neither special enough nor so much practical to me. Could anyone please give a hint of where can one vote against this PEP?
The only thing that spending time with Cloudformation teaches me is how much it makes me prefer doing things with Terraform. I think Cloudformation is considerably better than nothing and it was great when there were no alternatives, but that was a while ago.
Remote updates -- where you replace a full (sub)system -- are one thing, since you can always run the normal software validation procedure on the new version of the software. So an OTA update of a system (even in flight) does not sound like rocket science (yet)...

But: Once you include a REPL or another mechanism to push and execute arbitrary code "ad-hoc", I wonder how that could possibly be tested an validated? Surely as soon as you add the ability to run arbitrary code, there is no way of testing for all possible states of the system as part of the validation process?

In other words, how do you allow the user to push arbitrary code, but prevent them from putting the spacecraft into a condition from which it can not be recovered? The only way I could naively think of would be to only allow the user to push code to a completely isolated CPU that has a remote-reset functionality from the main/comms CPU.

Still, the popsci articles I read made it sound like there might be more to it. It would be excellent to find some first-hand accounts/sources on how this looks like in reality.
Academic Torrents – Making 27TB of research data available
Basically it's a Markup Language, not a data transfer language, so it was far from ideal to use it as one. See for example the ambiguity between what should go into tag attributes vs. tag content etc. Also the eXtensibility makes things too complicated for many use-cases.
You don't have to care about any of this with JSON.