skysight-inc/HackerNews huggingface dataset:
Yep, I've been to Hiroshima myself and there was no concern about radiation at all... It's been washed away after 73 years

Of course, it's because both Hiroshima and Nagasaki got bit by first generation atomic bomb, and are right next to the sea. A salted nuclear explosion in a deep desert or inside a cave might make a seemingly-forever radioactive fallout. But that's not a concern in nuclear power I'd say.
Doesn't look like those cats were having a good time
Isabelle semi-automatic theorem prover tries to help with 2 if you use sledgehammer strategy and print out the simplified proof with isar_proofs argument, which you can more easily read and reintegrate into the main document if needed.

You can help its heuristics by providing it a set of potential proof facts explicitly.

The libraries available for it are already quite huge... sometimes in a few encodings as well. (valued, typed, functional etc.)

https://www.isa-afp.org/
> Another funny solution is how they implemented the "Add to Home screen" functionality: when you select "Add to Home screen" in the Shortcuts app, it opens a data:// URL in Safari, and you have to add it from there :D

Because, presumably, they do not have access to the private API to bypass this step yet–for third party apps the only way to add things to the homescreen is through Safari.
This could be solved by porting Xamarin to the web.
Ed Witten, Abdus Salam, Dennis Sciama and Budinich's Old Conversation
Hi Jon - great work - I've been a happy registered user of ST for years and I find it a wonderful tool in my productivity kit - so thanks!

Will there be a home-brew cask for us on MacOS, by any chance?
The Semantic Web is alive and well and doing great, thank you very much. You should drop by some time and check out the real thing. Unfortunately, hype in any field will attract losers and opportunists, but why focus on the negative?
Never mind academia: Some of the world's largest companies are investing serious money in semantic-web approaches to get a grip of their information resources. You won't see it because it's mostly behind the scenes, in intranets and infrastructure that feeds data to your nice shiny restaurant recommender, or whatever.

The software stack is getting better and more robust-- you can do things quickly with billions of triples that would take you weeks of development to program in a non-trivial relational database environment. The Semantics 2018 conference just took place in Vienna. It was heavy in industry presence and there was a lot of money going around. These guys guys don't give money outside the company unless they're going to get value for it.

So yes, reports of the imminent arrival of the Semantic Web ten years ago were greatly exaggerated. But if you're looking for a topic with an amusingly clueless commentariat, you'll do better to google "PHP object-oriented programming" (or just "hacker", for that matter).
You can do that with PWAs if they are packaged as native apps.

For example on Windows, Microsoft has rebooted hosted UWP JavaScript apps into signed PWAs.

So on that case, you can check if UWP APIs are available and use all of them, depending on UWP permissions for the app.

Chrome is following a similar route with ChromeOS and Chrome Android.

As native/Web developer I tend to have a native bias, but PWAs look like the way the Web might win back native. It isn't fully there though.
15.1 is officially supported by LineageOS but it's not as good as 14.1, that's why 14.1 is still getting security updates thanks to denser@xda https://forum.xda-developers.com/showpost.php?p=77567550&pos...
They at least provide attribution.
Well, if banning smartphones in schools is a good thing, then it makes no sense to do it only in some schools and not others. If it's a bad thing, then it shouldn't be done in any school.

I cannot find a single reason to do it at any other level than national.
For compliance and privacy reasons. For example I deal with a lot of Swiss banks and Swiss law is very strict about what kind of data is allowed to leave Switzerland (not very much).
And thinking back of my school years, there is absolutely a will. Hard constraints just make it all the more juicy.
privacy.
The future off jobs definitely lies in tech
Same can be told about native apps that don't bother with layout managers, specially if they are part of the OS frameworks to start with.
This reminds me of those glorious days using the Original Nintendo DS, complete with Internet Browser, which you could only use via a cartridge no less! I expect I still had a better experience...
You obviously did not dig in :D There are absolutely terrible parts, would not recommend!
> Another exploit was to start building a cheap building in their base area at the start, somewhat far away from the mining line. They would send a ridiculous number of workers to attack your building. So they'd lose significantly more money to lack-of-mining than you did for building and cancelling a pylon or whatever.

