skysight-inc/HackerNews huggingface dataset:
Yes, specifying behavior can be tricky. But I think there are ways to make it manageable. And, if you think type annotations, unit tests, property-based testing (as in Quickcheck), or contracts are useful, you are already specifying behavior in ways that can be used for synthesis.

I hope that future versions of Barliman will allow for the programmer to specify arbitrary mixtures of optional type annotations, tests/examples, properties (as in Quickcheck), contracts, etc. All of these specifications would be optional--if the programmer doesn't specify any of these, then Barliman would just act as a code editor. Heuristics such as parsimony (picking the smallest program that meets the specification) might help for ambiguous specifications. And stochastic search or machine learning might help Barliman search for programs that, according to some measure, look like existing Scheme programs, for example.

Since the programmer is filling in the code, while Barliman checks for compatibility and tries to synthesize code in the background, both the synthesis and the specification problems become more tractable as more of the code is filled in by the programmer. Features like "auto repair" (suggested by Matt Might) could take a fully instantiated program that passes some, but not all, tests, and use that program as the basis for synthesis. I think that specification is a challenge, but I think it a tractable problem, as long as you don't insist on fully unambiguous specification, which is a much harder problem.
From this trace it looks like the file jsan_resources/koppel_function_words.txt is missing/empty/invalid.
This is a very thorough and informative post, and there's nothing in it which I would outright disagree with.

I was under the impression that Mao's unorthodox approach to revolution built on peasants rather than the industrial proletariat was and is seen, by the CCP itself, to be vindicated by their accession to power, and that that particular Maoist tenet was never really overturned.

I've never studied Marxism itself in depth, only come into contact with it in studying history, and it seems that you have a more in-depth understanding, but I thought that what Historical Materialism held about the necessity of capitalism as a precursor to communism was that in concentrating property and the means of production in the hands of the bourgeoisie, it oppressed the proletariat, giving them an incentive to revolt if they ever developed class consciousness, and caused conflict between different bourgeois groups (e.g. governments), causing capitalism to be completely unstable and necessarily bringing about its demise.

That is a very different chain of events to a communist government deliberately allowing a capitalist economy to flourish under its aegis. Capitalism leads to exploitation and thus unrest, but the most unwavering ideological pillar of the CCP is that the Party fosters social harmony and that it has an absolute mandate to rule and should not cede power. Deng himself made that clear when he decided to crush the Tiananmen protests, and the modern CCP has not budged on that front either.

Did Marx ever consider what a communist government who came to power before the full development of productive forces should do? Given that the reality Deng found himself in was at odds with the orthodox prediction of historical development, was his dialectical approach actually in line with Marxist orthodoxy?
Cities are crazy efficient economically. Provision of infrastructure and goods is much cheaper in cities. Commuting sucks (and is one of the few clear drags on happiness that persist, unlike becoming a quadriplegic).

Cities are also more productive.

But: cities are financed wrong in most countries. They could easily finance themselves from land value taxes.
I'm amazed at how EMV chip technology which has been in use in my country for over a decade, with chip based transactions being the de-facto mode, became a "disaster" in the US. Banks have started issuing chip-only cards, and several retailers don't use magstripe any more. ATM cards too are chip-based for several years.

This "disaster" in the US appears more like a case of poor education and training than a problem with chip cards themselves.
There is a Pico Risc-V that fits in ~2000 LUTs that can be built for the ice40:
https://github.com/cliffordwolf/picorv32
https://github.com/cliffordwolf/picorv32/blob/master/scripts...
You're getting ahead of yourself a bit. By a billion or two years.

