skysight-inc/HackerNews huggingface dataset:
(1) They would have to have lanes, else every car have to move every time someone wanted out.

Which is no longer necessarily a problem.
I agree, many of the IoT devices are certainly large enough to have at least a raspberry pi form-factor device in them (if not bigger) -- I would expect a bunch of the "smart-home" related IoT devices to have decent specs, at least ODROID or raspberry pi level.

Also, the web as a platform is obviously very very well-known and popular. Mozilla just has to craft and expose the right APIs, and support the right devices (and handle the fragmentation), and they could have a great easy-to-use, robust platform almost overnight.
> x86 has had pshufb since SSSE3

SIMD.js uses SSE2 as the baseline, due to NEON compatibility, though our implementer and TC39 champion, sunfish, can probably answer more in depth.
Arguably that's a bad thing for the customer though.
There are millions of Ngnix on Linux production implementations.

And your advice is to use experimental[1] Docker support in FreeBSD, when Nginx would be running inside Docker on top of FreBSD's Linux compatibility layer.

Finally - and most critically - Ngnix introduced thread pools to specifically work around a limitation of Linux's async IO implementation:

Although Linux provides a kind of asynchronous interface for reading files, it has a couple of significant drawbacks. One of them is alignment requirements for file access and buffers, but NGINX handles that well. But the second problem is worse. The asynchronous interface requires the O_DIRECT flag to be set on the file descriptor, which means that any access to the file will bypass the cache in memory and increase load on the hard disks. That definitely doesn’t make it optimal for many cases.

To solve this problem in particular, thread pools were introduced in NGINX 1.7.11.[2].

[1] https://wiki.freebsd.org/Docker

[2] https://www.nginx.com/blog/thread-pools-boost-performance-9x...
Though, it does seem like anyTrue() and allTrue() are pretty non trivial on ARM with NEON. Those functions seem pretty geared towards x86 movemask/ptest instructions. I'd think those would have to be compound, if not serial, on ARM.
The best undergrad algebra textbook I've studied is Algebra by Mac Lane and Birkhoff (3rd edition! the previous editions aren't quite as good and substantially different; i haven't seen the 4th edition and it is out of print so /shrug). I've used multiple books both in self-study and class and this book is, to me, in a league of its own. Not only does Algebra teach modern algebra, it teaches one to think like a modern algebraist, and not like just any modern algebraist, but like Saunders Mac Lane who was pretty great at algebra.

As an example of Algebra's approach, take the isomorphism theorems [1]. Now many undergraduate textbooks (like Dummit and Foote) will prove these theorems by manipulating cosets and deal with gross "implementation details" at the level of sets. Mac Lane insists otherwise: The only time you have to manipulate cosets is in order to construct the quotient G/N of a group G by one of its normal subgroups N. Once you have constructed this group and proved its universal property, the isomorphism theorems can be proved without ever mentioning cosets again. What is that universal property? It has two parts: First is that there is a morphism p from G to G/N which sends all of N to the identity in G/N. Second is that any morphism f from G to any group L that sends all of N to the identity in L necessarily factors uniquely up to isomorphism as a composition of morphisms g ∘ p. This is the essence of a quotient group.

Mac Lane's approach is to apprehend the essence of what is studied while discarding as much of the set theoretic husk as is possible. It is algebra in its purest form, accessible to and transformative of the mind of an undergraduate. Reading this book is a recurring joy to me.

[1] https://en.wikipedia.org/wiki/Isomorphism_theorem
Production Haskell [video]
Adoption could be slower than we think, but I don't think regulatory issues will be that big, the whole logistics industry will push it and many more. I also think that possible profits are the stronger incentive than preserving human labor
His argument against OOP makes it sound to me more like he's using OOP design patterns he doesn't like:

> I've spent most of my professional life working with classes and objects, but the more time I spend, the less I understand why you'd want to combine code and data so rigidly. I want to handle data as data and write the code that best fits a particular situation.

