skysight-inc/HackerNews huggingface dataset:
Assuming p V !p (read: p or not p) as an axiom means that you are admitting excluded middle. This axiom is part of "classical propositional logic". So a proof using this case distinction (p true or p false) would be valid, in the classical sense.

There is a stronger system, called "intuitionistic propositional logic", where this axiom is not valid. There are less formulae that are valid intuitionistically, but any formula that is valid intuitionistically is also valid clasically.

There are various philosophical reasons why one prefers intuitionistic logic, but note that in any case it is stronger to have an intuitionistic proof, so these are preferable (when they exist).
Implementing Object Detection from Scratch: Generating Anchors
No, that's not blackmail. You can only blackmail through exclusive knowledge. If they tested your code, then I'll assume your code is out there in the open, so anyone can run your code through a static analyzer and write a blog post about it.

Yes, these posts are advertisements for PVS-Studio, and since they frequently land on HN, they obviously work for them. Besides, you don't even have to buy PVS-Studio, since the Demo already will show you the complete analyzer output, you just won't be able to directly jump to the source.
> This app is disabled and does not appear in the repo
"Soviet" instead of "Russian".
osmand is available for iOS (or at least now it is):

http://osmand.net/blog?id=osmand-ios

https://itunes.apple.com/us/app/osmand-maps/id934850257?mt=8
MVC like architectures have nothing to do with scalability. Scalability is the approach that you will need to take when your application concurrent requests grows such that the existing system is not able to handle these new requests load.
The idea of a load balancer is one such approach for scalability. You will have to also think about how would you scale your database as the requests increases the database requests will also increase. There are some general guidelines you can follow but overall the best approach comes from what are the computational requirements of your particular application.
From context, Lams use of “kickbacks” in the email refers to Amazon affiliate payments. It’s a freakishly poor choice of words but hardly scandalous.
That Vision Thing: New AI System Can Imagine What It Hasn't Seen
How do you get k9 to synchronize mail in the background? It seems to be broken and there were no working solution everywhere I looked. I have to go into the app and manually trigger inboxes to refresh. Even with background sync enabled.
Yes, I say this with full understanding of the financials. But also with full understanding that a rented apartment is someones home and a stranger can't just barge into it at will. And the landlord is a stranger, just like any other person in the city or a street. If the tenant gives him the keys (like he would any other person/neighbour) it's fine, but for all other purposes he has no business walking into someone elses home.

(I know laws around that differ, but for example here in my little EU country the landlord cannot enter the rented appartment without explicit consent given ahead of the visit.)
It may be difficult to enforce the rules on thousands of foam companies, to get them to use something worse and more expensive.

But there must only be a handful of factories making the stuff. That should obviously be the target.
we try our best to keep it light. hit us up if you have any questions or ideas
How large is your proof of concept implementation? Do you think the architecture could be miniaturised enough to make a whole processor?
For more info on the thinking behind the original Mac roundrects design: http://www.folklore.org/StoryView.py?project=Macintosh&story...
Ever wonder why humans, who have predominantly lived and worked outdoors until the last century, suddenly need suncream to go outdoors?

Ancient texts don't talk of terrible sunburn, everyone having skin cancer, or anything like that.

My guess is the main cause is ozone depletion:
https://www.nasa.gov/images/content/433982main_percent-chang...

UV-b has increased substantially since 1979, and considering CFC gasses were first used in the 1930's, it's likley that UV-b has very significantly increased since then.
School shooters leave clues. Could AI spot the next one before it’s too late?
I'll admit up front to being a wasm cynic, but what exactly is the point of having a text editor trapped in a browser sandbox?
The major huge difference is that because most apps request minimal permissions, the one that requests a lot (or an odd one) stands out against the background of the rest.

