skysight-inc/HackerNews huggingface dataset:
Complementing this situation, there are also cases where a proof hinges on a critical corollary or theorem where "no importance, I made another one!" did not or does not come as easily.

One recent example is Corollary 3.12 in Mochizuki's series of papers on Inter-universal Teichmüller Theory. This single corollary is the main topic of "Why abc is is still a conjecture" by Peter Scholze and Jakob Stix:

http://www.kurims.kyoto-u.ac.jp/~motizuki/SS2018-08.pdf

Quoting from the paper:

"We are going to explain where, in our opinion, the suggested proof has a problem, a problem so severe that in our opinion small modifications will not rescue the proof strategy."

An argument can be made that hence, this is no proof at all, and indeed that is the conclusion of the paper. However, mistakes in other suggested proofs were also found in the past, and they could sometimes be salvaged with significant new insights and additional work. An example for this is Andrew Wiles's proof of Fermat's Last Theorem. Quoting from https://en.wikipedia.org/wiki/Wiles%27s_proof_of_Fermat%27s_...:

Wiles states that on the morning of 19 September 1994, he was on the verge of giving up and was almost resigned to accepting that he had failed, and to publishing his work so that others could build on it and find the error. He states that he was having a final look to try and understand the fundamental reasons why his approach could not be made to work, when he had a sudden insight that ...
No stacked decorators, nice.
Discussed last year: https://news.ycombinator.com/item?id=17358103
Can't even mock America over trump.... We have our own now.
The problem with tag omissions is that it requires that the parser have tag-specific information to properly build the AST. You can still do generic parsing with balanced </>.
The FDA Is Moving From Animal Testing To “Organs-On-Chips”
I have to wonder if these stories are written by people who simply hate to type, or aren't good at it. Beyond that I can only chalk it up to academic curiosity.
This definitely counts as mainstream news.
From a legal standpoint :

- the referendum was an advisory, non-binding one.

- the electoral commission has found the Vote Leave campaign in breach of electoral law and referred them to the police.

From a moral one :

- Nearly every single argument the Leave side had put forward has been shown to be a lie.

- Foreign interference.

- Every single opinion poll in the past two years has shown that people had changed their mind and would now vote Remain.
The key word in that line is "obvious".
> The main problem with Russian is that Russia/the USSR have been trying to impose it as a lingua franca in Central and Eastern Europe, and failed. Most people in those countries simply won't accept it.

As a native of that area in Europe and having lived through some of the traces of russification I can confirm I have a strong bias against the Russian language. When I was a kid, Russian and French were the foreign languages they taught in school and after '89, everyone agreed it was best to switch Russian with English or German. Nobody there wants to learn Russian or immigrate to a Russian speaking country.
As Nigel Farage famously put it (when he still thought his side would lose) : "A 52-48 result would be unfinished business by a long way"
I really hope they're successful. This feels like the most important thing in the world in a while. I wish there was something I could do to help, but I don't know how.
But in the last 60 years, simply grab­bing these dissenters by the lapels and fumi­gating them with the stinky garlic breath of paren­the­sized S-expres­sions has not been a winning strategy.If Lisp parti­sans want different results in the next 60 years, we need to try some­thing new.

Given the rapid increase in programmers across the globe, I'd bet on there being more LISP programmers now than at any other time in human history. So why the obsession with popularity?
The implicit assumption in much of the Julia world is that the work being done on the dataset will dwarf the startup time; if your workload takes less than 100ms, it’s probably not worth spending tens of milliseconds on compiling your code in the first place, and you should run it with an interpreter. (Incidentally Julia does support that, but it requires a command-line flag, and can come with a heavy performance penalty if you are running numérica-heavy code)
A vulnerability scanner would be welcome. I would even run something like that on my linux machines.
Maps like this are maps of population density above all. Half the population lives on the labour areas, and many of the Scottish seats are huge and empty.
I have come across cases like this in a couple interviews. What I did was do both. In those cases I often got an either an onsite and/or offer immediately.
What Makes a Nerd? Passion
> which unelected officials