To put it simply, I find when using DTOs to store data, and following SOLID principles to write the rest of the code, I end up with quite clean code that provides a very nice separation of code and data, and that the right level of abstraction and loose coupling is exactly what allows me to write the code that best fits a particular situation. Granted, I don't write games, but I do write high-performance, highly-distributed multi-threaded applications where clean and fast connectivity between components is very important, and the ability to unit test basically everything is essential.

I guess to characterize OOP as 'combining code and data rigidly' is just so far off base from my style of OOP and my experience that I really can't identify with this as a reason to drop to C.
Across an entire computer system? For all applications? Even games? Sharing data across process boundaries is undesirable, but is something most computer users would accept if the alternative was reduced performance.

Why not just fix this in the browser? The real issue here is that this data isn't just being shared across processes but potentially with websites through malicious webgl.
My original objection was to the claim that a non-trivial program could be demonstrated to be "provably correct." This statement is false. For non-trivial programs, it contradicts the simplest and most easily accessible interpretation of the Turing Halting problem and Gödel's incompleteness theorems, both of which demonstrate that this is not possible.

Source: https://en.wikipedia.org/wiki/Halting_problem

Quote: "Alan Turing proved in 1936 that a general algorithm to solve the halting problem for all possible program-input pairs cannot exist." (emphasis added)

> Multiple people have told you that you are simply factually wrong ...

So as the number of people who object increases, the chances that I am wrong also increases? This is an argumentum ad populum, a logical error, and it is not how science works. Imagine being a scientist, someone for whom authority means nothing, and evidence means everything.

In your next post, rise to the occasion and post evidence (as I have done) instead of opinion, or don't post.
They didn't implemented meritocracy then. They just compared the value of papers.

Max could have lost to someone who has spent all their life as a social activist and has degree in humanism, womyns studies and various other bullshit with friends at Google. That's the point of what meritocracy is trying got avoid.
Here in Michigan where inland lakes reliably freeze over every year entire towns get created on the ice. The biggest is Houghton's tip up town: http://www.visithoughtonlake.com/tipuptown.shtml

You can purchase medals from vendors on the ice commemorating that year's event and people do collect them. In the earliest years the medals were made from wood instead of metal.

http://thumbs4.ebaystatic.com/d/l225/m/m96cHfGSCm1wJCbLDW6ta...
Street Rhapsody in Green and Blue – The Emporialist
> Isn't using a language that can compile to bare-metal much more efficient?

Let me introduce you to my friend, WebAssembly.
Why? Are all of these cars going to automagically cooperate in some sort of parking ballet every time the guy at the back wants out?
As another software developer working in the "embedded systems" industry, I can tell you that using C like that is not unique. The companies I have worked for and several of my friends have worked for all use C similarly. Sometimes we do use the dangerous features of C. When we do, additional reviews are done to ensure the use is both sufficiently justified and properly done.
This is very similar to the business and military leadership academic findings across generations that resources and authority should be allocated to those closer to the source of information for greater efficiency and responsiveness as organizations / societies scale. Unfortunately, much of the world seems to believe in a cult of Taylorist management that those that manage and oversee others can best allocate resources because the presumption is that individuals are myopic / too self-important to entrust with potentially catastrophic decisions (this is a false dichotomy even by Taylorist arguments by inductive logic if we now entrust individuals to also be managers with some portion of community resources they manage).
Boggles my mind that union square station still has no service
Blackphone 2 – review by PHK
Just had a very low visibility landing into BWI. Feeling thankful for autoland, but also for the unimaginative FAA bureaucrats regulating it...
Got it. Your point was about randos, general editorial quality and caliber, and being taken seriously.

Specific decisions were made a few years ago about adding a distributed editorial workforce -- a Contributor network -- to the full-time editorial staffers. This was not a universally-beloved decision at the time. It has been a very successful one for Forbes.

My take on the basic thesis is there are more credible, authoritative people with stories to tell than could reasonably be hired as full-time staffers. Adding those voices under Forbes' brand helps scale content creation, community, and revenues. It also provides the ability to identify and nurture talented creators.