Whereas g-store apps, because they almost always request too many to begin with, train users that 17 different permissions for a 'flashlight' app is normal (made up example), and the malware does not stand out as 'odd' in that environment.
Podcast: Bridging the Gap – Women in Cybersecurity
I really think this is useful for earphones. I have crappy ones who break, i am looking for strong wires.
Or, indeed, what modern tech product has not been compromised by the NSA?

People are being a little naive. The US gets its "grubby" hands on every little thing you do, as does China. The question is not, "Which 'grubby' hands do I wish to allow to do my deep body cavity search?" But rather, "Why, exactly, do I need to submit to deep body cavity searches by 'grubby' hands at all?"
I think what it comes down to is interactive tooling linking code and documentation. When coding and debugging, you want to see all the relevant code without any noise (e.g. superfluous documentation). You want to change it in that representation and these changes ideally get transferred back into the documentation automatically. You may want to reorder sections of code and documentation on the screen as required. And so on.

Maybe it is time to finally say goodbye to source files and place everything in structured and annotated code databases instead? Code does not have to be text.
Profitability tools, books and blog links – SlickAccount Blog
Do you know what leads some boys to move their bodies more than others?
I have been playing around with org-babel's ability to do literate programming.

It allows you control which file the code is tangled to, along with a comments which deliminate where in the literate source code a block of text came from. That gives some primitive ability to debug and build larger project bases.

Unfortunately I have never managed to convince a team to adopt emacs, let alone org-mode, as the coding tool for a project. That's left me using the obviously broken, half finished and barely documented implementation as good enough for the parts of projects that are under my direct control.

Even in that state however, when you throw in git and pandoc, it is vastly superior to any other devops system.
Airbnb Sunsetting and Facebook Sunrising React Native
> Health concerns. It is unclear if an attacker would get his eyes and face skins hurt, under the exposure of such a large amount of infrared in a long period of time. If this is true after confirmation from physicians, attackers may not dare to launch attacks with this method, worrying about their health.

As a physician, I don't understand this to be a serious concern. UV light is the opposite side of the viable spectrum from IR

This is fascinating. What a great idea.
Sure, and there are cases where you may been reading from some volatile register or something. But that's why I mentioned that this is usually what you want, not always :)
FWIW, I stopped reading the onion when it was bought by univision, for presumably political reasons. I mean even now the dedication and passion you describe sounds a bit like campaign headquarters to me, not a satire shop.
The tool has many features.

Most important things:

curl cht.sh/:help
curl cht.sh/language/question for question about language
?Q to switch comments off
?T to switch syntax highlighting off
append /1 for the next question

Special client:

cht.sh

It supports tab completion, and so on.

You can find more examples on the project page:

https://github.com/chubin/cheat.sh

Vim integration: https://github.com/dbeniamine/cheat.sh-vim is very cool, you can make the queries (and access the results) directly from Vim.

Alternatives:

howdoi (need to be installed to be used; uses google and stackoverflow)
how2 (the same)

Cheat sheets tools:

cheat (not cheat.sh; it is another project)
tldr (need to be installed).

cheat.sh provides access both to the cheat sheets and to programming language answers.
If you watch videos of AIs learning to run [1] or playing Mario [2], you see that there's definitely "try random shit until your reward function gives you positive feedback" as a method for training AIs.

The difficult part is developing the reward function. There's a lot of intelligence in our hormone-based incentive system - that we feel pain, that we feel sad, etc. Many of those emotions are pre-programmed. If we find a way to design reinforcement systems with the right goals, we can do it like mother nature did it for several billion years. But it's still a ton of computational power required.

If we look at nature as a massively parallelized computational system that defined "just live" as the reward (not because it "wants" it, but because it just emerged), it shows us how much power we would need if we would try to build a completely random process that gains intelligence.

I think your proposed method works ("just assemble random solutions and test them") because we've already seen it in nature. But it takes a lot of time and energy, regardless of our computational power. I think we're faster when we find the right boundaries and reward functions instead of randomly trying stuff.

