skysight-inc/HackerNews huggingface dataset:
>nothing checks that the output of WebAssembly is safe machine code.

The JS/WASM VM does. If unsafe WASM code is allowed to execute, there is a bug in VM. VM must prevent semantically incorrect WASM from executing Control flow integrity and incorrect use of pointers are detected at load time. There are traps for invalid indexes, exceeding stack limits, invalid indexes in the index space.
While that is true, different species could have different thinking patterns, and therefore different propensity to prioritize their own greed before other interests and motivations when making choices.

I'm just spitballing here, but the fact is that until we meet some other similarly advanced species and get to know their psychology, we can but theorize.
Sexy Κορίτσια Με Ποδήλατο – ESCORTS – ESCORT ATHENS – ESCORTS ATHENS
CI's cost savings will not be immediate, large or easy to measure. That's why creating this "sales process" to make them happen is such a toxic mistake.

I worked somewhere once that forced me to spend political capital to make these kinds of things happen and it was a terrible waste.

Nobody notices the disasters that don't happen and when somebody is 2x faster and develops code with fewer bugs, that tends to reflect well upon them even if they were building upon your work.
(on the assumption that your first sentence was sarcastic) Everyone does love getting middle-manned, it's why uber is successful. We had taxi services before uber, but they were unreliable and sometimes meant calling around 3 or 4 to get a cab at busy times. No accountability of where the cab was if it was late / no showed. Uber changed that and people flocked to them in their droves. Same for airbnb and basically any other major marketplace app / site.

They may now be looking like an autonomous driving play, but that is not why the company started.
Record and Replay how your visitors behave on your website
Funny enough, when I googled 'Chrome Won' the first result was "Repair Chrome if it crashes or won't open" https://support.google.com/chrome/answer/142063
DirectX fostered multiple generations of gaming on PCs. I dunno what you're talking about with referencing it in a web development context, but it was, and still is, miles ahead of dicking around with broken OpenGL.
Saves you 1 hr of waiting, had you wanted to do this yourself.
> Perl is awesome at regular expressions

I don't know why Perl 1 to Perl 4 had messed up Regular Expression. Perl 5 actually redeemed themselves and returned to the normal good old regular expressions.

> Regexes in Perl are not he same as in Python, Ruby, or PHP, even if some of them call them "Perl 5 compatible Regular Expressions". https://perlmaven.com/introduction-to-regexes-in-perl

I would say the older Perl messed with RegEx and I wish everyone else would get on board. I HATED!!!!! doing my awk regex and then jumping into Perl it wouldn't work.
The Inflated Debate Over Cosmic Inflation
Pushball, a game for giants that bewitched Britain
Can you use it at outside at 11am, when the sun is out?
About your last request: I've previously used https://www.charlesproxy.com/ for analyzing all traffic from my iPhone and it works quite well (you use your computer as a proxy for the phone). There's a guide how to in the FAQ https://www.charlesproxy.com/documentation/faqs/
Make a Simple Slack Scrumbot with Red Sift
The decade of fierce database debate
Bloomberg said that the device won't have a screen, and will instead focus on having a better speaker.
It's not a bad article, but it makes the same observations about opportunity we've read about a thousand times before. The article mostly describes the status quo, but doesn't say much about the root causes or about possible solutions. Maybe the full book is better, but I doubt it. The author doesn't strike me as a person with deep insights.

One sentence from the article really sticks out: "The American ideal of a classless society is, to me, a deeply attractive one. It has been disheartening to learn that the class structure of my new homeland is, if anything, more rigid than the one I left behind and especially so at the top."

The author, a highly educated middle aged British guy who works at a think tank, needs years to figure out that the United States isn't the bastion of opportunity it purports to be? Come on! Literally the moment your plane lands at the airport you notice food is prepared by immigrants, and taxi drivers have missing teeth. The inequality is visible everywhere, and it stares you in the face. The author only barely recognizes the contradiction between his wish for equal opportunity for all and his desire to give his children a leg up.

