skysight-inc/HackerNews huggingface dataset:
Synthetic Protein Research Needs More Funding
SpaceX blasts off cargo using recycled spaceship
@codnee Are there possibilities for part-time job? Or just full-time for now?
Clojure Linear Algebra Refresher: 1 – Vector Spaces
Android Security Rewards Program Rules
Forget far-right populism – crypto-anarchists are the new masters
>I think most people know what they are getting into but now they have the opportunity to drive a new car they would never have been able to afford otherwise any concerns are put to the back of their mind.

You can't make this argument when people have a commission based incentive to sell cars.

As demonstrated in the article, even MBA students have trouble choosing the cheapest mortgage.

Having a mixed structure like this, its no wonder that the author calls for

> What auto finance needs — what most consumer finance needs — is for key information to be made simple and salient. Competition cannot work if consumers struggle to understand what they’re being sold and what it will cost. The car market’s heady mix of prestige products and bewildering finance will resist efforts at reform.

And finally, its not a secret that most consumers don't know what they are getting into, or what their rights and recourses are.
A History of Western Philosophy by Bertrand Russell
It will take many years before they can do that. First because they haven't provided an alternative yet (javascript is used to create addins, not for users to create scripts or make new functions available). Second because you have millions of business processes that rely on VBA. So as far as I can tell the transition hasn't even started.
It is full of interesting tidbits and quotations, but this one stands out:

Later, Merkel interpreted Putin’s behavior. “I understand why he has to do this—to prove he’s a man,” she told a group of reporters. “He’s afraid of his own weakness. Russia has nothing, no successful politics or economy. All they have is this.”

Savage.
http://blog.storj.io/post/160772112083/leadership-update-fro...
It's a metaphor he also puts to good use in his later book, the Righteous Mind. It's useful to seeing through your own righteousness and recognizing patterns in others. I enjoyed that one too, but it didn't have the same life impact as the Happiness Hypothesis.
You are mostly accurate wrt. the "financial" situation of Scala.js. Except that the Scala Center has an explicit Recommendation to "ensure the continuity of Scala.js" [1]. At least that means that, should I (the Ph.D. student doing Scala.js right now) stop working on it, the Scala Center has a mission to ensure someone keeps working on it. As with all Scala Center Recommendations, this is not a guarantee. But given the popularity of Scala.js within the Scala eco-system, I am confident that solutions will be found! Read more about the Scala Center and how it works at [2]

[1] https://github.com/scalacenter/advisoryboard/blob/master/min...
[2] https://scala.epfl.ch/
Clearly you don't understand the mentality of developing countries. Do you think they are socialist utopia?

I am from India. And the main sentiments for people having more children were - high infant mortality (not knowing who will live to be old, which is still high for India but falling fast), more hands mean more money in home (less people to hire in the farm).

The "more hands mean more money" is exactly what market economy gets you, not a centrally planned communist economy. But with rising standard of living and cost of raising a child, people are moving away from the old mentality.
What I meant by "bribe" (notice the quotes), was that it isn't illegal to buy influence.
In UK it's normal to do a "standing order" which you set up either at the bank counter or more usually through your online banking. Other methods have transaction charges whilst this does not, you can do one-time transfers this way too.
They don't seem be on Chrome roadmap. We'll all grow full beards by the time DOM and GC become available.
https://wasmdash.appspot.com
Thanks so much, this is now on my todo list :)

I found someone uploaded all of the videos to YouTube!

Unfortunately I don't have the disk space to download them at this exact moment (been saving for several months for a couple new disks, not quite there yet) so I've base64-encoded the following YouTube playlist URL to heighten the chances the videos stay up til I can grab them (both to archive them and also because I download videos to watch them - old computer).

data:text/plain;base64,aHR0cHM6Ly93d3cueW91dHViZS5jb20vcGxheWxpc3Q/bGlzdD1QTFcxcDdMZkhNTW5ERVQxcjh2Ymo4a1FENHNndXM1dnFZCg==