The European Commission. Remember, the Commission gets to propose legislation, the Parliament (which you elect) doesn't.
Anyone manage to get the source doc? Seems it’s behind a paywall.
ROFL. Especially the “a user agent being an agent of the user”. Who said surveillance capitalism has no sense of humor ...?
Giving meaning to whitespace causes so many headaches and yet people still embrace Python, for some reason. I don’t understand it.
You deserve the programmers you're looking for.
Collapses are rare indeed, but they do happen. Cf. the collapse of the Italian School of Algebraic Geometry [1], the cleanup of which took all the efforts of Grothendieck et al.

[1] https://en.wikipedia.org/wiki/Italian_school_of_algebraic_ge...
I meant a 10 cent bottle worth 50 cents refund. Plenty enough to drive a fake bottle industry...
Discussed at the time: https://news.ycombinator.com/item?id=14550060
Skip Sweden.
Some of XML's biggest achievements lie in written documentation formats(DocBook, DITA) where fine-grained markup control is needed and the presentation of the content is secondary to semantic features like footnotes, indexing, etc. These are formats that professional technical writers turn to when Markdown, Word docs or PDF won't quite do the trick.

For a lot of data, XML isn't the right form and buries too much data in hierarchy and tag soups - but it's flexible enough to make it into whatever you want, and since XML was buzzworded and XML libs were some of the easiest things to reach for in the 90's, it got pushed into every role imaginable.
The Brexiteers are very aware that their win was narrow and they will never be given another chance. If it's revoked it will stay dead.
https://en.m.wikipedia.org/wiki/Military_budget_of_the_Unite...
Drudge Report Ditches Longtime Advertising Partner
I keep my YAML CI files as minimal as possible by putting the logic into a Makefile and/or shell scripts and just have the YAML invoke that.
This problem will fix itself soon enough when synthmeat reaches its tipping point. At some point on the price/quality curve, social signal theory will kick in, and it will become unacceptable to kill actual animals for meat.

We'll save a lot of water when that happens, which isn't a bad thing regardless of your position on animal rights.

Civilization isn't a zero-sum game. Everyone, without exception, who has ever claimed otherwise, has been wrong. In order for someone living in the middle of Africa or India to live better, you and I don't have to live worse.
You own an MVNO? That's amazing. I have a few questions regarding setting one up - if you have time, I'd like to ask you over email. My contact info is in my profile.
I once had an interviewer who said my O(N) solution was actually O(2N), so my solution is wrong. There algs interview evaluations are very, very subjective and inconsistent. If places like google actually cared about getting good candidates they would have standardized tests instead.
Agreed. Install SBCL, Quicklisp, Emacs, and bring up Practical Common Lisp in a browser, then start hacking. Roswell doesn't add any real value, in my opinion.
That's the wrong way to think about it, I think.

It's more correct to think of axioms as being preconditions.

We say, "Here is what happens if these things are true", and then specify what happens, but that doesn't deprive us from independently checking whether those conditions are true. Just because something has been proven does not stop it from being an axiom. It's contextural.
Affinity Publisher
No? Especially look at Ireland, which is driving quite a bit of the EU side such as the "backstop"; they're very closely tied to the UK and don't want to go down with it.
Ask HN: Remote repos being used for C2 botnet, or VMS scan?
Observation:
A number of external repos are having malicious looking repositories being created with the pattern ";[6 alphanum]<ScRiPt>[4 alphanum]([4 num])</;[6 alphanum]". For example ";0MhPC1<ScRiPt>r7kK(9626)</;CD4u6"

All appear to be running JFrog Artifactory

The remote repos we have identified are:
http://repo.gradle.org/gradle/repo/
https://repo.datastax.com/dse/
https://maven.openflexo.org/artifactory/openflexo-deps/
https://qasymphony.jfrog.io/qasymphony/repo/

Possible Scenarios:

1 - Someone is running some kind of daily vulnerability scan against these repos. This is inadvertently testing the create repo name field for XSS which is then submitted, creating the repo.

2 - Repos are being created for use as a botnet communication channel - pretty clever in my opinion to use remote repos as a means to bypass internal network restriction.

Any owners able to tell if the creator is distributed?
None of that is true, though. It's taken as the only evidence we currently have. The government is free to dispute it, to disown it, and to publish its own contrary information.