[1]: https://youtu.be/gn4nRCC9TwQ
[2]: https://youtu.be/qv6UVOQ0F44
I disagree. Not eating dairy products restricts your eating choices considerably. I don't know where this crusade against dairy is coming from (besides the internet).

It's very much normal to eat and drink milk related products, especially in countries with domesticated cows.
> not actually make them on your OWN fork? Clickbait, gross.

Yup. Something like :

> You have bugs in your codebase of 1M+ line, you want to fix them ? Buy my proprietary software for 30$/Month per user , which was built 100% on open source tech obviously.

Getting traffic using linting issues from a large codebase to promote a proprietary software , Outrageous.
12 microwatts per 1 cm2
The days after Montreal Protocol gave me so much positive hope for the world...
Ella – The human kindness app making charity more transparent
Where of course "Asian theatre" is entirely unambiguous ;)
Show HN: A prototype of a new visual web scraper project
Chinese "goods" are cheaper due in part to many factors like this. I'm not at all a fan of blanket tariffs, but simple free trade doesn't seem to have the stomach to deal with this imbalance in standards, or standards enforcement.

I think if instead of just certifying products for safety etc, the entire process by which they were made was also subject to certification, grading etc, that could be an answer. ie products attract a higher tariff if the producer has poor labor, environmental, safety, community practices, along with grading the quality, durability, repairability of the products themselves.
Hfc: drawer, holy programmer creator and jspainter author
The function used to return "TrueString" or "FalseString" back then. Nowadays it returns "True" or "False".
Modern etar (as in the version that is most current in FDroid) has the ability to setup recurring events (every day, every two weeks, etc.) Is that what you mean by "repeated reminders"?

Font setting, no it does not directly have font setting inside the app. Instead it follows the phone global size set under the accessibility area of the global settings app.
Writing all that here is all well and good but until developers and engineers STOP caving in and bending over backwards to accommodate and help China implement that authoritarian nightmare, it's all just words that will not change anything.
" The bottom line is that if people are not rebelling against current measures of social credit, government only has incentive to keep going."

One problem with this is that since NEWS and almost all media is State-owned in China, there might be protests and we might be unaware, also the protesters are straightaway sentenced plus now even their family members get "negative points" if I am not mistaken. There's a reason why Chinese people living outside also dont say negatively.
Business Models that are shaking up the Marketplace- Industry era
You Searched for Rapid Tone – Dr Oz Health Blog
It can be difficult to know. I had some fraudulent charges from a Best Buy in Washington (IIRC), despite never having been to the States. I had ordered from Best Buy online, but that was about six months prior so no idea if that is related.

It's also a card I've _never_ used in person, and most of my online transactions are through PayPal or Amazon, so no idea how my card details leaked.
So you agree storing 24/7 video on a billion people is not practical today. I don’t think processing is practical either. Processed output can be bigger than source depending on what you want to do and doesn’t remove the need to store original data to get value out of it always.

Technology has improved exponentially in the past. No guarantee it will continue. Ram prices are double from a year ago. Gpu prices are also not much better than 2 years ago.

Luckily we have improvements in m.2 ssds.
KDE connect is awesome. You don't actually need to use KDE as your desktop as it will work on any Linux, with just a few KDE/Qt libraries. It even works on Windows, although not all plugins are able to work.
Show HN: CoreUI – Free Admin Panel for Bootstrap 4, Angular, React and Vue.js
Crytek recently (and it may still be going on) sued Cloud Imperium Games (CIG, the people behind StarCitizen) for switching from Cryengine to Lumberyard.

The details are few and far between, but the possibility or being sued by the vendor would be a bit off putting for me.
> A rented apartment is someones home and a stranger can't just barge into it at will. And the landlord is a stranger, just like any other person in the city or a street. If the tenant gives him the keys (like he would any other person/neighbour) it's fine, but for all other purposes he has no business walking into someone elses home.