Despite Forbes' Contributor network being relatively high-touch, bringing on 1000+ new writers is going to be dilutive by definition. Historical editorial models and workflows are about command and control; scaling a contributor network is about ceding some of that. More of my take on what this success has done to Forbes' "serious business identity" is here https://medium.com/@sjkmcnally/reach-and-revenue-vs-dilution...

The ability to identify and manage the Contributors and their contributions is built into the platform and processes around it. No one should get or stay in the ecosystem who shouldn't be there.

Specifically re this Powerball piece, I mostly agree. I know some people will enjoy it even if others do not. I would not expect people to borrow against their 401k for lotto tickets because of it. I don't know if or what changes should be made to it. Luckily, that's someone else's issue to handle.

There are a bunch of statistically-interesting things to consider about the jackpot, though not really about improving your odds of winning it. "(You are vastly more likely to get struck by lightning twice in your lifetime.)" -- http://fivethirtyeight.com/features/powerball-jackpot-800-mi...
Getting big is a goal, not a business model. Standard Oil took decades to achieve monopoly, Uber's goal may be to optimize the speed-to-monopoly, but that's a separate issue from business model.
Book titles like these are just more evidence that some mathematicians don't understand (or willfully misconstrue) the meaning of words like "basic" or "introduction".

"Basic Algebra" means "material typically covered in late middle or early high school".
Why can't you box cars in? When I park in an attended lot in NYC and Philly, my car is often boxed in because space is so tight. I either tell them when I expect to be back or wait for them to jockey cars around. With self driving cars, it could be straightforward to program them to move around to extricate a boxed in vehicle.
I'm waiting for someone to make Uber, Lyft and others into a utility where you request a car with an app and the closest one, regardless of type, gets the call and comes to you. The current APIs seem to make this exact scenario a bit difficult but it wouldn't surprise me to see something like this come about at some point in the future. There is just not a huge difference between the two to really care about, in my opinion anyway.

Edit: Any reason for the down-votes? I'm genuinely curious if it's because people disagree with me and why or if it was something else.
I am more likely to take cabs now than I was before. With Uber and Lyft I often have almost a 50% over cabs 5 years ago. Additionally, it's a hell of a lot simpler, especially when half the cabs I used to take refused credit cards.
Yes, GLib basically implements its own full-fledged OOP system on top of C. At which point, you start asking yourself, why are you not using C++?

In my experience, most of the people who say they don't need OOP or generics end up implementing a limited (or even a full-fledged) version of these things themselves.
Wow. Those brands suck lol
Not if by that way they ensure better behavior from the driver.
If you can waste the time on allocating a buffer, you can waste the time on zeroing it. If you're in a hot loop you shouldn't be allocating giant chunks of memory.
>I seriously believe it'll be here in no more than 3 years, maybe 5 if there are regulatory hurdles. There's just too much value to capture for everyone to be half-assing it.

We wont have full blown self-driving cars amounting to any more than 10% of the traffic even in 2025.
But now you're paying more than the competition just to have a better driver. Also the driver can rate the person who took the car lower if they don't tip. So the tip essentially becomes a way to extort one another.
I'd like to think that modern network design actually could inform organizations, especially large ones, of better methods of communication.

The goal IMO is to increase collaboration between as many groups as possible. Where scrum teams, or similar, are autonomous in making decisions and the scrum masters (or managers) are responsible for inter-team communication and collaboration, but that shouldn't be the only channel. There should be other people from the scrum team responsible for interdisciplinary collaboration.

Basically, as an organization grows, I believe it becomes more important to have redundant communication channels into the scrum team. Like network design, this would be akin to have multiple uplinks from the ToR leading the the spine.
Not the best of examples as the court system offered him a deal. His own hubris is what put him in front of a jury and kept him from nearly getting away with pre-meditated murder.
But aren't modern Intel and AMD CPUs internally RISC(-like)? It seems like we have great compilers for CISC targets, and can make great RISC CPUs that process CISC instruction sets really well?

