skysight-inc/HackerNews huggingface dataset:
FYI, macOS also runs under VMware Workstation / VMware Player (free for personal use), provided you patch the binary to allow it [1].

[1] https://github.com/DrDonk/unlocker
If you want an expert's opinion, I have a PhD in theoretical computer science. I'm not familiar with pi calculus, but parallel models of Turing machines can be fully simulated by standard Turing machines by just simulating a time step on each machine before moving on to the next time step.
What the electron’s near-perfect roundness means for new physics
Fanged Noumena
Uniformity, which is a really good thing. Surely you could say
(class-of 3) or (class-of nil) or (class-of '(1 2 3))
but technically these values are not objects, like it is in, say, Scala, which is a real-world example of how good it is to have a uniform language (everything is an expression, every value is an instance of a class, and therefore everything is uniformly high-order, uniformly typed (unlike Java with distinctions of so-called primitive types) etc, etc.
It's probably easier to give an example of a number that I can't represent symbolically. However, I can't give you a specific example, since if I uniquely define a number then that definition is itself a symbolic representation of that number. But here is an example: a uniformly random real number on [0, 1]. Or, computationally speaking, uniformly sample an infinite number of Bernoulli random variables, and write down the binary representation. Of course, this process takes infinite time, which suggests that they are not representable.

For a proof, consider the fact that every representable number, by definition (I know I haven't given a formal definition), is represented by some finite string. But the number of finite strings is countable. So it must be a measure zero subset of [0, 1], so a random sample is representable with probability zero.
Good. The idea that you could know what hardware would be required before successfully getting all that hardware to actually do the thing was always a bit laughable.
Ask HN: Learning CS theory from preprints
A standard CS undergraduate curriculum teaches core subjects like computer architecture and networking. With the bevy of freely available CS preprints on such topics on sites like arXiv.org would it be possible for a highly motivated individual to learn the theory just from preprints? I’m wondering the same for the field of math, economics, or any other technical field. I haven’t read that many papers but my intuition is that the background section often attempts (sometimes effectively, othertimes not so much) provide the context and vocabulary needed to understand the core theoritical aspects of the paper.

As an example to flesh out my question, for say the topic computer architecture - can we stitch together enough preprints (given the corpus of whats available on arXiv - not sure if they have all the important CS papers) so that if they go through them they could learn everything theoritical that is learned in an undergraduate or graduate computer architecture course.
perhaps for clarity write that as

newtype Real = Supremum {
isGreaterThan :: Rational -> Bool
}

sqrt2 :: Real
sqrt2 = Supremum (\r -> r * r < 2)
this is really deeply fascinating!
When to consider a blockchain analyzed without the hype
From the third paragraph of the article: Another such oral history surrounds the Klamath people of Oregon, in the western U.S.
It's not emacs, but you might like this: https://www.vimgolf.com/
Local food delicacies are a major industry in Japan due to the formalized culture of travel souvenirs, and it's pretty much guaranteed that anything that could conceivably be promoted as one, already is.
I agree in general about castle doctrine, BTW. The laws aren’t always clear in their scope around when, where, and how you can defend yourself and if they are even constitutional. Inside of your home seems like an obvious place you don’t have to retreat.
The American system (& Japanese?) where schools are mostly funded by local taxes is a root cause of inequality, poverty and unfairness in the USA.

Schools in Europe and Australia are funded by centralized government more evenly so doesn't have this problem and dont need this donate to a region system the article talks about. I think its much fairer.
I'm specifically asking about joe_the_user's definition of output as being a physical object rather than a number.
If it was just heat, it wouldn't be as bad. But a good chunk of the "South" in the US is swampland. And that means 95-100% humidity.

That means that when you sweat, it doesn't evaporate. And it doesnt make you cooler. And the sweat then warms up to the air/body temperature, and further blankets you in hot... And you sweat more.

Some scarier numbers, mammals die without shelter in around 8 hours if the temp is 35°C (95 °F) in saturated (100% humidity) air.
Are there any arguments in favor of "a noncountable subset of real numbers are physically realizable" ? That seems obviously false to me. The "debate" is one-sided; anyone who considers the problem comes to the same conclusion.
> The big problem is that people see and remember companies like Toys R US and Guitar Center that would be JUST FINE if companies like Bain capital hadn't loaded them with debt to pile in tax writeoffs.

Except that their strategy had nothing to do with tax write offs.

In theory what they were doing is borrowing money to buy an ailing company and turn it around, and as long as they succeeded they could have serviced the debt.

What they actually did was fail to turn the company around while charging it hundreds of millions in consulting fees, until it finally collapsed.

The way things were set up, if they succeeded in turning the company around, they would get the profit in excess of the interest. If they failed, they still get all their consulting fees and the lenders are stuck trying to recover their loan principal in bankruptcy.

That situation creates terrible incentives. Either they can be lazy and just collect consulting fees for doing nothing, or they can take big risks with house money and cash in if it pays off or walk away if it doesn't. The people who lent them the money were nuts. They would have been better off buying the company for themselves.
> Thomas Ptacek (the guy whose blog post you've linked) agrees with Thomas Ptacek (tptacek, the guy whose sub-thread you're replying to)? Not exactly a revelation.

Lol, I didn't read the username.

> So, that post is wrong and explicitly won't be fixed, you should not rely on the "facts" in it unless you want to get laughed at.

I haven't analyzed everything in that blog post. However, the case it makes against DANE I think is convincing. I linked to that blog post since it was the one that made me realized that DANE was a bad idea when I was briefly a DANE enthusiast a few years ago.

> Your mention of Comodo suggests you're badly confused.

I accidentally slipped and used the wrong CA - I think "badly confused" is a bit strong for a slip of the tounge.

> Don't put new things in .com unless you're comfortable with for-profit companies screwing you over whenever it suits them.

It sound like you are also arguing that DANE is a bad idea.

> DNSSEC can't make that worse, it's already terrible.

I don't think I said anything to the contrary.

I'm real confused by the aggressive tone - it seems like you agree with everything of substance I wrote and the things you don't agree with are things that I didn't actually say.
Considering the ups and downs of the Japanese economy this can also be seen as a subsidy to boost consumption and economic activity.
Because of the delays in getting the next issue out, Nautilus suspended new print subscription sales until we got back on track with the printing. The print subscriptions will be back on sale in November.
From what I have seen, this is one of the major problems that the GOV.UK / GDS service model has thus far failed to address.

The advice is "keep the team around for each service indefinitely". Unfortunately this doesn't mesh well with either government technology funding models or the demand for increasing numbers of services.
Apple is only a couple of Bad iPhone designs away from being irrelevant. Everything you are saying is from a shareholder perspective, Apple does not have a monopoly like Google does. So what if they have a lot of money? Wait for a downturn and all the Apple investors who've been getting dividends DON'T get a dividend for once, it wont be pretty. Google on the other hand doesn't have as much money and isn't as "valuable" on paper only. The reality is far different. Google has infinite money but not as much money in the bank right now. Apple makes iPhone and is irrelevant outside of making iPhones. If some other companies phone becomes the "iPhone" then Apple is dead.
Is large is a key phrase here. I am seeing many times now that teams build more services then they have members. This only pushes separation of concern into the network layer when it could just as well be in a module or class level.

You can tightly couple services too, you know. I would say it is a good option to have but suffers a bit from too much popularity right now. People are using it for its own sake.
FTC hearings on tech companies included economists who take money from them
I would argue we do need a real DNS replacement. The stupid 512 byte limit has been a scapegoat to prevent new important features from being implemented forever, and the stateless nature has been abused by bad actors. We want and need something like QUIC, and a more sane way to adopt changes to features.

The obsession with backwards compatibility is crazy. Imagine if we took real physical infrastructure in the world and insisted we continue to build it only in a way compatible with technology from the 1800's. We live in a modern world, where firmware upgrade doesn't require a UV light source, and where we can probably get two or three companies to push for the rapid adoption of new industry standard formats - just looked what happened to enable tech like Ethernet to become a defacto standard.
Tax redistribution inside nations or in nation unions (like the EU) is pretty much an investment. It generally generates more money than spent on it.

E.g. Germany is the largest net contributor to the EU, but guess what would happen if Germany decided to stop putting out those few billions a year. Yeah, not so good for the economy (not just of Germany, pretty much everyone). Turns out, those few billions spurred trade much greater than that. It's literally "one stick, alone, weak — many sticks, together, stronk". Just that the bundle is stronger than its constituents.

(I've heard the UK is working earnestly on an experiment confirming this.)
Classic case of "Tax Systems are Really Hard to Design" in action.
Python lists tutorial
Neural Importance Sampling
Let's ignore the fact that If people rush into these other assets like you claim, it would impact their price and return profile. The key question is which chunks of the monetary system "go away." Are those chunks a net benefit for society in the first place or simply a tax deferment/avoidance vehicle for the rich?

Take the recent corporate tax cut, which made companies flush with cash. Companies could invest that in 4 main buckets: pay down debt, invest in growth (r&d or acquisitions), pay out bonuses to workers or buy back stock/declare dividends.

Let's say the company has 1,000 employees and gets $1 million in new cash flow from the tax cut. They have little debt and no direct acquisition targets so they are now deciding between giving all employees a $1,000 bonus or buying back $1 million worth of stock.

Since bonuses are taxes at regular income rate and dividends/capital gains are taxed at 15%, the tax efficient way to put that money to use is through buybacks or dividends. The people making the decision are likely executives with high salaries (income tax rates) and large stock portfolios. They will only pay 15% tax on those dividends compared to the bonus option where they would likely pay at the highest income bracket.

Who gets the short end of this dynamic? Workers who helped create that revenue, but can't afford to buy enough stock to get $1,000 of benefits. The tax code has disincentived the company from rewarding its employees in favor of rewarding its investors. Again, people who are already wealthy tend to be the investors rather than those who typically labor for their income.
You definitely have to be a conspiracy theorist to buy any of the myriad contemporary Atlantis myths and the veracity of Plato's claims. The history podcast Our Fake History has an excellent three episode arc about Atlantis, including Plato's account.

https://ourfakehistory.com/index.php/season-2/

The upshot is that his account does not match up with any real world location, unless you are willing to engage in cherry-picking and an extremely generous interpretation of various things, and there is no credible explain of how he alone could have gained such detailed knowledge of a civilisation that existed thousands of years before his birth. One which no other historical writer mentioned.

In reality, Plato's description of "Atlantis" was considered as plainly allegorical by his contemporaries and subsequent scholars. A situation that continued for hundreds of years, and only began to change in the relatively recent past, with the rise of pseudo-history and conspiracy theorists.
I typed in many a BASIC program from '99er magazine, Family Computing, Compute!, and the like that used the mode you speak of, redefining characters to be shapes of the needed sort. This was used in the program I typed in for this blog post last year: http://www.bytecellar.com/2017/10/03/a-program-from-a-35-yea...
Agree, a big turn off. The whole "interior is ground breaking because it isn't focused around a human driver" made me cringe so hard.

The car is good enough to stand on its own.
You don't have to believe, let's look at facts. Do you have any examples of what you're describing? Meanwhile in our lifetimes we've seen Amazon, Facebook, Twitter, Stripe, Atlassian, Uber, Airbnb, and dozens more create massive value, and that's just in the software/tech industry.
Default Alive or Default Dead? (2015)
In one sense, you're absolutely right. It's a Korean-owned company and therefore obviously in no way American.

In another sense, the ownership of Samsung is irrelevant. The actual phones have roughly the same level of US-origin content and US-local labor as those phones famously labeled "Designed by Apple in California".
Gotchas: Searching across Redis keys
Most of the time, pallets are free for the taking if you just ask. Whitewood pallets are mostly not returnable, and businesses get stacks and stacks of the things with deliveries. The lumber in a pallet costs on the order of $10-$20 if you were buying it retail.

My father-in-law built an entire horse barn out of pallets and shipping crates that were thrown away from his job.
Industries That Use Predictive Analytics and Its TransformationOver Time
Also humidity. I air dry clothing (indoors and outdoors) regularly in SoCal. When I lived in Georgia, however, it was a crap shoot wether or not the clothes would be dry at the end of a work day
> Schools in Europe and Australia are funded by centralized government

This has the other problem that in Europe, governments write all the education program to the letter and this leads to complete brainwashing of the kids or silly educational policies (like completely changing how kids learn how to read, which led to about half a generation of kids with very poor reading/orthographic skills in France just to name one disaster), so pick your own poison.
Machine Learning, AI, and What They Can Do to/for the Work of Economists
Not big enought ... and "only" plants
The presence of lengua castellana instead of lengua española in the title is exactly GP's point. Remember that Castile and Aragon only just entered personal union at the time! Prior to Spanish unification, Castilian and Aragonese were seen as different from each other as modern people see Spanish and Portuguese (and Aragonese is just as different from Castilian as Portuguese is).

In addition to Castilian and Aragonese, you also had, among others, the Galician language, the Asturian and Leonese languages, and of course in the once-Muslim lands not only Ladino but also Mozarabic (which parallels Ladino in a few ways: Ladino is a close relative of Castilian spoken by Jews in Muslim lands, while Mozarabic is a close relative of Aragonese spoken by Christians in Muslim lands).
This is not correct. Half of all K-12 funding comes from state and federal sources, which are disproportionately directed to schools in lower income districts. There was a WaPo article a few years ago showing that, if all funding sources are accounted for, most states show little difference between funding for rich and poor districts, and many show poor districts are better funded.
Or more simply, a reduction in the amount paid in the first few tax brackets. That is a tax decrease that would benefit everyone but proportionally benefit more those to whom the upper tax margins are irrelevant.
Should list some concrete implementations. For example I think AWS AppSync with AWS Lambda is exactly this architecture as a service.
5 Success Stories in Enterprise Software Development
Kinda sounds like we've been co-workers.
China to launch lunar lighting in outer space
I once dried something outside. It ended up being in half shade half sun. When I checked on it a couple hours later, there was a distinct fading line where the sun/shade line had travelled. The sun side was completely faded.
https://smile.amazon.com/Thirty-Million-Words-Building-Child...
This seems like generally good advice, except for having to spend every waking moment using your brain for work. Balance is important. Spending some of that free time on learning engineering is good advice, just not all of it. Make sure you spend some free time with friends/family, physical activities, and relaxation.
>I always wondered how "inshallah" became "ojalá". The 'j' sound in 'ojala' is the same as in 'pájaro' which in Ladino-as the article points out--is "pasharo" thus supplying the explanation.

You might enjoy, as I did, this explanation of why X is the unknown quantity in Algebra: another case where "sh" got marked as 'x' which is pronounced the same as 'j'. https://www.ted.com/talks/terry_moore_why_is_x_the_unknown

It's a bit of a just-so-story without much in the way of evidence though though, so there's a rebuttal here https://gizmodo.com/why-we-use-x-as-the-unknown-in-math-1657...
Yes, you are free to choose the school district for your children. It just so happens that many of the better ones are HOA-encumbered, and it's HOAs where you find these overbearing rules that supposedly help protect the value of your home, or something.
And English manky.
I clicked because of the camel. Super cool project! DNS has always been one of those black box layers to me. This looks like a great resource for learning just a little, or going all the way down the rabbit hole.
This strikes me another aggressive price discrimination move. The RWD Long Range 3 has been out the longest, so there should be 0 'pent up demand' for it. By getting rid of the RWD LR option and pushing all LR buyers into the AWD version (and Performance), they squeeze extra money out of buyers at the top end (assuming the profit margin is the same or higher on AWD models).

Then, they bring in this new mid-range model to try to shave off a few more short-range (SR) holdouts and push them into a more expensive model; maybe you weren't willing to pay $9k for the bigger battery (plus $5k for premium) but you can be talked into $5k for a bigger battery (plus $5k for premium, I presume).

It's also interesting how often they've changed the price on the AWD model; it's jumped up and down a thousand a bunch of times. There's no reason this couldn't be replicated by a manufacturer with a traditional dealer model, except the dealers would tend to be annoyed at having on-lot inventory that fluctuates in 'value', although I think traditionally dealers don't actually pay for their inventory until it sells, regardless. And obviously price messaging is harder in a dealership model.

The $35k Model 3 was always going to be the hardest to produce profitably; we're either not there yet, or Tesla sees no reason to produce the lowest profit margin vehicle until they absolutely have to. The backlog of US orders must be low enough that they may as well squeeze the remaining holdouts -- although the demand certainly doesn't seem to be tailing off too quickly.
"Bribe" is way too loaded, you could also call it social justice and redistribution, a way to give poorer areas better chances to improve their life. Saying that redistribution is bribery is about the same level of discourse as saying that taxes are theft and prison kidnapping.
Model 3 interior eerily reminds me of the Twingo I interior. (Though, to be fair, Renault actually had mostly working QA).
Seems plausible. 1000mi of mostly rural interstate highways (how NJ gets its goods from points west), plus nuclear weapons development, testing, and disposal are popular enough with the NM locals, as are anti-poverty programs, but yank the federal funding, and the locals would be far less friendly to NJ telling NM to supply or pay for these things on its own.
Has the lack of interactive transactions and only supporting entirely deterministic transactions been a big issue for your customers?

My understanding is you're essentially shipping a "stored procedure" to the database where every input and condition is known up-front.

It seems like a reasonable trade-off for lowering the latency of WAN transactions, but it might make application development more complicated.
u32 is a type that implements Copy, it doesn't get moved. You'd have to wrap it in a Box or something to show move semantics.
and of course, modern 'history' is also suffused with, uh, spin. Classic recent example : the profound differences in Cold War history as told by each 'side'

I can also think of a concrete example from when I was in middle school : Shay's Rebellion was presented in history class in a completely different light to the way I've come to understand it from independent reading [i.e., in school we learned that Shay's guys were rogues as opposed to folks [generally Rev. War vets] unjustly dispossessed by (among other economic factors) ill effects of speculative investment in government assets and misguided fiscal + tax policy]
Database of paper aeroplanes with easy to follow folding instructions
That center console is designed around self driving. If they had planned on the car being human driver for its entire lifecycle from the beginning, they would have put in a regular instrument cluster or a heads up display.

There's no other reason to put all the vehicle information so far away from the center other than planning on eventually phasing out human drivers.

Edit: to be clear, I believe that Tesla was way too optimistic on when self driving would be available, and that over reliance on the center console is a bad design.
> touchy about the cancer thing

Wow. That is technically a valid English phrase. What boggles the mind is that someone could be so out of touch with societal norms and basic human decency that they would actually use it.
> treats the spec a bit like a sacred text,

This is not necessarily bad, especially in the context of education. It is well known for ages that a bit of mystery and sacredness makes rather boring moral education much more emotionally charged.

There are no active Common Lisp based courses, as far as I know, the last one was that one of the Alegro team, but it was rather an attempt of promotion and has been done without "religious vigor" unlike the famous CS61A by prof. Brian Harvey, which could be viewed as almost sectarian, especially the very first version from 2008. Similar course could be easily made based on Common Lisp, which includes more advanced concepts in CLOS.

At least some zeal is good for education. CS61A and the original SICP course by the Wizards are good and still relevant examples.
But not good enough to drive on it’s own