I also found https://www.youtube.com/channel/UCojOYrwehhFpaJfYG3DziHA/vid..., which has some related videos (that I think were placed on YouTube explicitly).
And for a counterpoint that it's still the case that compilers can produce horrible codegen from intrinsics in 2017, this entire thread: http://www.realworldtech.com/forum/?threadid=166719
Most programming languages are context-sensitive [1] (at least with unbounded nesting), so parsing them correctly and efficiently is mathematically impossible. All practical implementations have to take shortcuts.

[1] Mainly due to begin..end blocks, curly braces or indentation (as in Python)
> What's the distinction, in precise language?

Good question. I was using the language according to this definition:

"A speculative investment is one with a high degree of risk where the focus of the purchaser is on price fluctuations. The investor buys the tradable good (financial instrument) in an attempt to profit from market value changes."

https://marketbusinessnews.com/financial-glossary/speculativ...
Dolphin Emulator Progress Report
Lightning bolts seems like the best thing to use. They're scary and deadly.
To be fair, it's not too enlightening to learn from fictional evidence.
Nope, all the coins have already been created (and I got some!!!). You will however be able to buy them on an exchange soon: https://blog.iota.org/exchange-launch-2d38c654349a
There is: https://github.com/hackerkid/Mind-Expanding-Books
The upside of irrationality. Ariely

Germs guns and steel. Jared Diamond

Influence, the psychology of persuasion. Cialdini

Justice: what's the right thing to do. Sandel

QED. Fyenman

All of Feynman lectures on physics

The hard thing about hard things. Horowitz

Al muqqadimah. Ibn khaldun
Reductionism
Thanks! You know, if it comes to that, Scala.js community is a passionate bunch, we could probably crowdfund it :)
Can writing about pain make you heal faster?
"attaches a cryptographic signature to pointer values"

I guess everyone who thought that "signed integers" are cryptographically signed weren't THAT wrong after all :D
GC support can hardly be on Chrome's roadmap when the design of the spec has hardly anything more than "we want to have it, and here are some vague goals".

So yes, we'll grow beards, but it will happen. Remember though that wasm as whole happened in only a few years!
Is it really necessary to read it cover to cover? A lot of it seems quite drawn out, and there seems to be a lot of overlap, particularly between the four gospels of the New Testament (Matthew, Mark, Luke and John).
Maybe, logical thinking.
But, as he wrote, momentum would lead to even bigger problems.
Same here. For one it's full of inconsistencies and even if it all were true, I would not want to believe in such a neurotic, angry god.
"The Family and Medical Leave Act of 1993 (FMLA) is a United States federal law requiring covered employers to provide employees with job-protected and unpaid leave for qualified medical and family reasons." (Wikipedia via Google)
I am generally a fan of cloud, but it's important to understand what it replaces:

- Purchasing the kit and waiting for delivery. Probably a few weeks BUT that's a few weeks of no extra work on your part, just waiting. You still need to fill in the PO, get it signed off by your CTO, whatever

- Racking and powering. Except on the biggest jobs, 1-2 days for a DC team of physical labour.

- Installing an OS and software. These days, a few hours, PXE boot then let CFEngine or whatever do it

For everything else, you still need someone to either do it or take responsibility for it being done and verified and documented and reviewed to see if it's still the right solution and so on and so on. As I always say "if you don't have a DBA then YOU are the DBA".

Incidentally "you don't need a DBA anymore" was also the pitch of MongoDB et al... Careful devs, one day it will be your turn :-)
Sure, no doubt that tech and a strict control on production and ingredients is needed, just like any industrial product, and evidently they are very good at both, I was just referring to the "just looking at mozzarella" part.
A large number of cheeses called mozzarella on the market are very different from mozzarella and most shouldn't be even called so.
How long is your morning?! :)
The last one (ice storage air conditioning) is going to be a huge one. It doesn't depend on cycling some useless process (like moving water/rocks/air/electrons in and out of some potential gradient) -- rather, it uses a process that already needs to happen (air conditioning and chilling) and runs it at a higher efficiency and a lower price, by using cheaper night electricity and colder outside temperatures.