Perhaps the issue is that the internals of eg. modern Intel CPUs are locked up at Intel, so the missing step from CISC assembly to efficient RISC is missing (while we've got high-level/C/C++ to CISC covered)?
>> Russell realized this, and recognized that Gödel's results invalidated his project.

> One particular project.

A mathematical proof applies to all cases, not just one. Gödel's result addressed Russell's project, but it applies universally, as do all valid mathematical results. Many mathematicians regard Gödel's result as the most important mathematical finding of the 20th century.

> That doesn't mean we've stopped doing math.

Not the topic.

> A human can look at Coq and say "Yes, this is correct" or "No, this is wrong" just fine, without running afoul of the halting problem, Gödel's incompleteness theorem, or anything else.

This is false. If the Halting problem is insoluble, it is also insoluble to a human, and perhaps more so, given our tendency to ignore strictly logical reasoning. It places firm limits on what we can claim to have proven. Surely you aren't asserting that human thought transcends the limits of logic and mathematics?

> Of course they've proven things just fine if they're able to convince other human mathematicians that they've proven things.

Yes, with the caution that the system they're using (and any such system) has well-established limitations as to what can be proven. You may not be aware that some problems have been located that validate Gödel's result by being ... how shall I put this ... provably unprovable. The Turing Halting problem is only one of them, there are others.
Why not? Valets do this all the time.
Don't be an architecture hipster
Eventually, why not?
While I think it's great to have Google putting their weight behind standardization efforts like Global Alliance for Genomic Health (GA4GH), I really don't get the need to replace VCF and BAM files with API calls.

Ultimately, the "hard part" about genomics is not big-data requiring Spanner and BigTable to get anything done. I actually wrote a blog post about this this week:

http://blog.goldenhelix.com/grudy/genomic-data-is-big-data-b...

Both BAM and VCF files can be hosted through a plain HTTP file-server and be meaningfully queried through their BAI/TBI indexes. Visualization tools like our GenomeBrowse or the Broad's IGV can already read S3 hosted genomic files directly without having an API layer and very efficiently (gzip compressed blocks of binary data). So, I see the translation of the exact same data into API-only accessible storage system, where I can't download the VCF and do quick and iterative analysis on it more of a downside that plus.

Disclaimer: I build variant interpretation software for NGS data at Golden Helix. Our customers are often small clinical labs who size of data and volume are not driving them to the cloud.
Sorry for the bit about sarcasm, I was just really confused by some things, and said something silly and obnoxious.

The native GC logging is way better than using log4j (which is great for logging, but abymsal in situations like this for obvious reasons...)

He's using the native GC logging. The log4j clone is application level logging, which is what originally confused me.

I see you're worried about variance, but I'm not sure a super synthetic benchmark is better. With GC measurement, you're concerned about how an actual application produces garbage--unlike writing a controlled benchmark with JMH. I'd rather see an actual Dropwizard app/servlet hit with JMeter or something like that, and enough runs to smooth the variance--the opposite of tearing out the logging.

he would have used Dtrace and probed a few application runs with appropriately placed probes.

Still confused by this. Hotspot does GC logging. How do you propose he improve on that with DTrace?
Not sure what you meant in the edit, but the first sentence is correct. Hotspot 1.8 does default to Parallel collector in the absence of any explicit GC setting VM arguments.

[1]: http://hg.openjdk.java.net/jdk8u/jdk8u60/hotspot/file/37240c...
I appreciated that Uber eliminated tipping. But from reading driver forums, it seems like Uber drivers increasingly expect a cash tip, and retaliate against passengers who don't tip by assigning low ratings.

[1] http://uberpeople.net/threads/no-need-to-tip-policy.42850/

[2] http://uberpeople.net/threads/5-rides-are-for-pax-that-tip.4...

[3] http://uberpeople.net/threads/3-stars-for-no-tip-backfired.5...

[4] http://nypost.com/2015/08/12/does-your-uber-driver-expect-a-...
On an amusing note, I noticed the title, and decided to show my daughter, who is in high school. She knew that I was joking. I had already asked her, after her first day of algebra class, if she had learned about groups.
Looks like Times to me. It's a standard mathematical font, and anyway is more pleasant and easier to read than the abominable Computer Modern fonts.
How Galileo Invented Timekeeping and Forever Changed Modern Life
Maybe!

Per capita vehicle miles have been dropping since 2004:

Article: http://www.ssti.us/2014/02/vmt-drops-ninth-year-dots-taking-...

Graph: http://www.ssti.us/wp/wp-content/uploads/2014/02/2014-VMT-ch...

> Unlike other past dips in driving, this recent downward shift has had no clear, lasting connection to economic trends or gas prices. Evidence suggests that the decline is likely due to changing demographics, saturated highways, and a rising preference for compact, mixed-use neighborhoods, which reduce the need for driving. Some key factors that pushed VMT upward for decades – including a growing workforce and rising automobile ownership – have also slowed considerably. SSTI released a report last September outlining the many contributing factors, with references to supporting literature.

You mention 10%. 10% of total miles driven in 2025 is going to be drastically more than 10% of total vehicle miles driven today (Baby boomers aging out, who drive much less in retirement).
Or Jython?
Corporation Behind Keystone XL Just Laid Bare the TPP’s Threats to Our Climate
C++ was originally implemented as a preprocessor for C. Eventually, the preprocessor was replaced by a direct compiler for C++
Schneier makes a startling claim:

It's already illegal for these algorithms to have discriminatory outcomes, even if they're not deliberately designed in. This concept needs to be expanded. We as a society need to understand what we expect out of the algorithms that automatically judge us and ensure that those expectations are met.

Schneier is discussing an unpleasant fact; unbiased algorithms often discover that things we previously attributed to bias were actually unbiased predictors. But we don't like to admit this, so we instead make silly statements like the above.

If we want to mandate the outcome of our decision process, let's just do that openly and honestly. E.g. for credit, just impose a quota of credit that must be issued to each protected class.

If we want fair and unbiased decisions then we need to instead examine the internals of our process and accept the outcomes, whatever they may be.

But we need to stop pretending we can do both.
nVidia Kepler and Maxwell (i.e. the two latest archs ATM) use VLIW instruction encoding
It's done well for Singapore? I'd have to assume you think free speech is b.s. seeing as there is no political free speech in Singapore. Chee Soon Juan? Criticize the government, Lee in particular, and suddenly bad things just start happening which any thinking person will recognize as political reprisal. Criticizing leaders is a rather essential requirement in democratic political campaigns but in Singapore this will get you fired, thrown in jail, or sued, or all of the above.
I disagree. The word "introduction" immediately introduces ambiguity: Introduction to whom? An introduction to the aspiring physicist will certainly look drastically different from one to a high school student or an undergraduate mathematics student, but they all have reasonable need of an introduction to abstract algebra.
How does the GPL apply to hardware? Let's say I take some GPL'ed verilog code, modify it a bit, build a chip out of it and sell the chip. Am I required to provide the verilog "source" for my chip? I guess if the chip counts as "object code" in GPL lingo then the answer is yes. There's a lot more than just the verilog code that goes into building a chip though. How is the physical layout, for example, handled? Is that considered part of the "corresponding source" in GPL lingo?
Surveillance is not a solution. I would say surveillance isn't needed if the root cause of that problem is actually solved. Take for example, country A goes to war with country B or destabilizes it. Now people in country B will want to take revenge. Individuals will want to take matters into their own hands for the injustice done to them(making them so called terrorists -there is also religious terrorism which I believe is all for silly reasons). And because people in country B are also humans, many many fellow humans in country A will also sympathize with their sufferings and would want to correct their own country. Some of them may turn to become "terrorists". Now the root cause for creating terrorism was country A itself.

There is also the problem with media. Giving religious terrorists the attention they crave is the last thing we should do. That only gives them a sense of satisfaction.
"Motion control" means something else.