The lifeforms that oxygenated the atmosphere were rather more primitive than trees. Generally cyanobacteria. Technically, yes, plants.
The reason is probably because not all ad-networks support https, and it you can't make the same money on HTTPS-only ads (since fewer networks will bid on it). Putting up an HTTP ad would guarantee now that it is not seen, so sticking back to http makes sense that way.
Tell that to Tesla's autopilot users..
Not true, when I uber into work (my commute is over 1 hr), it's like a dream come true. I can work, I can relax, I can get my life-admin tasks done with, etc. Right now it's completely wasted. When you commute with other people, it's also annoying because you need to socialize when most times I would rather do the above.

If I could get a self-driving car that worked competently, it would certainly make my commute so much more tolerable.
disabling system-wide is pretty much impossible. If OSes added such a toggle, people would start using their own SSL stack and overall security would suffer (because people won't be keeping their SSL stacks up to date)
British Spies Used a URL Shortener to Honeypot Arab Spring Dissidents
All the problems the video talks about[1] boil down to the low pressure environment in the tube.

The video seems to assume that in the Hyperloop tube there is a "space like"
vacuum while in reality the Hyperloop is planned to have a pressure of 100 Pa in the tube.

> To speed things further, air would be pumped from hyperloop tubes down to 100 pascals, or one-thousandth of the air pressure at sea level, reducing wind resistance. The remaining air would be compressed and fed through skis that run the length of the undercarriage to levitate the train. [2]

The tube will have to withstand a pressure of about 1000 Pa which is about 100 kg/m*m. Doesn't sound so wild.
Obviously the pressure will not be constant along the tube and it's not clear where
the 100 Pa apply. In front of the capsule, behind the capsule, far from the capsule?
Maybe for most of the tube the pressure will be much higher?

[1] I could only watch it without sound and closed captions.
Maybe I missed something? Also it's funny how
Youtube sometimes transcribes Hyperloop as hyperbole:-)

[2] http://www.pbs.org/wgbh/nova/next/tech/hyperloop-and-high-sp...
Discovering digital nomadism in South-East Asia
I use Slack, which has RSS-support. I have a channel, which is just for RSS feeds and some other occasional alerts. Works out pretty nicely.
I spend 7% of take home on rent. Used to be about 17%, but now I've moved further out to a nicer area.
OK, here now an inside story(when I still was in school). One day, a close relative came home from work at ECB/EMI, a bit exhausted. This was the day they found out that the winning draft of the banknotes was indeed NOT FICTION but REAL buildings. This caused a little internal scandal, as I remember that a journalists discovered the real buildings in an art book. So the creator of the banknotes had to go back to draft and actually insert fictional buildings, modeled after typical styles of Europe. So at the very beginning of european banknotes, the subject of the OP post would have been the other way round.
List of Rust books
Land rent taxes by themselves won't lower land rents that tenants have to pay. (They are exactly neutral, can't be passed on one way or another.)

But they do allow to lower other taxes, and shift incentives away from NIMBYism that is currently blocking denser developments.
What are some other ways to prevent people from discovering your API endpoints?

