skysight-inc/HackerNews huggingface dataset:
Apple did not create this. It originates in the "Workflow Gallery", which Apple rebranded when taking over the service.

I think the question is: Are these downloadable workflows an integral part of the Apple software or are they just merely "Sample Code"? In this case the gallery is curated only by Apple (I think), but if we go down this path, what prevents DCMA takedown requests for GitHub repos that contain sample code which accesses services like this?
fabulous！I‘ll try it！
I don't know if it will help the kids, but it will definitely help the teachers.
In France, most schools are public, hence ruled by law. If you have several rules for different public, then things start being a mess. Private schools don’t have to follow this.
I'm really interested to know how a standard ABI would cover both little endian 32 bit x86 and big endian 64 bit POWER.
Article date: 31. July
I don't see a problem here, never had an issue keeping track which register I was using for what. And I almost never used the stack in my code, other than saving and restoring the registers I was going to use before and after the subroutine. Even that was unnecessary, I did it just to be clean.
If you get an ECAD/EDA tool you could do some work to reduce the size of the board.

From what it looks like, you can squish things together by a lot still and replacing components could further reduce it.

Though it's unlikely you'll be able to match the Yubi Nano easily unless you go for some expensive decisions (expensive unless you get a couple thousand keys).
As a LineageOS OP3 user this is fascinating. Although presumably someone else picked this up as I'm still receiving updates.
You maybe aren't, but manufacturers of that hardware will get negative PR if their Netflix only runs at 480p - so they comply to limitations.

Is it really that hard to think a bit farther than yourself?
Mixing semantic web techs with ML is hot in the domain right now.