Similar to this none of the inbuilt AI's can deal with a slow cannon rush. They will hesitate for ages then rush 5 finished cannons.

The later Ai's do a little scv tanking and kiting but nothing near enough, they don't even focus down the probes.
Yes, that post has been edited quite dramatically from when I replied to it, unfortunately I'm not able to edit mine any more.
not only that - he was grateful for them to do so!
I am sure it depends on the topic you are talking about. When I see something that doesn't match my ideals, I start talking about it, which creates some sort of a negative atmosphere.

While I am sure the people around me value that perspicacity to some extent, I feel like sometimes they wish I would just shut up and let things be like they are without focussing on imperfections that surround us.

So being positive probably is a better way to make people appreciate your presence.
Cool initiative to benchmark your tech stack
"in the pocket"? as in the literal translation of "c'est dans la poche" (meaning "I got this, it's easy")
But Shortcuts is a first-party app. The developer is listed as "Apple" in the AppStore.

It used to be a third-party app called Workflow, but Apple acquired them early 2017. They had plenty of time to replace the Safari workaround with the proper private API.
NatWest and RBS suffer online and mobile banking outage
That's an old article, written in the days when people were reading Xi's absence from newspaper front pages as a sign of turmoil. Now: https://twitter.com/QiZHAI/status/1036293006100328448

Also, that professor mentioned, Xu Zhangrun, has apparently been forced to return to China. I don't envy him, but I'm sure he knew what he was getting into. These dissidents seem to have a surprising high ability to accept their fates. Not the same guy, but an interesting read: https://chinachange.org/2018/09/16/four-years-afar/

Nobody knows anything about China. https://foreignpolicy.com/2018/03/21/nobody-knows-anything-a...
Java actually has a pretty decent security model. Like most sandboxes it was (and still is) full of holes, but browsers don't fare much better.
Driverless train goes loco; two pedestrians injured
A lot of the KDE source code is well written and maintained.
Truffle: Universal Permissive License (UPL)
Most western countries already had this discussion.

There were car makers voiding warranties when users replaced a tire. They gave the same arguments: Users modifying the car might do anything, so better give them no chance, as nobody could ever walk safely on the streets again.

Wiser heads prevailed, and e.g. the USA created the Magnuson-Moss Warranty Act. It is today legal to replace tires on your car. It is nevertheless illegal to make it non-street-worthy. If you stupidly damage your car while replacing a tire, you do in fact void your wararanty. If reality isn't clear enough, a judge decides. While streets might not be that safe, it is extremely rare that modified vehicles are part of the problem. The system works.

Why do we have to rediscuss all of this again? Exactly the same idea is applicable to software.
Just wanted to +1 this.

Once had to make some changes to OpenSSH for an internal project and it was surprisingly easy to find the relevant code and make the necessary changes. One of the few times my code worked on the first compile.
I'm only involved with proof of concepts, as such I usually work with pre made blockchain solutions with smart contracts slapped on top.

Consensus is arguably the hardest part of a blockchain (if you need distributed data storage just use something like IPFS). An example is Quorum (JP morgan fork of Ethereum), this is their take on consensus algorithms:

https://github.com/jpmorganchase/quorum/wiki/Quorum-Consensu...
Absolutely. I didn't want to sound like an apologist! Just wanted to shed some light on how it might have made it into production.
Tensegrity (1961)
The entire design of the "linked data" ecosystem is based on the idea that, as you point out, "There is no way you can get everyone to agree upon a universal "semantic", and if you can, which you can't, you can't get people to accurately use it, ..." etc.
That's assuming he wants them to cease and desist. Apparently he doesn't and thinks it's really cool.