One terrible idea I just had was creating only one publicly accessible API and then encrypting the actual endpoint in the payload which the server would decrypt and then redirect.
Funny enough, if tax burdens are shifted from labour and capital to land, land rents will actually increase. (But that's because people will have more net income left to bid up land rents.)
> Similarly, the Soviet Union initially instructed the Chinese Communist Party to cooperate with the KMT in the 1920s, because they believed that full development of productive forces, under a capitalist regime, was a necessary precursor to communism. Not helpful, or merely good to have, but necessary according to Marx's dialectical philosophy.

Yes. The irony of course is that prior to Lenin arriving at the Finland Station and publishing the April Theses, Marxists in Europe, Marxists in Russia, and even the leading cadre of the Bolsheviks expected the same thing in Russia - that Lenin would support the provisional government formed by the February revolution. The Russians advised the Chinese CP not to do what they did. Of course, China had even less of a proletariat than Russia. When the KMT government fled to Taiwan in December 1949, only one ambassador left with them instead of remaining on the mainland - the Soviet Union's.

> Maybe Deng was disingenuous and tried to sneak capitalism in through the back door, or maybe he really did believe what he said. But you can't dismiss his views as being non-Marxist ipso facto, because they are clearly derived from Marx's theory of history and expressed via Marxist concepts.

Right. Lenin wrote a rebuttal to what he called infantile left wing communists in 1920, which was before the NEP when they really started saying capitalism had been restored in Russia. Stalin disbanded the Comintern and spoke of socialism in one country. Khrushchev was called a revisionist by Mao and Hoxha, and he switched a lot of capital production over to production of consumer goods. Actually people were probably right, because that really was the beginning of the end of the Russian (and Eastern European) economy which had been growing like gangbusters prior to that.
> As long as it accepts a Universe or State parameter, a system time function is referentially transparent.

Which begs the question - where do you get that Universe parameter from? Note that getting a single Universe parameter at the beginning of the program is of no use, because then you couldn't query the system date right now. You could only query the system date at the moment the program started.

You can't completely get rid of non-referentially transparent procedures in a general-purpose programming language. What you can do, at most, is banish them to a special sublanguage, like Haskell does.

> the Church-Turing thesis

The Church-Turing thesis is a statement about computable functions, but a procedure that returns the system date clearly doesn't compute a mathematical function.
Wouldn't it be great for you if everyone else moved to dense cities, so there'd be more nature left for you?
Let us also mention the great mitmproxy, an open source equivalent to the Charles proxy: https://github.com/mitmproxy/mitmproxy / https://mitmproxy.org/
I like the bottom-up approach more than the top-down. Begin with a simpler form of a system. Show how abstractions are built on top of it, and allow you to handle increased complexity with a similar cognitive load. That's easy to extend to using someone else's black box code, with the added benefit that when you find the holes in the abstraction, you're equipped to dig into its implementation and find a way around the shortcoming.

Showing people how to build stuff with black boxes builds confidence, until the abstraction fails, or something in the black box doesn't work the way they expected (and they don't have the experience to look inside and figure out the problem). They ask about the problem, and in the short term, the best case scenario is that they're handed some more black box code that fixes their current problem.

It's true that you can't just throw a student in the deep end (forcing them to understand every little detail of a complex, layered system). You'll discourage them. On the other hand, the most discouraging thought I've ever had while working on a project was "I don't know what's wrong, and I don't know how to find out".
You can have multiple nodes broadcasting the same hidden service ID. The name collision this causes will let you use the tor network as a load balancer.
Thoughts on the future of math education
I recommend Permutation City. https://www.amazon.com/Permutation-City-Greg-Egan-ebook/dp/B...
I'll bite. I feel similarly and got the same results.

Welfare subsidizes low wage employers and makes work relatively less valuable. People are people. Presented with opportunity, I believe most people will flourish. Incomes aren't static in healthy markets on an individual basis. "Poor people" somewhat implies that the state of being "poor" is an immutable fact some people's lives, that their circumstances can't change. That's a pretty bleak and naive view of the world. There are many things that rob certain sets of people of the opportunity to flourish. For the most part, welfare probably isn't very efficient at addressing those problems.

Again, why must we categorize people like this. All men ought to be treated equally before the law, no? This is a tenet of Western civilization. So, what does race have to do with abortion? People are people. It doesn't do our society much good to bucket people into groups to make a political point. If I didn't believe human life started at conception, I wouldn't have a problem with abortion. Yet, I do. So, unless I want to start trying to compute the relative value of one person's life to the well-being of another, I choose to draw a clear line. Abortion willfully takes an innocent life. To me, that isn't right. But, if we really must muddle this moral conundrum with race, I'd like to mourn the disproportionate and overwhelming loss of black lives due to aborted pregnancies.