"Just barge into it at will"? In what world do emergencies inside the tenant's home conveniently pop up at the landlord's mere will?! And in what world is running into a house that you own to mitigate an emergency equivalent to "just barging into" some random building you never had and never will have any rights to?

If you believe the landlord fundamentally doesn't have the right to do this because the tenant's right trumps it no matter what, that's one thing, and it's something I can at least somewhat understand and debate legitimately regardless of my agreement or disagreement with it. But to just go ahead and completely and outrightly deny the existence of even a shred of nuance on the topic when there is such a clear night-and-day difference between your landlord coming in to mitigate an emergency in his own property and any random dude off the street just barging into your house at will is just... too wild to be honest. It's not something that can be taken seriously... all it does is completely sucks away any energy others might have to hear you out.
"I’ve always found it much easier to read code in an editor directly and jump around to understand it."

That's Java approach and it seems to be complete opposite of literate programming. Code that cannot be read or understood without having an editor and navigation.

I personally like to read programs in full, although only rarely there is time to do that. Not exactly literate style, but I like when the documentation is structured hierarchically so I can focus my understanding where I need it.

It seems that hierarchical problem decomposition, and the associated programming style (which leads somewhat naturally to literate programming), is out of fashion right now. (It was replaced by mesh of objects, frameworks and microservices.) Maybe it will return back with functional programming.

Anyway, to answer authors question - I enjoyed Jones Forth.
https://fossdroid.com/
You can be burned by IR light.
Rapid Tone Diet – Ingredients, Benefits, Results and Side Effects
Professors, We Need You (2014)
FIFA World Cup 2018 Schedule – Exact kick off times in GMT and your local time
0.12W per sqM

for an intuitive sense, it would take 125 hours to charge a standard phone with 1 sqM device
Been meddling with the primary forces of nature again, Mr. Beale?
Why - I'm pretty sure the Eastern Front was entirely in Europe?
why not use something like in via ferrata sets - a single easy-to-open carabiner with a short cord, attached to you. when you climb a ferrata, you clip&unclip hundreds of times, nothing particularly complicated or taxing, and in water you would need only a basic one with little resistance on the gate opening part.

you could pass along the cable holding the carabiner in one hand, not slowing you down
>USA holds elections, but the system has been gamed enough to convince most people that their votes don't matter.

This has been a concern for Americans since the dawn of the country. Things in the early 20th century were worse than they are now.
Named Entity Recognition: Applications and Use Cases
Is this place history class or CPU article comment?
No, that is the Pacific Theatre. Eastern Front in WWII unambiguously refers to the European theatre of the Axis-Soviet conflict in Western post-war study. The problem with that term is of course that from the Soviet/Russian perspective, the enemy was coming from the West, so they refer to the European theatre as the Great Patriotic War - a rather loaded and mostly unheard of term in the West.

So academia has had to come up with new rather obscure neutral terminology like the German-Soviet Conflict or Russo-German War.
"Eastern Front" is pretty widely understood I would think, perhaps because there wasn't so much of a single "front" in the pacific theatre? (except for the second Sino-Japanese war)
> Like the number of voters?

3 million more voters voted for Clinton but Trump won because of the Electoral College.
If you are delivering software or hardware products that include weather forecast, do not rely on anyone else's API directly. Build a wrapper service and direct your clients there.

As a particularly disasterous example, the Yahoo Weather API was unchanged for the longest time. Integrators worldwide deployed thousands - no probably millions - of systems using an unofficial "Yahoo Weather Module". It was the canonical solution.

Then they made a breaking change to the API and everyone cried.
Micron confirms Chinese injunction
Yes, good thing to point that out. It can be a great help in some cases, but unfortunately that modal dialog blocks access to the comments on the bug, so composing your reply in it can be frustrating.