Just because you can do a thing, it does not necessarily follow that one must do that thing.
Indexing by Learning:A Revolutionary Idea
LLVM and associated projects such as clang. Bazel is good too. OkHttp and Retrofit by Square.
Ask HN: I'm 22 and feel already depressed
I'm in a difficult season, I have to make choices.

I started programming at 14, computer science was my passion.
I'm in my 4th year of engineering school and have a contract with my company and school since 2 years so I work as a software engineer in the financial field (in France). I still love programming but need another dimension, new breath where I could be more useful.

I'll start soon (November) the last year of my degree and of my contract but it's very mentally tough. I'm homesick, I want to leave all to go to North America and pursuit my dream, my other half is there. If I break my contract, it will be financially difficult and need to pay the last year (7.000$) even if I leave school.

I loose my mind, I don't know what to do. I took my diploma at the current level of my study I case of, but I really want to stop. In France the diploma is important but in America it's more about experiences and skills.

I currently wear a mask at work, I try to show the passion and the willingness to my coworkers and my manager.

I looking for more human connections, I do not think I will make the world better stilling in front of my computer...

Did you already be in this situation ? How did you overcome that ?

(If you have work opportunities in Montréal, QC I will take it with gratefulness !)
It does, given its history.

However that is very little against C# and C++, which can also be compiled to JavaScript/WebAssembly.

Additionally there are TypeScript, ReasonML, and a myriad of other languages with JavaScript interop.
Is saying "measurement" really much more undefined and unscientific than saying "different facets of this superposition of your brain state perceive"?
Show HN: Time in list tracking/charts for Trello
It should be enforced as an international law. (not just in France)
> French government believes that without minimizing distractions, children will never learn the basics.
Statusmap Grafana plugin to visualize status (e.g. from Prometheus) over time
There's a similar flow diagram in a 2017 paper titled "Do you need a Blockchain?" [1]
which identifies 3 types of blockchain:

* Permissionless Blockchain

* Public Permissioned Blockchain

* Private Permissioned Blockchain

[1] https://eprint.iacr.org/2017/375.pdf
You are free to fork the projects, that use "insensitive" terms, run sed on them, then test the result, and send pull requests. Other people then are free to reject your changes if they want, and you will be wrong to attack them for their choice.

Programming (and thinking in general) is hard enough. Have some compassion for your fellow programmers, and please do not make it even harder, by insisting on clouding our thoughts with bullshit political correctness ideas and demands that have nothing to do with programming and everything to do with empty virtue signaling.
this is implementation specific. Care to tell which compiler are you talking about?
A healthy ecosystem and easy bridging to native isn't a downside at all.

But this article is saying look how awesome XF is at all these pretty animations and functions, which are mostly done by other components or custom native code.

And they aren't quick and easy to implement either. But you then compare it to Flutter, and you could do most of it right off the Flutter SDK.

To me it highlights where XF lacks in a cross platform development. Especially when you think of the knowledge you have to know to bring in to use all these components. ActionScript, Skia, and each platforms native API usage.
I’ve worked for a company obsessed with blockchains. What really happens in my experience is that some clueless business person tells the boffins to work on it, because they’re super scared of the hype that this new tech might destroy them. But they don’t understand it all.

Exercise for the blockchain advocates: explain as simply as possible why a “private blockchain” is better than Git.
sales is so underrated and despised but nevertheless...
Cryptocurrency Market Turns Bullish After Bitcoin ETF Delay
C++ (Rust as well) is for high complexity problems that need high performance solutions. It's not just a few narrow application areas. For example, all major HTML and JS engines are also written in C++. I wouldn't call them (just) GUI applications. I bet that all offline renderers for professional CGI are also C++.
>I really don't get why people suggest lawyers and c&d letters as step 1.

Because that's exactly what Apple would do if you used their stuff without permission?
I wrote my own take on this based on what I observed at their auction:

https://www.danieldent.com/blog/ncix-able-auctions-bowra-gro...
Perhaps part of where the western outlook on poverty goes wrong is that we almost exclusively define our economic metrics by material, quantifiable means.

However, people can be rich in relationships and materially poor, or incredibly wealthy and yet have a string of broken relationships. Look at divorce rates, or even simply people living together, then breaking up and finding new partners in the United States, where economically speaking people live in one of the richest countries in the world.

Does anyone know of economic metrics that attempt to measure and/or account for relational and/or community richness or poverty?
> However it is debatable since Apple is 'only' providing a template/example which the user must actively turn into a 'shortcut' to have this functionality. Or at least that's how I understand this feature works.

According to the linked site, this is a premade shortcut that Apple supplied, not something the user needs to create. Just click install and it works, was how I read it.
Shortcuts/Workflow is just a out systems-like programming tool to interact with the web. That just like saying "how can Apple allow Xcode to download link from the internet."
EDB to PST Converter and Recovery Tool
This is the best software to convert EDB to PST file as well as efficient to recover exchange server database. This tool convert EDB file data to Outlook file easily, this software is the great solution to repair crashed EDB file in order to convert EDB to PST file.
You can download this software from here: http://www.emailsoftwares.com/edb-to-pst-converter.html
In September 2018, Chrome now looks like Firefox 29-56 and Firefox now looks like Firefox 4-28 as far as tabs are concerned.

I can't wait Firefox looking like Chrome 1-60 and then Firefox and Chrome looking like NetSurf and deciding that tabs under the address bar are better because of matters related to mouse / hand traveling distance, and then removing the address bar altogether, and then adding back the status bar, and then presenting tabs as a lottery wheel, before deciding that one window per page is more user friendly according to a new user A/B testing experiment, after all. And because of some unfortunate extension API breaking change, your preferred tab browsing plugin will not work for the first shiny new versions of these browsers like that.

And then Edge (or whatever the current name of Internet Explorer at this time after a rebranding following a scandal related to some Cortana incident) catching up, and opening a new window each time a link is clicked in Firefox or Chrome to try and steal users (which will lead to some meaningless fine from the EU).

:q!
It turns out that corporations are not people, but are instead made up of people, and some of those people - especially when working together with lots of other people on projects - are prone to making stupid mistakes that make the corporation itself look stupid even though knowledge of what was being done might not have been purposefully present anywhere among the people responsible for the error.

I mean I've worked on projects where somebody got in some content and I said - hey you should probably vet that content and they said oh, oh I think it's okay because of X, and I said well are you sure because, well ok I'll check I asked and they said they think X is fine. Ok well whatever, I'm sure not going to fight over this thing for the next two weeks just to end up looking like a jerk at the end.
Is Your SaaS Go-To-Market Strategy Tsunami-Proof?
I don’t think they qualify as memes to be honest. For a lot of people “meme” is synonymous with just “funny picture” it seems, but a real meme is something more than just a funny picture.

I think Wikipedia puts it quite well:

> An internet meme, commonly known as just a meme, is an activity, concept, catchphrase, or piece of media that spreads, often as mimicry or for humorous purposes, from person to person via the Internet.

The spreading from person to person being the crucial part.
I like it https://play.google.com/music/m/Tr3qhyweb4hvbkv6eo6jryugszi?...
Haven't installed a rom on my sony xperia yet because it explicitly said in a few places that doing that voids the warranty. I still have around 1 year and half of waiting until mandatory warranty ends so I can feel ol with doing it.
Ask HN: Best resources to start with systems programming?
I am a web developer that recently got interested into systems programming through the Rust programming language.

The language seems like a challenge and suits my decision to expand my technical knowledge by tackling a different environment and paradigm.

However, even though I can learn the language, I find it difficult to think of some simple systems programming projecst to practice. In addition to that, whenever I check any Rust-lang repos (i.e. Servo) to potentially contribute there are many alien concepts to me and technical terminology related to low-level programming, making me feel like a beginner.