Again with the buckets. I don't feel much differently about homesexuals or transgender people than I do hetero Joe Schmoe. They should share the same rights that we all ought to enjoy. Of course, if a gay cake maker chose to only serve homesexual celebrations, I wouldn't sue him for not serving Mr. Schmoe's wedding. He can simply take his business elsewhere. A positive right for one citizen means compulsion for another. I don't believe it's morally acceptable to coerce someone into doing something against their conscience. I don't care which way the coercion goes and whether one side is more closely aligned with social norms or not.

Please don't confuse Conservativism with bigotry. Overall, we should be charitable to those who disagree with us. We can all learn something from one another when we do. Frankly, I feel your comment was a bit inflammatory, a bit like asking "so, when did you stop beating your wife?" You seem to imply that he's either a bigot or not really Conservative.
You can also change the definition of "shortest" by weighting roads by speed limit. I don't know if the data for that is easy to come by, but you can always use some arbitrary weights to get roughly the same effect.
There are multiple layers of encryption you get for free by using a tor hidden service.
Ad hominem attacks don't say much. I could say 'wacky billionaire claims to revolutionise rail industry in his spare time' but it says nothing about the viability of Hyperloop.
A Stateless React App?
It is now updated.
I must be missing something. Is there any output that we are supposed to be seeing? Plots of the fits or something?
Communism is a form of religion too, IMO. Many fascist leaders have been at the centre of personality cults. When people take on mindsets based on faith rather than evidence, and hold their truth based on feelings rather than facts, they can no longer be reached by reason: they can be capable of great acts and monstrous ones, from unity of purpose and lack of dissent. This is the biggest evil, or our greatest asset in times of great need. Depends on the purpose people are put to when united irrationally. Little to do with God, very much to do with leaders.
Natural semantic metalanguage
More `burnable fuel` doesn't seem to be part of any answers to climatic change though.(haven't read the whole article yet)
Top Housing Communities in Dubai
maybe....

- http://www.hanselman.com/blog/AptGetForWindowsOneGetAndChoco...
Who are you talking about?
No you wouldn't [1]

1. http://www.usdebtclock.org/
Yeah, I have been all-in on CoffeeScript until recently, and significant whitespace is one of its best features for me. It's a DRY issue.
Yes, using templates for common patterns could be helpful. Or even using machine learning over existing code bases to infer such templates.

Similar to the use of templates is Matt Might's suggestion of using Barliman for code repair--given an almost correct definition of a function, and both passing and failing tests, try to massage the code to make it pass all the tests. I think templates could be useful here.

There are many approaches to synthesis, and Barliman's implementation is still very naive. Experiments by Michael Ballantyne and Greg Rosenblatt have shown that some synthesis tasks in miniKanren (used internally by Barliman) can be speed up by factors of thousands to millions (by restricting the grammar and using a type system, or by performing program specialization on the relational Scheme interpreter, as in the Mercury compiler). Alas, since synthesis is inherently exponential in terms of program size, a speedup of a million means that you can synthesize only a slightly larger expression. And the techniques Michael and Greg have used don't work for all problems, and can reduce the generality of the programs that can be synthesized.

Still, given how many synthesis techinques, tricks, and optimizations that we haven't tried, I'm optimistic that Barliman's synthesis can be improved enough to be practical for at least some uses. What those uses are, I'm not sure.
Are Technica,
Mac Rumors,
Macworld,
MacStories,

MIT News,
MIT Technology Review,

What If? (by Randall Munroe),
Symmetry Magazine,
Bret Victor’s "Worry Dream"
Yes. Run the tests in the REPL. Call (analysis) to only invoke the fits and get the timings, or call (display-sketch) and then (reset! all-data (analysis)) to see the plots. It is only done like that in these examples; for actual work, you are free to use any meaning combination of functions that you like.
The age and number of the pipes. It's easy to underestimate the scale of the problem. There's been a replacement process going on in London to replace ancient cast iron and wooden box piping on the mains supply for the past few years. That's mostly Victorian and earlier installations, but there isn't anything like a full inventory of where they are, and sometimes what they find is that the original pipe has completely disintegrated: the water is just flowing through the void in the clay.