It also scales neatly up and down with the space being cooled; there's no inefficiencies at small scales. It's possible to add such a system (with an appropriate phase-change material) to most any air-conditioning installation -- as long as there's a varying load (if it runs 24/7 with the same load, ice storage won't do anything useful) and the system isn't weight-sensitive (i wouldn't put this aboard an aeroplane, say), there's a potential.
yes, I've one big project in it. Currently working with: ui -> scalatags, serialisation -> upickle.
> AT&T syntax puts the operator first, not the value.

If "operator" has any meaning in assembly language, it would have to refer to the opcode. Both variants have the opcode (mov/movl) first.

> AT&T is Verb Subject Object. Intel is alien Verb Object Subject.

Both "move 5 into EAX" and "move into EAX the value 5" are imperatives. Neither of them has a subject, or more precisely, the subject is omitted (https://en.wikipedia.org/wiki/Imperative_mood). In both of these, 5 is an object. "into EAX" is an adverbial phrase or something.

It's true that one sounds more alien than the other when forcibly translated to English. Then again, assembly language is not English, so that's neither here nor there.
There is this one http://corpus.quran.com/translation.jsp, which offers seven parallel translations of the Qoran.
It's mostly GPS and inertial navigation. Probably integrated together with some kind of Kalman filter.

The very last few seconds add in data from a radar altimeter. Per the post-launch press conference, this time they added some special paint to the landing pad to give a better radar return. I imagine the steel deck of the ASDS already gives a pretty good radar return.
> Another interesting point in the case is that the court found Artifex’s claim of damages to be admissible because of their use of dual-licensing. An economic structure for remuneration of the developer by users who did not wish to comply with the GPL terms, and thus acquired a commercial license, was clearly present.

Interesting development. This makes me want to dual-license my software so that violations have more teeth to them.
1. I think number portability is required by law? https://en.wikipedia.org/wiki/Local_number_portability#Unite...

2. 2fa makes people think they're safe, when they're often not. (ss7 is weak thus sms, etc)

3. There's not really a "secure" email account. The admin can read your mail. There's not really a "secure" phone number. The admin can use your number.

4. This seems ok, if your phone isn't pwned.

5. If you don't hold the keys, you don't own the coins. DO YOUR OWN COLD STORAGE.
Buy a 12-month Xbox Live Gold subscription and get 3 more free
Scala is still growing popular:

https://insights.stackoverflow.com/trends?tags=scala%2Cgo%2C...
Hack and Optimizations for Neural Networks
My two cents: to me WebAssembly seems like something Scala Native might address, more than Scala.js.
Or even better, both project can sort of blend for this purpose as on one hand (SN) addresses LLVM compilation and the other (SJS) is perfect JS interop (not so sure how WebAssembly does that).
Peanut butter though is just peanuts, same concentration of everything as a peeled peanut. Large companies put lots of salt and sugar in too, I can't stand the sweet ones.

Maybe there's greater availability of some protein, or something, because of the processing?
Not in the UK. A contract has to both be fair and understood in order for it to be valid. The thing is, given all the finance agreements I've had in the UK tell me what the total cost will be ( generally over double the cost of the product ) I'm not really sure these products aren't to be reasonbly understood and it woukd seem like laziness or greed eould be the biggest driver.

The exception to the rule here would be payday loans which have some horrible outcomes shouls you fail to pay them back on the agreed date. These were being legislated for the last I heard, so I'm not sure if they still exist.

The other game in the UK is targeting the poor with silly rates of interest in the knowledge that many of them simply won't pay. Technically they're high risk loans and thus somewhat valid but there is an argument that the likes of brighthouse shouldn't exist and that people without jobs shouldn't really be given finance to buy a tv at over double the retail cost.
The author said:

Thank you very much for your appreciation. In my opinion, such
a toy projet would not be of much use if I didn’t document it
so others can learn from it or improve on it. :-)
Similar to this, http://www.goodreads.com/book/show/21884038-phantom-of-the-p...
I think it's just a bit of hyperbole. I don't know enough of this to know whether http://c9x.me/x86/html/file_module_x86_id_176.html is complete, but it gives you a sense of it all.
(also https://www.cl.cam.ac.uk/~sd601/papers/mov.pdf if you haven't seen it)
Nowadays Sphinx is quite usable for writing both long-form documentation and reference docs.

It's a really complex piece of software (much more complex than everyone thinks at first), but most of the time that isn't noticeable. The rST syntax can be somewhat confusing with advanced constructs, but for most stuff a short primer gets everyone going in the right direction. Since it's Python, deployment is a little bit annoying on non-Linux machines, but for docs you want CI anyway. To tweak PDF (i.e. latex) output it requires a fair bit of knowledge of both Sphinx and latex (and possibly rST [0]).

Like I said... it's quite usable.

[0] rST again being much more complex than everyone thinks at first. It's an enterprise markup language.
I've seen assembly languages that do separate target and source operands with an = sign. So you would write that something like:

mov eax = 5

and use a similar style for other things, like:

add eax = ebx, ecx

This is very nice and clear. But it only really works for three-address assembly languages, i.e., where the target register may be different from the sources. In classical x86, the target of an add is identical to one of the operands. So you would need something like

add eax += ebx

or

add eax = eax, ebx

where you must duplicate a register. Presumably when these assembly languages were developed 40 years ago, this was perceived as too much syntax.
> not so sure how WebAssembly does that

Basically: badly. That's the number one reason we're not trying to compile Scala.js to wasm at the moment. For wasm to get the level of JS interop that Scala.js has, it needs to integrate with JS objects, which means with the JS GC, which means basically have a GC of its own. Hence we're waiting for the wasm GC spec to take life :)
> It seems odd that the math is defined in such detail when this isn't supposed to be a tutorial or a reference. The emphasis on justifying and motivating TLA+ as a practical thing to learn​ suddenly disappears, and it's just one definition after another.

My goal isn't to justify TLA+ as a practical thing to learn. The articles and tutorials I linked to in part 1 already do an excellent job at that. My goal is to do a deep-dive into the mathematical theory of TLA+, intended either for those who already know TLA+ or those who are interested in the theory of formal methods and formal mathematics. A little like how som Haskell programmers want to learn category theory.

> It's also unclear to me whether these definitions are actually TLA+, since it's using non-ascii symbols.

Yes, it's actual pretty-printed TLA+ code. You type it using ASCII symbols (`==` for `≜`, /\ for ∧, `~` for `¬`, `\in` for `∈`, `\A` for `∀`, `\E` for `∃`, `[]` for `◻` etc). In the IDE you edit in ASCII and can view the pretty-printed version. There's work on displaying in Unicode as you type.

> How esoteric is this language?

It's not as popular as Java or Python, but it's more popular than Coq. Amazon uses TLA+ to specify and verify most of AWS, Oracle and Microsoft do the same for some of their cloud services, and if you head over to https://www.reddit.com/r/tlaplus/ you can see other uses.
I'd consider it, absolve me of my debt, worlds data in a database sent to mars, and a person of the opposite sex that likes me-vise-versa. I'd consider the possibility of dying there. Easy to say though not sure.

I imagine they'd send helpful/scientists that would be worth something.
What about distance of Mars and lack of food.
Author said:

Thank you. Actually, I have a series of articles about a libc
written in Rust for Rust which I started writing before steed
was published, and… isn’t finished yet. :-/ But maybe, I will
finish and publish it eventually…
Isn't that what Redox-OS [1] does? Though it is not fully POSIX compliant for decisions the development team made.

[1] https://www.redox-os.org/
How to work with juniors
There's no established meaning of factor. I have trouble understanding UAF goals. We already have full disk encryption + pincodes on laptops and phones. Consider it "first factor" then? If laptop is stolen you cannot get in (see San Bernardino attacks). Yes, everyone must have it "on".

So we are left with attacks that control your computer once you unlock it. Malware. And with malware we can exploit your computer right now (no "second factor") or few days later (wait for you pressing that USB button). My point being these both cases are giving same security, but second one is much worse usability.

>If its a website that uses password and you get phished this will be completely useless if they don't have access to your U2F authenticater.

Pre-condition to this discussion is that "first factor" is not a password but some kind of client certificate, i.e. phishing and reuse is not in question. Then we are looking at what U2F offers us: horrible user experience with most browsers+devices not supporting it for the sake of just delayed exploitation? Thanks, no.
Awesome work! Incredible resources, would save me ton of time bookmarking. Thank you for making it a standalone site aside from GitHub repo.

Could you please make the links to open in new tab. Since, the mind maps serve as a goto page or index page, it'd be more helpful. Nikita, thank you so much.
Does it start firing the rockets on descent not so much to slow down but as a shield for reentry? I don't know if that makes sense. Maybe the rocket isn't high enough to burn up on re-entry? I'm not sure it's not exactly coated in heat-resistant ("cliche-black-colored") tiles.

To me maybe when you fire a plume of exhaust like that it forms a shield around the rocket... not sure.
I can't unfortunately, but many translations exist, some from academical background. I don't think it must be read in Arabic, especially if the reading is a secular one.

edit: Saheeh international seems to be a nice translation with heavy annotations, there are pdfs online. I myself will consider this one for my readings.
What Perens doesn't explain, and what I'm curious about is if the GPL is considered a contract in just this specific case, or in general. As far as I understand, a contract requires agreement from the contractor (is that the right term? Contractee?).

The finding says:

> Defendant used Ghostscript, did not obtain a commercial license, and represented publicly that its use of Ghostscript was licensed under the GNL GPU. These allegations sufficiently plead the existence of a contract.

I read that as: Since the defendent publically aknowledged their use of the software under the GPL, they indirectly "agreed" to it, hence it's considered a contract.

If a company doesn't publically state that, is it then not considered a contract, and only a license?
Show HN: GoRef – slim profiler for Go applications
Great Lives (2007)
Best board games from Essen 2016
Oh. He used 14 registers to manually unroll the inner loop. IME, on modern architectures, manual unrolling doesn't win you anything (benchmarked on, among other things, the above-mentioned dotproduct). I wouldn't be surprised if he got close to optimal code by just NOT manually unrolling. Fewer registers used, compiler less confused.
Aww piffle. :)