Still waiting.
> At the end of the day skin cancer is a relatively rare, easily treatable disease

Please don't say that. Most skin cancers are indeed treatable (basal cell and squamous cell). But melanoma is not, unless caught early. Yes, there are some better drugs now, but it's far from treatable. I have heard too many stories of people who went to the dermatologist to have a mole checked, and 9 months later they were dead. Melanoma is scary.
Be sure to read the sibling comment from ddragon; it’s not necessary to explicitly write type annotations, that should never increase performance. It only alters when a particular function can be called. The “secret sauce” in Julia is the aggressive type inference that gets run on non-typed code, determining the types (when possible) of your entire program.
It is not quite true. Certain things can indeed be implemented without a local law being passed in parliament. But that is very rarely used, and when used it is for actual important stuff that a lot of people would agree is a good thing.
My argument is that orthodox economics and its application in the West have shown their limits so other ideas cannot be easily dismissed.

Yes, failures of the Soviet Union are known. Totalitarian state murdering its own people, systemic corruption, weak exports and weak consumer goods, and of course, the arms race, made the quality of life in SU fall beyond that in the West significantly.

Not that it proves anything about marxist ideas. In the beginning, marxist ideas were incredibly successful in Soviet Union. Prof. Wolff account of the history of Soviet Union is more informed and more interesting than "millions awful deaths".

Also, in China we have an example of how big socialist state can work economically, those mistakes about consumer goods and exports were fixed.
A talk about rebuilding Racket is being given tomorrow (Monday 19th August) at ICFP'19 (10:30am local Berlin time):

https://icfp19.sigplan.org/details/icfp-2019-papers/1/Rebuil...

This should be live-streamed, with online Q&A:
https://icfp19.sigplan.org/attending/Remote+participation
FWIW, Knuth comments the source of the word somewhere in TAOCP, including showing some proper way to spell it out.
If this is indeed a major source for ingredients for illegal fentanyl reaching the US, why hasn't it been cut off at that point, through diplomatic channels between the US and China?

Edit: This is an entirely sincere question, and seems an obviously relevant followup to the article, and important to US society plagued by opiate abuse. I realize, after downvoting, that my question could be read multiple ways, but I'll leave it as I initially asked it.
The Narrow AI Economy
Definitely not - among other things - for social/political reasons. Russia has occupied central/eastern countries for four decades and most people prefer to be as far away from it culturally as possible.

Even though my parents' generation was all forced to learn Russian, the current generation doesn't learn it. Even if it would be practical.

Also, Russian may be easy to learn, but it won't be easier to understand than my native Polish to my Czech and Slovakian friends. Interslavic on the other hand would be understood relatively easily.

I just read a chapter from the little prince that's on the page, and I understood it almost perfectly with no training in Interslavic, just with my knowledge of Polish language.
Do you have any source for that claim?

Here's a quote for landfill rates: $40/ton. Do the math yourself, plastics aren't heavy. Much cheaper than sending it in a container across the world. Unless somebody is paying at the other end, of course.

http://riverbend.wm.com/landfill-rates/index.jsp
Lua was originally designed as a configuration file format that supported functions. Description: https://www.netbsd.org/~mbalmer/lua/lua_config.pdf

Relative to other languages, it is very easy to embed Lua and it is also easy to cut out Lua’s entire standard library to restrict what the scripts are capable of doing within your program.
CSV is fine for simple cases but has issues with versioning (adding new/optional fields) and nested data like arrays.

The object stream idea is apparently supported widely and seems pretty strong. Thanks for the suggestion!
I mean.. If the people crossing the border at Dover are as slow as the average person passing the British border, then the backlog will be all the way from Dover to Inverness
I’m no geologist, but I’d be rather surprised to hear of a volcano that spits large volumes of material out at thousands of feet per second (delta-V necessary to transition from a lunar orbit to Earth). I would think it’s more likely that if there was a correlation between a large impact on Earth and seismic activity on the moon it would be Earth’s seismic activity that had a larger influence on the moon. Again, not in the field so take this all with salt.
-seattle-seahawks-live-NFL-preseason-201-2/
https://thereadingrush.com/forums/topic/streams-free-minnesota-vikings-vs-seattle-seahawks-city-live-broadcast/