Yes I can compose my reply in another editor and paste it once it's final. However, IMO an issue tracker is something you use so often that working around these small issues comes at a high cost to me when it should not.
ARM: “RISC-V Architecture: Understand the Facts”
Angular 5 to 6
Yes, MIPS is everywhere in all sorts of consumer devices like routers and cheap Android phones/tablets, but it lacks performance, and also compatibility with existing software.
I can't find the original mail (blame gmane shutdown), but this rule was created back in the IBM and SCO lawsuit age.

Somebody (linus?) decided if the author name look like real name, he would accept it.
AI-Enabled Personalization: The New Frontier in Dynamic Pricing
Or use a proper programming language, that gives you all that React/Redux/Webpack/Typescript/Immutable.js has, in a more consistent and bug-free package.

https://www.youtube.com/watch?v=kEitFAY7Gc8
( yes, it's Elm )
Yeah, I agree that the UI and modal abuse could use some work. I still prefer it over most other issue trackers, though, because it can be queried as a database.
Makes a lot of sense to me.
Related fun fact: Dynamite was invented by Alfred Bernhard Nobel.

Nobel didn't want his legacy to be one of destruction, so he founded the Nobel prizes that are still awarded today.
tldr; solved my own problem

I was having problems keeping up with all the new vinyl releases that were coming up so I built a tool to collate them into one easy to navigate place. A couple of years later this turned into a customer-facing website.

Then I realised that once I found the record I wanted it was hard to find a store that had it in stock as most of the records i wanted were very limited releases. So i extended the site to do a real-time stock check of my favourite record stores to show me which had the records in stock.

I now have record shops coming to me wishing to be listed in the stock check feature and I charge them money to appear, either through a monthly subscription or a CPA basis.

site: https://www.soundshelter.net
TBH, at the time I was expecting PowerVR to make a big splash. I didn't see 3dfx to be as big - it was odd with add-on cards etc. I was also waiting and waiting for SGI to finally put something out there in PC space apart from Cobalt. It never happened. That company had it all and lost it all. Nvidia today is what SGI should've been. I suspect most of people from SGI work there now anyways (and/or ATI/AMD).
Translating English into database queries
I know almost nothing about cave diving, but I can't imagine sedating the people being rescued would be a good idea. Is sedating people in cave diving emergencies a normal thing?
India's unofficial recycling bin: the city where electronics go to die
Why not add an option for that? (2018)
I'm sure special forces are incredibly tough and very skilled - I was just wondering whether there would be any reason for them to train in the skills relevant to cave diving.
How to Ship Products from Home – As a Small Indian Business
Yes, running JS takes energy. Also, transferring this extra data over the network, running servers that process data transferred by JS (ad tracking) and running computers used by frontend developers.
> the most basic bomb is fuel/oil+fertilizer this should be pretty common knowledge especially considering how common were fertilizer bombs in the US.

In what context would more than 40% of Americans, people who grew up in a society were "and now I'm on a list" is a common phrase, have learned about the means of manufacturing bombs?

What percentage of people do you think have even heard of Fritz Haber?
So just because you don't know German and I ask you to read some German text, you will say this looks super complex, even if it's a simple line saying "Good day!".

Wow! Indeed our definitions of simple are different.
Fantastic work. Some off-hand questions, total noob in your field but interested in it and reading a lot:

- how fast is it (4KHz mentioned seems a bit slow, or is that a function of size?)?

- how far away from practical applications do you think you are?

- is the optical circuitry limited by the interaction with the electronic parts?

- the paper is already two years old, have there been interesting developments since then (in your lab, or elsewhere)?
Clubhouse has been a good balance of structure and simplicity. They have a good API for automation too.

https://clubhouse.io
China has realized that given their population, climate change will disproportionately affect them. So the government has good reason to actually enforce environmental laws; they’re just too big to do it effectively.
You can enable reader mode for all websites in Safari. On iOS, just hold the reader mode icon and select 'always enable'. I do it when reading news.