Ultimately he concludes that hoarding opportunity by the top 20% "results in a less competitive economy as well as a less open society". In other words, he's _still_ arguing that the top 20% should be in favor of equal opportunity out of self interest, because it builds a better society for all. This is in direct contradiction with his earlier observations about the zero-sum nature of opportunity. Efforts to redistribute wealth and opportunity from the rich to the rest does not benefit the rich: it's called class conflict for a reason. Maybe in another decade or so the author will figure this out.
>The coolest part was when they turned the lights off and locked the door.

I'm slightly concerned that the door has a lock in the first place.

Was it locked from the inside or outside? I can see the latter being consistent with Microsoft's style. :)
Are you saying there are Instagram story ads? I never encountered those. Only ads on my feed. I'm on iOS and use Mozilla's Focus content blocker (which seems to have been pulled from the App Store and replaced by Firefox Klar).
Actually, he breaks examples from the manual. I think his point was that programmers inherently write exploitable Perl code as they assume certain types are secure.
Why would Ripple have anything to do with it?
tree style tabs
Cogs Library
I wouldn't mind if the N.Y. Times crawled up itself and disappeared. The main loss would be the crossword puzzle.
Maybe not in the US but certainly in other countries. HK currently demonstrates that with their bridge to Macau and France's Millau Viaduct is at least as impressive as the Snoqualmie Pass [1].

[1] https://en.wikipedia.org/wiki/Millau_Viaduct
I had some tinnitus (unknown origin) for a week or so many years back. It really taught me the importance of protecting my hearing. I feel really lucky I got to experience it temporarily at just that point in my life where I was young enough that it wasn't too late, yet mature enough to realize how serious it could have been.
and once again he defines the problem so that it has to be a zero sum issue.
> nothing checks that the output of WebAssembly is safe machine code

By this line of reasoning, “nothing checks that the output of the JavaScript compiler is safe machine code”. Because that is essentially what WebAssembly is: like asm.js, it's just another kind of input to your JS VM.

And… well, you're right. It's the JIT's job to produce sensible code, and it's the browser's job to sandbox that well.

But what's wrong with that?

At least with WebAssembly it's a well-defined, small language that's easy to verify.
> Unicode regexes is a pretty small edge case

Except for any other language than english.
Well, every time I meet someone and they say they use PHP for their living my inter monologue is "Don't be a jerk and don't bash PHP, its a fine choice." I usually have to make sure I don't talk with them long and move along. I am a jerk either way.
Why don't you delete mails or unsubscribe from them? If you get so many mails that you may need multiple reminder mails to get your attention, your system sucks. If not for you, them for the people trying to communicate with you.
It is only natural that the people in possession of resources are reluctant to share them; that is also the case in most countries, in my experience. The weird thing about the U.S. is that so many below-median-income folks are right-wing -- the very ones that would benefit from increased wealth distribution. I guess part of the explanation comes from the mirage that is The American Dream. In some sense a lot of us Top 20 percenters are Dream Sellers -- if you just buy the right shoes, food, anything, you too will be successful and get social status. (Yes I am one of those Scandinavian socialists)
The point is, if a system's behavior can be characterized with a set of equations, use the equations to talk about the behavior -- not a flawed metaphor for human cognition. If you find out that your equations incorrectly or incompletely characterize the system's behavior, Occam's razor requires you to assume that what you need is a better set of equations.
Avoiding drag could be a huge benefit if you envision an air breathing second stage (ramjet or scramjet).
To the extent that asm.js and JavaScript are, yes. Everything is well-defined, so in theory any Turing machine should be able to run it, but it's certainly going to be easier to implement efficiently on a typical modern 32-bit or 64-bit CPU in a computer or phone than on something more unusual.
none of this would have been possible if Brazilian court justices lost their minds and considered limitless political contributions free speech
Scala "is too obtuse".

Clojure "is just bad".

Kotlin "one can live with".

Hmm... Lol
>I, for one, knew that trees and plants were conscious (from both personal experience and books)