I do know of one case (not in London) where complaints about the quality of a house's water led to the discovery that it was, via a somewhat convoluted plumbing route, still drawing water from the nearby river via Roman pipework.

If you can find a leak, stopping it is usually straightforward, but on a colossal, heterogeneous and patchily documented pipe network like the UK's, the best you can do is patch it up as you go along.
As an atheist, why should I feel bad because someone else also lacked a belief in any particular religion? There's no atheist text to follow, no atheist moral guidelines. It's just an absence of belief in religion - there's no shared base there.

Similarly, Stalin, Mao, and Pol Pot weren't working off some sort of atheist guidebook; atheism was incidental to their 'religion', which was communism. They didn't spread atheism for atheism's sake, they oppressed religious powers because they were competitors for power.

And as the OP said, Christianity today is still used to persecute and oppress. Catholicism still covers up paedophile priests. There are states in the US where an atheist is barred from holding office. Fake 'faith healers' continuously bilk people out of their money. Some flavours of the faith don't allow women to be priests.

Yes, there are abusive atheists in modern western democracies, but those atheists are not saying things like "women can't hold positions of power" or "ain't no paedophiles here" or similar to protect their atheism.

You're tired of feeling bad because of the dark corners of your religion? I'm tired of the canard of Stalin/Mao/Pot.
He told me: for your first gig, fake or optimize your CV as much as needed(I know this was not ethical but it was better than robbing a bank or being broke). Then, go to Xing (the German Linkedin, which is a gold mine if you know where the Freelancer group is). Then if someone picks you, learn and study as if the devil was behind you. So I did, applied for a lot of Linux administrator jobs, had interviews and it took me about 7 days to get hired by the first company for a long term admin-contract (I already knew my way around Linux, but had no enterprise experience). After a few months, this guy started his own contracting company and instantly got me a job. Nowadays, I am best friends with the guy who introduced me and even the poor guy who recruited me for the first job (I told him my lies later, which did not change his opinion that I had been a good pick for the customer). Nowadays, I keep it all real. My experience and field of work is good enough to be able to tell I had been a car salesman before. But to get good jobs in Germany or Switzerland, use Xing, freelancermap or to a lesser extend, use Linkedin. And know exactly what you want to offer.
Thanks for your kindly and thoughtful reply.

I'm glad you learned through your experiences and it's nice of you to want to share what you can.

Regarding "Skynet" and automation at Amazon, I think this is fertile ground for metaphor and for science fiction parable. Some great works of imagination have been created in this vein already. So, I'm onboard with that, personally. I get lost at calling Obama an AI of some kind or Romney a time traveler, but I understand you were joking in a way. I just didn't get the joke, but that's probably on me.

4 years of interacting with several humans a day in one-time or small groups in a fairly closed, intimate environments will almost certainly lead to interesting stories. And to many, many opportunities to demonstrate compassion and care. So, I believe that, certainly. I am skeptical about the stories you described of holding people's heads in just such a way so as to relieve pressure and bring emotional balance in the same way that I am skeptical about ads that proclaim a simple pill can grow the size of a man's genitals or that "one weird trick" causes dramatic and rapid weight loss. But, as I said, that skepticism is part of my questioning and curious nature, so it's nothing personal or specific and I hope it didn't come across as such. (By the way... I may well have missed it, but do you have a more detailed description of this technique and some knowledge or theories on the pathways by which it works? If this works, it should be taught and popularized!)

Thanks again for your reply and I wish you well. It's great that you take a compassionate point of view and apparently try to help people whenever possible. I wouldn't want my questions here to take anything away from that general principle.
* Matt Matt -> Matt Might. Getting a little sleepy! ;)
i wrote own reader :) https://github.com/truerss/truerss
Surely you can link me the best studies?
Lumen: Auto brightness based on screen contents