https://thereadingrush.com/forums/topic/reddit-minnesota-vikings-vs-seattle-seahawks-nfl-2019-live-stream-nfl-preseas/

https://thereadingrush.com/forums/topic/reddit-los-angeles-chargers-vs-new-orleans-saints-live-stream-19-aug-2019-3/

https://thereadingrush.com/forums/topic/streams-free-minnesota-vikings-vs-seattle-seahawks-city-live-broadcast-2/

https://thereadingrush.com/forums/topic/streaming-free-seattle-seahawks-vs-minnesota-vikings-live-nfl/

https://thereadingrush.com/forums/topic/live-seahawks-vs-vikings-live-free-facebook/

https://thereadingrush.com/forums/topic/free-seahawks-vs-vikings-live-free-facebook/

https://thereadingrush.com/forums/topic/free-streaming-minnesota-vikings-vs-seattle-seahawks-live-nfl/

https://thereadingrush.com/forums/topic/streaming-free-minnesota-vikings-vs-seattle-seahawks-live-nfl-2/

https://thereadingrush.com/forums/topic/streaming-online-minnesota-vikings-vs-seattle-seahawks-live-nfl/

https://thereadingrush.com/forums/topic/game-free-minnesota-vikings-vs-seattle-seahawks-live-nfl/

https://thereadingrush.com/forums/topic/nfl-tv-minnesota-vikings-vs-seattle-seahawks-live-nfl-preseason-201/

https://thereadingrush.com/forums/topic/nfl-streams-minnesota-vikings-vs-seattle-seahawks-live-nfl-preseason-201-2/

https://thereadingrush.com/forums/topic/game-streams-minnesota-vikings-vs-seattle-seahawks-live-nfl-preseason-2/

https://thereadingrush.com/forums/topic/nfl-stream-vikings-vs-seahawks-live-nfl-preseason-2019/

https://thereadingrush.com/forums/topic/game-streaming-minnesota-vikings-vs-seattle-seahawks-live-nfl-preseason/

http://thebhc.org/week-2-game-live-minnesota-vikings-vs-seattle-seahawks-live-nfl-preseason

http://thebhc.org/livestreams-minnesota-vikings-vs-seattle-seahawks-live-nfl-preseason
If an attacker has write access to your configuration files, isn't all lost already?
Joe Armstrong proposed something similar for Erlang:

http://erlang.org/pipermail/erlang-questions/2011-May/058768...
I did it in 2013. It was an option in settings/privacy and I downloaded a .zip
No man you're hallucinating all those talking heads, articles, multimillion dollar campaigns, and plain logic.The EU secretly doesn't care or even WANTS the UK to leave according to the wise bearded mean of HN.
The thing Interslavic is doing has also been tried before, but the illustrative example isn't Esperanto (which is an ad-hoc mixture of words taken arbitrarily from existing languages and put into a synthetic grammar) but rather Interlingua, which is a kind of streamlined Romance language. It too is more-or-less comprehensible by people who speak any Romance language, and was intended to be used in much the same way. In fact, to quote the creator of Interlingua writing in Interlingua:

Le sol facto que importa (ab le puncto de vista de interlingua mesme) es que
interlingua, gratias a su ambition de reflecter le homogeneitate cultural e ergo
linguistic del occidente, es capace de render servicios tangibile a iste precise
momento del historia del mundo. Il es per su contributiones actual e non per le
promissas de su adherentes que interlingua vole esser judicate.

(Edit: to translate for non-Romance speakers, this means, "The only important fact (from the point of view of Interlingua itself) is that Interlingua, thanks to its goal of reflecting the cultural—and therefore linguistic—homogeneity of the West, is capable of providing tangible services at this precise moment in the history of the world. It is for its actual contributions, and not the promises of its adherents, that Interlingua wishes to be judged.")