Please elaborate this. What are your personal experiences regarding this...
Yeah. I can barely draw in 2-dimensional space, and drawing in 3-dimensional space requires equipment that the company won't provide. There's no way I'm going to manage 7-dimensional drawing.
Wow, this tale is worthy of several movies and it seems they are just scratching the surface!
Anything containing codeine is prescription afaik in Belgium. Pure paracetamol-based painkillers is OTC.
The type of free will people often talk about is the type where if you rewind time to give you a second chance there is a potential for you to chose differently.

But whatever decision you want to make will ultimately be a function of your state of mind. How can you will something that isn't a result of your experiences? What else informs your will? The type of counter-causal free will people think they want probably doesn't exist.

You have free will, but it is determined. It's a result of physical processes. How we think may be difficult to computationally reduce, so it still might not be predictable. Counter-causal free will would force you to look outside the universe for causes. You get duality. Quantum randomness is not an escape for this.
i hate how HN now has titles that require knowing previous posts to understand.

That's the domain of reddit.
Gyrophone: Recognizing Speech from Gyroscope Signals (2014) [video]
Emulators can be used in place of the system they are crafted after for real world use. Simulators on the other hand are more meant for analysis as they offer more variable control.
A startup's guide to PR
"Race played a significant role here, with whites reacting (almost entirely incorrectly) to a sense that Americans of color were overtaking them."

I suppose that 'almost' is there to exclude population numbers, what with whites projected to become a minority by 2050 (in the US - the white population is pretty small on a global scale, at ~8%).
> how to walk properly

How does one walk properly? I'm genuinely curious.
All your arguments are also true in the reverse. It's not like analysts give programmers a proof that the work they should do is without contradictions. There are also many decisions that programmers make which actually do have big impact, although nobody really notices because there is no one to understand.

> But as I told, the real difference is how much supervision you need, how likely you are to create organizational mess and so on.

Yeah, but this is true for any skill. Anybody who has skill doesn't need supervision. It does not by itself prove that some role has "bigger impact".

> Responsibility is not about being punished nor height of that punishment.

I am talking about "having responsibility", you're talking about "being responsible". Those are two different things.
This is not about unsafe WASM which should be rejected by verifier. This is about the raw machine output that the compiler generates from WASM. As with JIT for JS currently nothing verifies WASM compiler output. So a bug in the compiler may result in a WASM that passes the verifier to be translated into unsafe machine code.
Also written by an (Ex-)Mozillian. Seems like wondering about Firefox's place in the world is currently top-of-mind there :-(
Should we worry that every billionaire seems highly intent on building ways to get the heck off the planet?

... Do they know something we don't?
> For the other 99% of code it's hard (and definitely not

> worthwhile to try) to beat the compiler though.

Bernstein's thesis is that the other 99% of the code is so cold that it's not really worth running the optimizer, and my experience (and evidence from industry) suggests that he is right about that. In fact, you might be better off with an interpreter and a really compact byte-code.

Examples: Tcl used for "steering" supercomputer computations, Squeak Smalltalk doing fine for multi-media work with a simple bytecode interpreter + primitives, Objective-C, Ruby on Rails and Sinatra for a huge swathe of web-sites, the (incorrect) perception of Swift as "fast", even in Debug mode (without optimizations), Python/Numpy, etc.
Here's the link again. http://www.latimes.com/projects/oxycontin-part1/
Sometimes I forget how crazy hackers are, and then someone goes and builds a CPU... and uses BF as an instructions set. Thank you :)
Silk Road Founder Loses Appeal and Will Serve Life
I submitted a better version at https://news.ycombinator.com/item?id=14456200
What's the story with VLC? [video]
The Fidget Spinner as we know it came about because the patent holder could not afford the fees to renew the said patent. Her name is Catherine Hettinger[1].