Because ML solves problems symbolic approaches cannot solve (dealing with huge amounts of raw, poorly structured data) and symbolic approaches solve problems ML cannot (dealing with logical reasoning and inferences, like in the query "give me all cities of more than 1 million inhabitants that are less than 300km away from Paris, sorted from southernmost to northernmost").
8 Best Apps for Google Cardboard
still not stable over long time periods unless you account for stellar drift (which gets more and more uncertain over time)
genius!I'd like to try
This development has been bugging me as well. And while joke comments used to be ignored, now they trigger a chain reaction of joke answers.
That is so adorable. Kudos to your brother.
CS:GO Launch Options – An Ultimate Guide
Maybe he could detect the "Shortcuts/" User-Agent HTTP header, and add a watermark to the generated images ("powered by JGuitar.com"?
Right, but even raw pure stainless of let's say 304 or 316 will rust in naked form due to the small crevices left on the surface straight from the mill...if multiple dissimilar layers of stainless or folded, it seems to me that stainless Damascus will be very vulnerable to rusting... unless there is something in the chemistry between the individual layers that mitigates this, no?
New Female Messenger Bags Women's Handbag Sac the M
>Extensions can be added to FIDO2/U2F to support things like SSH, GPG, and cryptocurrency.

That would be quite awesome, consider me sold on this. Having a fully self-buildable and OSS Yubikey alternative would be very amazing indeed.
I have argued that there is no viable alternative and that getting your information from reputable newspapers is the best option. You argued that I have a problem. I suggested that choosing the best option (even if not optimal) ought not be conceived as a problem.
Suge Knight trial: Rap mogul pleads no contest over hit-and-run death
VS Code extensions for language support are (usually) a combo of a language server plus VS Code extension code. Other editors using just the language server won't get the features implemented in the VS Code extension. So Emacs lsp-mode and a language server won't get you all the features that VS Code users enjoy.

For example, the Go language server (if enabled) in vscode-go is only responsible for hovers, definitions, references, and a few other things. Auto-imports, code lens for tests, helpful commands, coverage, etc., are all implemented in vscode-go's TypeScript extension code.

I recommend just trying VS Code for the languages you use in Emacs to see what you're missing. I bet a blog post about your experience would get to the front page of HN. :)

(One solution, of course, is to make it possible to write all of those things in a way that can be consumed by all editors. Check out https://github.com/sourcegraph/sourcegraph-extension-api to see our work to let you write any kind of editor extension in an editor-independent way (not just the language/code intelligence features). When this gets into beta, we'll feel comfortable updating this master plan to denote the progress toward the goals.)
I bet it's a nice feeling to get this kind of "your work is cool". But this would probably violate copyrights law (unless he uses e.g. a attribution-less CC variant). And Apple is but above that.

I would also want to make sure Apple doesn't accidentally DDoS my service - I mean, if this gets broader use and if the service does not scale well this could be an issue. Or if it scales too well via AWS (doesn't seem the case here), there could be a huge surprise bill coming in.

If I'd use some non-public Apple API without asking them for written permission (or strip content from their site) I bet all hell would break loose.
Does daylight savings kill people?
Well spotted, thanks. I've just fixed that :-)
Banning them from use at any time would not be a great thing in my opinion, but banning them in class is quite normal.

We were never allowed our "dumbphones" in class either though, which made us try to 'sneakily' text. I think students will try this with their smartphones as well.
I am looking forward to watch how this develops. I think small electric vehicles have a huge future to reduce traffic congestions and pollution. With small electric vehicles, I think of all new mobility enabled by the progress with battery technogoly, ranging from e-Bikes, Segways, e-Scooters to whatever else might be invented. E-Scooters look like great devices for the typical short distances in urban regions.
> He may be saying the equivalent of "A computer won't help you to prove that 1+1=3“

But it can. You need to have the computer 'comprehend' the relevant axioms, of course.

If your 'proof' is in fact just arguing the case for new axioms, that isn't a proof at all, it's a misunderstanding of what 'axiom' means. (They're definitions, not profound universal truths.)
No they could already.

It's more an attempt to stop nitpicking and move on with the question.
Civil timekeeping is based on UTC because we want clocks and calendars to remain synchronised with the sun. It's not just astronomers who care about whether the sun is above the horizon. If you think about it, the solar day is the one unit of time that almost everybody cares about and pays attention to. If you screw up the day, you also screw up the week and anything else that is based on counting days. Why would you want to do that?
This is complicated topic - I can confirm that seeing countless dalits/untouchables in India (cca 160 millions), or generally poor people there, they are super friendly, helpful, and will often invite a lost traveler to their homes to share their meal with them.

But - their lives are incredibly hard. No protection from the state, no future, at mercy of anybody more rich than them (=anybody else), it doesn't matter how good you are, you will never be given a fair chance to achieve anything in society. Nobody cares if you live or die, how you suffer, how unfair your life is. There isn't even such a basic mentality that 'I deserve more in life than this', because countless generations before never achieved anything.

And specifically for India, the effin' idiotic caste system makes all others content with the situation, because 'this is how things are supposed to be', 'they accrued bad karma in their previous lives' and so on. It's extremely good that this system is slowly dying, but it will take far too long in my opinion, especially in rural areas.

Their life is reduced to day-to-day survival, which makes everything simpler. They don't have lofty goals for life, and surviving OK yet another day is a success. Is this a simplicity you want to have compared to western style of life? I don't think so.
Congratulations to the French government, very interested to see a follow up research on what benefits/detriments it brought the students.
This is why we can't have nice things. When someone (sure, W3C- anyone) tries
to, you know, design stuff before it's built, everyone whines and complains
about how it's all too "mathy", how the standard is bloated so we shouldn't
have any standards at all, how the standard is not good for "real work", etc
etc. Then, since all those hard-working programmers are, allegedly, too dumb
to get their heads around XML (XML! Oh, the complexity!), RDF and OWL, along
come the big companies and crate their own, de facto standards. So now, if you
want to do work, you have to abide by those standards, whether you like it or
not and you don't even get to influence them, because they're not some open
web committee that you can badger about the quality of their standards, but
closed, walled-up conglomerates that don't care how nice the web is, only that
they can control it.

Not to mention, the end result is a hairball alright, a big pile of tangled up
hacky, ad-hoc APIs, bashed together as fast as possible, "to get things done
quickly".

... and everyone is still using XML anyway.
As others have pointed out (https://news.ycombinator.com/item?id=18038182) the Shortcuts app is a slightly rebranded version of the Workflow app that was acquihired by Apple early 2017. Looks like they launched Shortcuts without vetting their content.
Duh! (Sorry couldn't resist)
You probably would like to have a look at Wikidata that is very similar to Freebase and is gaining a huge community of contributors and data reusers: https://wwww.wikidata.org/
Data structures have been the thing to think about since the dawn of computing.
I would just sniff the UserAgent and replace the images with a miniature version of the graphic and a big "Visit JGuitar.com for the proper experience".
If I don't own the device then why am I paying for it?
Restricting liberties of fundamentally disenfranchised people seems fucked up.
Yes, this.

r/2meirl4meirl
We don't ever definitely know anything. That's why science and bayesian reasoning in general is so useful to begin with ;)

We can be more or less confident about how stuff works though. For instance, thermodynamics is something we are very confident of having gotten right, because there are plenty of ways to test if doesn't work, and those test fail all the time (so far, at least!).

So this article basically says: would it be easier to explain what we see if there were other dimensions? and the answer is it wouldn't, because we'd have to assume that things that we are very confident about (thermodynamics) are not correct, while simultaneously not providing any way to gain confidence in this new hypothesis (that there are new dimensions with different thermodynamic laws).

This might change some day: before spectrography was a thing, all the theories about star composition were non-falsiable either!!
Looks like another overly simple blockchain article. The author lists a bunch of reasons why someone might want to use a private ledger and then dismisses all of them without any argument. Here's a whole bunch of reasons why private ledgers make sense in some context:

- Control read / write - A list of companies in a consortium might like to maintain shared settlement resources but don't trust a single party for consensus. A private ledger offers a genuine improvement in security over other technologies during a breach. I.e. imagine if there are machines being controlled by authorized humans working with contracts on the private ledger. Hacking a few servers there isn't going to compromise the contracts which is really cool.

- Scale better (scrap the distributed part) - Some of the newer ledgers are doing exactly that. When you cut node count it does reduce decentralization but the trade-offs are on a gradient. Again, not necessarily an incorrect choice. Look at something like Ricardian contracts on Corda for settling bank deals. The actual "settlement" isn't done on the ledger at all. All that occurs on Corda is a beautiful way to craft financial contracts that will be easier to audit by regulators. Private ledgers all help with that and would benefit from not using an entire flooding-based p2p network to do it.

- So we can store private data - There are many companies and institutions that need to store private data. One can imagine advertising companies sharing demographics or hospitals sharing medical records. There's nothing novel here about acting as a database. What the author fails to grasp are some of the more subtle aspects of distributed ledgers. Like the more nuanced trust relationships between companies or business requirements (upgrading old technology, sharing the costs, incentivized standardization.)

Caveat: distributed ledgers are not blockchains. But my problem with this article is the blockchain fanaticism mixed with the authors seeming inability to think outside of black and white terms. He dismisses everything about enterprise ledger technology that doesn't fit in his narrow definitions and can't see any of the nuances of using them. The result is a person who fails to understand either public blockchains or private ledgers very well (like most people it seems.)
A lot of proofs at masters level and beyond omit a lot of details because they can easily be checked, but would be tedious to write out explicitly. This means that a 1 page proof would probably actually correspond to 2-3 pages (or more!) if written out with all the details (e.g. with standard but tedious arguments fleshed out properly, and all cases delt with explicitly (rather than resorting to a 'and the other cases follow through similarly' remark)). When written in a proof assistant this would become even longer because natural language allows us to brush a lot details under the carpet because they are understood from context.
With these new GSM smartwatches, wouldn’t it make sense to give a kid a watch rather than a phone? He can initiate and receive calls from there (I’d switch off GPS tracking) but the display is too small to do much else I’m thinking. Sure, there’s a bunch of distracting apps installed, but so did we have on the old Casio calculator watches and that wore off quickly. Has anyone tried this here?
That makes no sense at all.

The fact that schools are state schools does not imply that headteachers cannot set some rules. Especially this new law does allow exceptions which schools can set in their own rules.

The fact that a law was passed means that this will apply to all schools, state and private. It's in fact explicit in the text of the law.
Private schools are also "ruled by law"...
A person who represents themselves has a fool for a lawyer.

A lawyer is a disinterested third party, who ought to know how to initiate negotiations without any emotional attachment.

I know for myself I’d at least want to have a legal expert review anything I indended on sending, as otherwise I may inadvertently shoot myself in the foot.
Inversely, this is counteracted by the logic to not use Git:

https://sqlite.org/whynotgit.html
Creativity is additive as far as money's not involved.
What's the purpose of this? Seems like "I want to build that" to me. So wings would defeat the primary purpose - but once the initial goal is reached, I personally would give it a shot (for the pure fun of doing it and see if that works, too).

Disclaimer: I believe building good wings is not a trivial task; even compared to this awesome rocket.
They're more worried about people ripping the content, not pumping 4k streams to your smartphone.
Clip (Linux distribution managed by the National Cybersecurity Agency of France)
These are not solutions, these are assignments
It took me about 5 minutes and then a few more hours tweaking rules to match what our existing services needed.
HN, sorry for the rant. RDF was such a good idea, especially as human-readable, human-editable turtle.

There was a lot of clunkiness there, in the W3C standard, but, W3C standards are made to be openly debated and revised. Facebook APIs, on the other hand - not so much.
I'm very impressed they integrating with the online grader!
Can we see some source code for this project?
You're saying that this law is useless, then.

Having checked it, it allows exceptions (e.g. teaching purposes or for disabled pupils) which schools are free to decide on and set in their own rules.

The 'issue' of debating schools rules in each school, which isn't an issue at all, is thus not even addressed.
Multiple clouds success story
"For exposure......."

Well they are placing an increased load onto the side and get nice resources for free, not even doing the cheapest form of flattery: attribution. That's happening a million times on the internet each day, where pictures and other copyrighted materials are redistributed without consent or attribution, and it's ridiculous that the currently most valuable company on earth feels the need to be a cheapskate about that, too.

People lost their mind when Google did something like that in their image search, and unlike Apple, they provided attribution and a prime backlink. If Apple likes the service so much, they could just have bought it entirely and it wouldn't even show up in their balance, so proper attribution, and maybe ask the provider if he/she can handle the additional load, or even provide some support to handle the load, would just have been fair, don't you think?
In which sense does this fact make it better ?
Not only weird, but to me this feels a careless attitude...
Grad students are actually more expensive, because they're slower and more likely to mess up than a pro would. However, you still want the grad students to do it.

A successful experimental physicist needs to have a deep feeling for how their experimental apparatuses work, including all the grungy real-world details that theoretical models don't cover.

You get that feeling by building and using the tools, and since the point of being a grad student is to learn how to be a successful experimental physicist, they've got to be the ones who build the tools!
Well, they've been banned "during all teaching activity" since 2010 according to multiple news sites. This new law makes it cover all of the school hours
It's also my understanding the rooting a samsung phone will forever disable samsung pay from working on it ever again.
If a school needs a national law to tell children not to use smartphones in class then I'm thinking that the problem isn't smartphones...
That's what history of 20th century shows us, yes.
Can you point at any examples / elaborations on the subtleties here - almost a "how / why to write your own private blockchain"?

I am interested in esp not using PoW in consensus - what makes consensus??
Some Chinese friends of mine who didn't even entertain the idea of emigration before Xi's rule now began to consider moving to another country. Xi is basically reversing a lot of the reform pioneered by Deng, both in terms of economics (see his policies on bolstering state-owned businesses) and politics, under the false slogan of deepening reform.
> there is even a trick to use it on Linux (not the crappy sphinx/kaldi)

What do you mean? What are you using?
The Return of SharedArrayBuffers and Atomics
He actually seems happy - the decriers just live here in the comments. As usual...
Liberties for kids in school are already pretty restricted. They have to attend classes whether they like them or not, they usually have to follow a dress code whether it suits their personal style or not, a lot of French schools (including the one my son attends) make it difficult for you to bring your own lunch from home so you either go home for lunch every day or are forced to eat in the cafeteria, with limited choices on offer...when it comes to restricting liberties, this is one of many and it seems to me pretty low on the totem pole of essential liberties.
RPCS3 (PS3 Emulator) August 2018 Report
"It is neither explosive nor toxic – the byproducts are a small amount of water vapor and aluminum powder, which can be recycled.".

Well. I think aluminium power is cancerogen if enter human body. I hope the solution prevent alumium to be dumped on air.
That's irrelevant, all mainstream proof assistants are compatible with classical logic.
Imho that's no better. A leap second "smears" the day lengths. Smearing the leap second means introducing changes at some scale, eg. more or less micro- or nanoseconds. Software needs ro be able to cope with this.
The problem with all this is that Google, Facebook, Linkedin et al are private companies, so their knowledge graphs are, well, theirs.

The idea with the semantic web was that it would be open and it would belong to its users, not to some cabal of giant corporations that would use it to control the internets.

That notion of openness and co-authorship of the knowledge on the web is now as dead as the parrot in the Pythons skit. And we're all much the worse for it- see all the debates about privacy and ownership of personal information and, indeed, metadata.
The Good Country
Best health solution in USA
Is there any good data on how much larger sites are today compared to 10 years ago? It would be interesting to actually calculate how this has affected the loading times.
> […] massive performance improvements to many AAA titles, accuracy and performance enhancements to SPU LLVM, support for C++ 2017, laying the foundation for macOS support […]
Yes, as the entire point of this thread is problematic application of data in a political context. The data is violent crime stats. The false interpretation is fear of the native polulation. The native population is not affected by the violence, ergo the fear is misplaced.

That you brought up the murder in the first place is exactly the misuse of statistics I spoke of. About 400 people get murdered every year in Germany, and you bring up exactly the one recent case were the suspects are immigrants.
LineageOS maintainer on OnePlus vs. Pixel smartphones
Where there's a will there's a way.

For a time when I did not have a home internet connection, I was browsing the web on an ancient eInk non-touchscreen Kindle. This was using its absolutely dire 'experimental' browser and the free 3G it had to communicate with Amazon.

Embryonic browsing is already here on Apple Watch: https://www.macrumors.com/how-to/browse-the-internet-watchos...
Apple essentially repackaged this guy's work, used it to enhance their own product in a way that all but eliminates any need to ever visit his website or even know it exists.

Excellent.
Where to find stylesheets for Firefox developer tools themes
MirageOS
I believe the article explicitly steers away from this because nearly all the discourse on this proof has been precisely about this (c.f. remark Scholze that 'The whole discussion surrounding the proof had gotten “too sociological,”').
Isn't this what Google has been doing all along, creating "mini" integrations with all of our websites? I don't see the big difference.
Often the reason is not wanting to introduce new keywords for backwards compatibility reasons. And when keywords are introduced, often they have to be awkward (like `co_await`) to minimize conflicts with existing code. Context-sensitive keywords are one solution but can make parsing even more complicated in places where arbitrary lookahead might be needed.
Your users have a right to know who created the software they are putting on their devices. Apple understands this and rightfully requires your personal information. I don’t think work-arounds exist.
The decentralization of the web is unlikely