And so I wonder, are there any books or resources to get used to systems programming (APIs definition, architecture, best practices, tutorials...) to have a better context and knowledge?

Surely there will be aspects common to web development and any kind of programming. However, systems programming seems quite like a different world to me.
MUSCLE BABES  DEB AND MIL
A lot of these points are highly subjective and therefore dangerous points of friction. If you're going to start having a discussion about the "business need" when some presumably competent developer needs something they have already written merged, there's going to be a problem and it's not the code in question.

Again, I'm presuming competence. Code reviews can help with tutoring new arrivals, but at some point they need to graduate to a responsible, self-directed actor. At that point, chances are their code reviews will get signed off with a superficial "lgtm" anyway.
> I'm genuinely thrilled that someone at Apple deemed my chord calculator technology worthy of inclusion in the iOS shortcuts gallery. If anyone from Apple is reading this, please reach out using JGuitar.com's contact form. We can work together to make this experience even better. I can provide high quality SVG images of all chord diagrams, support alternate tunings, instruments and more.

Is everyone missing the fact that the author seems quite happy about the exposure and reaches out to Apple at the bottom of the post offering collaboration? I'm sure they can handle themselves. It feels borderline patronizing to read all the comments about involving lawyers because Apple is being so abusive. When you publish something on the internet, people can link to it. That's how the internet works.
Interesting that you felt horrible despite her saying she really liked you. There's a lot going on in the mind.
>I just wrote and there's an answer in my head straight away, small talk with strangers gets complete silence in my head.
Maybe imagine that it's you that initiated the talk, and start asking them questions back.

Whatever they say, just follow with something on subject. There's no "correct" answer in small talk.

Even straying off topic is OK -- see it as opening a new "sub-thread".
Best Free SSL Certificate Which Is Better Free SSL vs. Paid SSL
Or simple, extreme views.

I think the better view of capitalism allows to both appreciate it for the unprecedented age of prosperity it brought to this world, as well as identify it as the major factor in the biggest problems of present day, from climate change to inequality-related social tensions. It's an extremely powerful tool that let us grow to where we are, but needs fine-tuning so that it won't shake our societies apart.
Italy opens probe into Ryanair hand luggage charges
So You Want to Launch a Rocket? The FAA is Here for You (2017)
"We at Apple are grateful that Asaph hacked into our product presentation feed and replaced it with an ad for his chord finder..."

Somehow I doubt it too.
Apple invented outsourcing api support to some of their fans, that's new.
Oh, this +1. I ported it to another C dialect (test case for the compiler) and found those parts I touched well structured and easy to understand.
the best way to do that is to choose the topic that you really love and you could potentially spend 48hours doing some experiments with it. Money will follow
My advice is just to finish the remaining 1 year of school, it's also great to have a degree, in the end, it will give a sense of fulfillment. I actually envy you because you started that young. I started when I was 19 w/c was just doing the basic things like html, css, and php.

Don't be in a hurry, you have a good start. If you feel alone, call/message your relatives often. Talk to a friend regularly.
I'm not so sure as many will notice it on a device with a 5" screen.

By my calculations, assuming an angular resolution of the eye of about 1 arcminute[0] and holding the device at 300mm, I get about 700 lines as the upper limit of the human eye. [1] So really there should be no benefit for anything above 720p.

There may be other factors relating to scaling and compression that might make higher resolutions on small devices look better, but it's definitely of diminishing returns.

[0] https://en.wikipedia.org/wiki/Naked_eye

[1] https://gist.github.com/dpwm/af467dff758d6f0c5810a2cf902bbf8...
There is also Ethereum Name System, which works quite nicely:

https://ens.domains/

If I'm not mistaken there were already some attempts to connect it to a TLD hierarchy.
I believe Popula.com is trying to fill that void. They have fantastic writers but I'm unsure of their business model (it seems to depend on blockchain as a magic fix).
> The spreading from person to person being the crucial part.

People mailed them to each other.