[1] https://www.theguardian.com/lifeandstyle/2017/may/03/fidget-...
Because using a better algorithm is more like a factor of 100 or 1000. Factors of 2 are just not worth bothering with; if the business is so marginal that a factor of 2 in the hardware requirements makes a noticeable difference then you don't want to be in that business in the first place.
Motorcycle Gang Busted for Hacking and Stealing Over 150 Jeep Wranglers
I don't want to sound discouraging but the problem with the profession is multifold. First the problem is that the domain is very large and is constantly changing. So the time investment is rather large to learn a significant enough chunk to be useful. Second problem is that it requires a lot of cognitive load in terms of remembering many different things and having a good intuitive sense of why things are not working, which again requires a lot of knowledge and experience. Third is the problem with the industry itself, it's not properly valued by employers. A sub-par programmer for many of the employers is completely useless. The low end employers all have no money to spend, but yet want one person to do a job that requires deep knowledge of many different things. All of these things taken together make a very difficult profession to get into in your 50s, 60s, or 70s as it will take you about a decade to get any good at it and then you will be fighting an uphill battle to actually get a proper job as businesses don't find you in their ideal demographic when hiring.
> Adobe is not a non-profit organization. Profits are the sole reason of their existence.

http://www.adobe.com/corporate-responsibility.html says otherwise. Either the company is not following what they preach or they are "bending the truth" in that page. Both options are not good.
The history of the DuPont-GM partnership and their promotion of tetraethyl lead in gasoline is well documented:

https://www.thenation.com/article/secret-history-lead/

Despite the many great achievements of their employees, DuPont and the family that controlled it were truly merchants of death.
How on earth did you not call it "Tada"?
Explaining Blockchain for non techies
Optimizing memory and cache use has been a primary focus of compiler research for a while now. I'm don't understand why you say partial evaluation w.r.t. optimizing memory use is a neglected area though: I think partial evaluation is orthogonal to this, and useful in other optimization types as well.

For some recent compiler research with regards to optimizing memory and cache use, see e.g. "Optimizing Indirect Memory References with Milk", PACT 2016 [1].

[1] http://dl.acm.org/citation.cfm?doid=2967938.2967948
It's a bit like having a very small first stage that gets you out of the thickest air, with a little speed and altitude.

The Falcon 9, by comparison, uses the first stage to get many times higher, but spends a huge amount of it's fuel during that first part of takeoff. For smaller launches, the plane-drop seems a much better idea.
But we still have libraries, with librarians running them. And those are free.
Exactly, the beauty of the internet is that its taught us that we are not alone. We are legion.
Man, the grudges you hold after you have to dig into an industry, deep enough to model it.
They should redirect to https if they are accepting payment / donations.

I've got the shapeless book and found it really good. Keen to read the Cats one now.
Does anyone know where you can get a hard copy. ?
Minecraft Monster sanctuary
Learn 8 programming languages the faster way
How to Design Screens – The Hateful Eight in Screen Design
I've seen this on HN, going back to at least 2007 or 2008.
Introduction to commonly used ES6 features
> And again, HN continues to connect all the ills of the society to that mythical 'capitalsim'.

I am not in any way related to HN (I am just a regular user), but it's a stab at the claim of some that there is "meritocracy", or that these things are somehow valued, when in fact, they are not.

Can't speak for Soviet, but I can somewhat speak for communist Czechoslovakia. In many ways, the societies were less meritocratic, and in some ways more equal. I like to say that whatever was good about communist regime (you would find couple things) was mostly copied from the West in the 50s and 60s. For example, research institutions where there was a big freedom to spend time on research, without being constrained too much by grants and academic performance. (Actually the similar thing was true in the industry, because of the essentially lifetime employment.) Some used it to do good research, some used it to slack off, sure. But it certainly provided somewhat an option to spent a lifetime in one field only, if we return to the topic of the article.
I prefer Mitmproxy https://mitmproxy.org more than Charles, and it is opensource.
For households without kids it wouldn't be egregious to have the ability to make 529 size contributions to Roth-IRA.
The general idea like USSR's An-225 Buran tandem within MAKS program https://en.wikipedia.org/wiki/MAKS_(spacecraft) and it's 25 years old.
Wren is a small, fast, class-based concurrent scripting language
In Haskell your example would look like