It's not like the previous generation of people all explored the vast web. They didn't. They didn't even use it until relatively recently.

The percentage of those that are intrigued by technology and have the wanderlust to explore the digital landscape are probably exactly the same (perhaps more now) as the previous generation. Those people that you refer to as "vendor locked" now would never have even used computers in the past generations, or used them only for Office apps.
This is a great lesson for any language designer. The quality of the language isn't measured by inherent properties. Like any product, its quality is measured by how it interacts with the constraints, requirements and dynamics of the industry it serves.
In the small, it's just using attrs the way it's described in its documentation.

In the large, I've been learning about Rust recently and wrapping my head around the design-patterns of static typing. For internal data-structures the benefit is not as clear, but for serialising and deserialising external data (like from config files or JSON APIs) I really prefer having specific, named types instead of a generic bucket of dicts.

API documentation can be more concise. You can say "this argument must be an instance of BuildArtifact" rather than "this argument must be a dict with an 'href' key whose value is the URL to a build artifact and a 'hash' key whose value is the SHA256 of that artifact" in every relevant API.

Debugging is easier when inspecting a variable starts with "<BuildArtifact ...>" rather than just dumping a dict at you.

If you need to operate on a particular kind of data, a named class gives you an obvious place to hang a method, instead of having a loose function rattling about. For operations between two data-types (like 'merge' or 'intersection'), a loose function might still be the most appropriate, but operations like searching or summarizing are naturally methods.
I expect this is to allow for code which might have an uninitialized pointer, and wants to decrypt it concurrently with other validity tests (relying on multiple issue width)

Or, the designers didn't want to add an interlock between the memory subsystems that handle traps, and the crypto subsystem that does the decryption.
The Deuce editor architecture
At my workplace I have a rather good control over the stuff I do (I'm an architect at an IT company) but I still play games online. I mainly do it because it is a kind of therapy for me because the game I play rewards careful strategic thinking, cool headed decision making, patience and punishes recklessness and hotheadedness. When I manage to remain cool and win a game I always feel a sense of achievement. I'm not representative though because I play games for 27 years and I never had this kind of a problem.