It too has met with only limited success: there were some short-lived scientific publications in Interlingua, for example, for the intended audience of all Romance-speaking scientists. Even so, it never attracted much of an audience. That's not to say such a thing could never happen: merely that it's not unreasonable to be pessimistic here.
I wonder if creating content using machine learning is one of the reasons Google has tweaked their algorithm to take into consideration content user engagement (such as time on page). Basically using real human intelligence to avoid ranking fake AI generated content.
- PostgreSQL
I am now wondering what other data is being gathered by other Sublime Text packages. A package that I know and trust could be bought by a shady startup and they could collect whatever they want -- even code from my work!
Code Generators Are Obsolete?
They can't just revoke article 50 to only reenact it later on. A retraction of article 50 would have to be in good faith. A European court came to that conclusion.
> With visualized resumes, the user is sacrificing the ability to provide a more robust list of accomplishments, or perhaps to provide additional details and context for the accomplishments they have listed.

As a mid level developer with 3 years of experience in catalog design / AdobeIndesign, I can fit way more technical content on a PDF than I could on a traditional word doc. I have full control over the font type, kerning, whitespacing, layout, etc. You have to use design to enhance the technical presentation, it should never be the centerpoint. Most design resumes I've seen don't do it right.

I usually use 2 resumes, a ATS friendly parsed one via Google docs and another one pager minimalistic colored PDF.
You made that up!
> This vote is an instruction from the electorate

Since sovereignty is often put forward as a reason to leave the EU do you not see the irony in that statement?

It was an 'advisory referendum' according to the act of parliament that instituted it. Referendums cannot be binding on parliament in the UK, or parliament would not be sovereign any more!

> When the Scottish independence referendum of 2014 happened, they accepted the result to remain and that was that.

Well no they didn't. 'They', meaning the people of Scotland I presume, elected the Scottish National Party to 56 of the 59 seats available to Scottish MPs in the election 2 years later. The SNP actively campaign to leave the UK. Democracy is not an event, it is a process.
The UK does not vote on the PM.
Your editor makes a world of difference here. Since you shouldn't be writing brace-language code without indents anyways, the biggest issue remaining is mixing tabs and spaces. Gedit makes this a big pain with it's default config (it doesn't even auto-indent) but Atom and IDLE handle it well.
That's what I came in here to mention. I mostly write small, personal utilities with a max of 5-10 commands and a few parameters, and I think click's architecture is too strange and complex. Docopt is simple and clear, doesn't do anything more than I need, and leaves me free to architect the rest of the script however seems best. It also works the same in a bunch of languages.

I do concede that click may be better for CLI apps that grow to tens of thousands of LOC and involve multiple full-time developers. I've never built one that big though.

I also worry a bit that docopt doesn't seem to have gotten much attention in a while. It's basically complete, so shouldn't matter, but still.
A mandatory link: https://en.wikipedia.org/wiki/Shibboleth
"I asked about the two most popular fentanyl precursors, NPP and 4-ANPP, but I already knew that my timing was bad. In late 2017, China announced that it would schedule both of them, and Yuancheng immediately stopped selling them. (The law went into effect on February 1, 2018.)"

It seems the major sources were banned, possibly need to schedule the other precursors that are less known if they don't have legitimate uses.
To save others a rapid Google: MVNO is a Mobile Virtual Network Operator.

https://en.wikipedia.org/wiki/Mobile_virtual_network_operato...
I would recommend to ignore Roswell and just install SBCL or CCL from your package manager. For a quick Emacs setup with good defaults, use Spacemacs with the common-lisp layer.

If you have never used Emacs I would just ask the LispWorks guys for an evaluation license. It's the closest thing to experiencing one of those Lisp environments of the 80s (Emacs doesn't come close). You'll be impressed.
Ask HN: Affordable, online university for getting a degree to quit programming?
I'm a 32 years old self-taught programmer who has a strong resume and impressing experience, found jobs all over the world until today easily. But; I don't enjoy building software anymore. I do it just for bringing home money, I got one kid to take care of.

I enjoy reading books and learning a lot, so wouldn't mind working hard to start something new from scratch.

Getting a degree in Business is an option in my mind. I wonder if that would be a multiplier on top of my programming experience. I'm open for suggestions for studying something else, would be open to hear some ideas.

I found out that Arizona State University has a remote program, but it costs about 30k. I can't afford that. It's way above my budget.

Do you know any universities that has an affordable bachelors degree program ?

I live in Europe but it can be everywhere in the world. It'd be great if it's in US, so I can also improve my English along the way :)