x = do
ints <- grabSomeIntegers
return (ints & map (*2) & filter (> 3) & map (-1))

(where x & f = f x) which the compiler desugars into something like

x = fmap (map (- 1) . filter (> 3) . map (* 2)) grabSomeIntegers

Now the compiler can very well perform optimizations on the big composed function. Even then, as you say, this has its limits: polymorphic/DRY code still suffers a performance penalty because it has to work the same way with all allowed inputs.

... right? Nope, that doesn't have to be the case: Haskell supports more than just your $grandparent's parameterized types!

The vector package uses something called data families to have different in-memory representations for vectors of different types, without "letting go of the DRY" at all.

https://www.stackage.org/haddock/lts-8.15/vector-0.11.0.0/sr...

Here, Vector a is a data family: how a value of type Vector a "looks" in memory depends on a. So you'll notice a bunch of lines of the form

newtype instance Vector Int16 = MV_Int16 (P.Vector Int16)

What this means is "if we have a vector of values of type Int16, use a primitive vector (essentially a raw array) to represent it in memory". (P is an alias for the Data.Vector.Primitive module.) Now I can write code that uses the beautiful user-facing API of vector:

https://www.stackage.org/haddock/lts-8.16/vector-0.11.0.0/Da...

Written using vectors, code like in your example is perfectly DRY; it would look like (this is untested code!) this:

combobulate :: Num a => IO (Vector a) -> IO (Vector a)
combobulate = do
as <- grabSomeIntegersFromNetwork
return (ints & V.map (*2) & V.filter (> 3) & V.map (-1))

and under the hood, whenever I use a Vector Animal[0], it uses whatever fast general-purpose array implementation is available, but the moment I call this with a vector of Int16 or Bool or Complex Double, it switches to the fast implementations in the Primitive/Internal modules.

The key is the data families: the types expose a simple, consistent API, hiding the actual guts of the memory representation from the user. The library author is free to perform whatever ugly/evil/unsafe manipulations she feels like behind the scenes on the internal representations, or not.

[0] Defining numeric operations on animals is left as an exercise to the careful reader.
Same thing applies to NaCl verifier. Bugs in verifier can cause problems. Verification or generation bugs are bug, not security weaknesses in the architecture.

(I should not need to mention this but compiling is form of verification).
It works for me. I'm on mobile and get an AMP page.
Uber’s head of finance is leaving
Functions and functionals for 5yo? Only in Funville
Is it really Perl best practice to assume all non-scalar data types are trusted?
I mean, titles referencing previous articles has been a thing for a very long time - see X Considered Harmful as an example.
You're right that it's a niche product at this point, but it's very different from 3D TV. Tesla cars are niche products too.
Recently watched District 9 and it has a lot of the same charm. Life is really messy and chaotic, full of exploits and idiots, there are a lot of colossal fxckups and nobody really cares.
Human-Level AI Is Right Around the Corner–or Hundreds of Years Away
How do you start young children on their math journeys? Funville Adventures is a creative, joyful, and gentle new project that introduces kids to advanced math. Children as young as 5 will enjoy the story and math-rich play; older children and adults can also investigate the deeper mathematical concepts such as inverse function, composition, and functional.
So far I've used F# form smaller projects, basically anywhere there's any un-trivial problem. Just the fact that the editor helps you write correct and concise code means that once you correct the mistakes that the editor (Ionide) higlights for you, things will just compile and work out of the box.

Compared to Python, I'd assume that 1) I write a bit less code to solve the same problem in F# as I would in Python, 2) it takes a bit more time, but it is more fun, 3) once it compiles, there are seldom any bugs.

So technically you trade some of programming speed for less time spent in debugging and writing test code. In the end, you are way faster and more productive. Especially once the code base starts getting bigger, the type system starts bringing in extra benefits.

Major point is that detecting and correcting bugs in editor is faster than in compilation, and in compilation is better than at testing. So compared to Python, you get 2 orders of magnitude of better and faster development.
That sounds a lot like the Japanese salary worker situation .
How to review a pull request for an iOS app