skysight-inc/HackerNews huggingface dataset:
That is actually not related, but the beginning of an entirely different field of mathematics. Design theory is the study of mathematical objects called combinatorial designs[1], which are basically fancy ways of partitioning finite sets into subsets with a pre-specified structure. The thing you linked to is a specific instance that shows the existence of designs in a few specific cases.

While Kirkman essentially posed the first design theory question in the 1850's, both the authors of one of the standard textbooks[2] in the field are still alive and (IIRC) still working today!

[1] https://en.wikipedia.org/wiki/Combinatorial_design . Incidentally, the field is called "design theory," but it's not a great search term outside of MathSciNet.

[2] http://www.amazon.com/Design-Edition-Discrete-Mathematics-Ap...
Generally I see the idea that "technology X makes the problems of concurrency go away" is a bad smell.

In the JVM world I am always seeing people screwing around with Actors and things like that and failing and then after days of suffering I break out some simple Executor and I have it working correctly in 10 minutes and performance tuned in another 10.

Look at the example of the LMAX Disruptor to see how adults face reality and develop real solutions instead of snake oil.

I like ReactiveX because it provides a way for thinking about these things that is cross language
Why? Microsoft will likely offer Swift support in the UWA platform soon, they already support Objective C. I suspect they will announce Swift is now supported under project Islandwood at Build.
No, Sony buys panels from a variety of vendors.
You have some details mixed up there. Stuxnet did not use any domestic certificates. You're likely thinking of Flame, which still did not involve stealing keys or certificates, but rather exploiting a flaw relating to how certificates were issued to the general public.
This comment feels a bit underhanded. The free speech argument is pretty good, is it not?
Any speculation on why they'd want to do this? It seems clearly better for the consumer if wikipedia shows up at the top anytime you google a word/phrase that appears in wikipedia. Do they make money on the results that are showing up higher?
Haha that's not what I thought of when reading a response to api's comment. If you want to call it a "firewall on the host" after 'api called it a "secure device", then perhaps the disagreement is merely one of terms. Either way, the host uses some method to ignore unwanted packets. I don't think this new "on the host" version of "firewall" is very much in keeping with etymology, which is probably why I was confused.
Is there reasonably-priced hardware that can do several hundreds of FPS? Preferably something with a built-in battery and Wi-Fi or bluetooth? I'd really love to build a volumetric 3D display by spinning the thing. I tried spinning my phone but the hardware screen refresh rate was way too low to do anything impressive even if processing power wasn't the bottleneck.
Title is a little misleading. The article is seeking to refute a letter from Citadel opposing the establishment of IEX ('Flash Boys' exchange) on the grounds that it is not as efficient for the smaller retail investor. Article explains how 1) many of the retirement funds and institutional investors do actually represent the little guy 2) why exchanges that encourage HFT are costing all of us with retirement funds lots of extra dollars.

I for one would like to see traders compete something other than speed and hope to see the IEX up and approved as an exchange sooner rather than later.
Video from the beginning: https://air.mozilla.org/bay-area-rust-meetup-february-2016/#...

"We've removed painting from the bottleneck in Servo"

More info about WebRender: https://github.com/servo/webrender/wiki

If you want try it at home, you "just" need to build servo: http://github.com/servo/servo (git clone, then ./mach build -r) and run servo with webrender:

./mach run -r -- -w http://wikipedia.org

(edit: removed the bit about chrome's gpu rasterization - see pcwalton's comment below)
Thanks for the advice. We already have experience with the CE process, it's painful but doable. The manufacturing company has been cleared for FDA before, so for now I remain optimistic. (Famous last words...)
Yes, there is a huge difference.

And it is the responsibility of the person on the "attack" to make that clear using whatever approach works in the situation. Otherwise you have a communication problem, and it is primarily your fault for being inarticulate.
Interesting, I don't think much work has been done in this area. It's not a common way of dividing the workload, even though it sounds obvious.
Reminds me of my roommate who would call me from the next bedroom over whenever he wanted to talk, even when my door was open.
The Innovator’s Defense Fund: What it is and why it’s needed
Golang has nothing close to sqlalchemy, linq, activerecord or hibernate when it comes de querying a database. Last time i used go i had to write every single query and bind them manually to records in both ways.

For writing simple api endpoints, this is really not up to today's standards.
Privacy and security: Code to ruin?
In 1988 I was an intern at HP Labs and my project was 50% Lisp and 50% C, the latter half dealing with time-critical IO and low-level routines crunching CAD tablet input.

At the end of a day working on the Lisp portion, which assembled sketched lines into a CAD model I went home happy and relaxed with a feeling of accomplishment. At the end of the C days I felt tense and slightly worried, thinking about ways of more cleverly detecting what the user was trying to sketch on the tablet.

In my 20+ years of programming I never returned to Lisp and I don't quite know why I don't miss it. I have a vague nostalgia for Lisp but I think modern programming languages give us enough tools to get our job done without feeling too much shame about abandoning the purity of Lisp.

Also, the proselytizing has not helped. I think the "Blub paradox" article embodies the mindset that was ultimately the nail in Lisp's coffin.
Thanks. I wrote it myself. I just put out a new album yesterday:

http://kruhft.bandcamp.com/album/listener
No photos stored, just links. Thanks for the suggestion!
Definitely, the vast majority of our content is either exclusive, or only offered behind paywalls(most of which are more expensive than us).

You can check out our library here https://app.curiositystream.com/
Bad UI design features that are in common use today
Cryptography: Taking a bite at the Apple
Hi HN, we made this because we had a number of clients who were looking for extremely unique homes and wanted to give them a special tool. We're basically taking our realtime feed from the MLS and filtering using regular expressions. Thought some people here might enjoy it too. Happy to answer any questions!
You are right to a certain extent! But lets not forget that Samsung is a huge company too and is registered as per US norms. So the American executives of Samsung would be very much comfortable referring to either of them.
> How do public unions get more influence?

Public sector unions operate in a way analogous to private-sector unions where the union members are mostly also shareholders of the corporation for which they are employed, and work together to lobby other shareholders for action as well as engaging in the usual collective bargaining approaches. This is rare (though not impossible) in the private sector, though there is a private-sector business model (the union co-op model) in which the union more power than in any public union situation, because the union workers are the entirety of the ownership group, not just an important and active subset of the constituency [0].

[0] http://www.geo.coop/story/unions-and-worker-co-ops-working-t...
Traders have always competed on speed and "will always" compete on speed, you can't stop this, it's not possible, nor is it bad. So why exactly are you against competing on speed?

> why exchanges that encourage HFT are costing all of us with retirement funds lots of extra dollars.

Why do you believe this, HFT lowers the spread making entering the market cheaper for those guys.
Doesn't perform well enough outside of high-end devices.
Not really, one term is the popular term the other one is a term from behavioral psychology. So they describe the same phenomenon but by different people.
You can also use keepassx with python-keepassx for cli access. https://github.com/jamesls/python-keepassx
There's no WORM technology better than rewritable as far as I'm aware. Storage density is already well above the point where optical technologies are viable.
Another commenter already said that Common Lisp indeed does have a type system. It's possible to circumvent, but that's Lisp for you.

You can very easily write an assembler in Haskell that doesn't verify any of that stuff statically. Learning to do advanced kinds of static verification with Haskell's type system is actually rather difficult, and usually requires language extensions.

Using a macro that checks those things seems like it could be a very pragmatic way to provide safety. It might also let you verify properties that would be hard to figure out how to verify using only Haskell-style type checking.

Indeed, Haskell programmers often use QuickCheck to do ad-hoc verification of type class laws, for example, since they can't be proven in the type system.
Watch Tim Cook's full 30-minute interview on Apple's fight with the FBI
Well, that's the least charitable way to frame it. A more accurate way to frame it:

* The United States Congress does not really get line-item veto on giant international trade agreements that affect dozens of countries, all of whom also must ratify the treaty.

* Trade promotion authority is simply the authorization for the administration to negotiate the treaty.

* By the time TPP is ratified by Congress at the end of 2016, it will have been public for over a year, and we'll have change-bars for the "legal scrub" stuff Techdirt is so worried about.

My real objection to US concern over TPP is that TPP has minimal impact on US domestic law. If you're a New Zealander, or, worse, Vietnamese, I totally understand how the TPP is problematic. The idea that a treaty that mostly serves to normalize global trade rules around the ones already in place in the US has been "rammed through in the USA" seems pretty arrogant to me.
ReCore World Full of Machine Learning
I know almost nothing about lisp, but what comes to mind is car, cdr which aren't exactly the most descriptive keywords of programming languages I have seen.

(I think they are replaced in modern versions but my point still stands as I remember the old ones, not the new)
But [Lisp] won't enforce those things at compilation time
in the type system, because it doesn't have one.

What Lisp implementation do you have in mind? I ask because Common Lisp has type system that includes compile-time type checking. For example, SBCL:

http://sbcl.org/manual/index.html#Handling-of-Types
C# devs like myself are interested in Xamarin are interested because they don't have too learn new language / tooling to do mobile dev. Learning Swift isn't any more appealing than learning Objective C.
Mark Zuckerberg Talks about Latest in AI – With Yann LeCun
My comment was on C#, and not Microsoft.
That's understandable.

But you can't offer HD with a bitrate that's too low even for proper SD. There are simply too many compression artifacts.

I for one would not subscribe to an HD (streaming) plan if my connection wasn't good enough for it. Your problem here is that you're trying to have both sub. plans work for all users, which you can't do without being dishonest about it.

Maybe just offer a download option for HD with proper bitrates? Then even the lowest connections can make use of it, because the download doesn't have to be streamable.
A judge ordered the FBI to reveal its Tor exploit code to defense lawyers
Brain learns in a way more analogous to that of a computer
One problem with arguing that HFT is costing retirement funds lots of extra dollars is that it's simply not true; in fact, the opposite is true.
The idea of open citizen voting directly on all issues terrifies me. I see democratic representation as a way to pay someone to read and understand all of the legal jargon most people won't take the time to bother with.

Except they don't really either.

They typically have a rather large staff to do that for them, and paid lobbyists fill in the rest, along with large contributions of course.

To be honest, I find this lack of faith in the intelligence and integrity of your fellow man/woman rather disturbing, especially in this current social-justice warrior environment where we are all depending more on each other to get things right.
Are We Putting All Our Eggs in One (Digital) Basket?
Developer Interviews Suck
The Netflix Tech Blog: Recommending for the World
I don't mean other languages. I mean for example, history of thailand, harrapan civilization ect.

All the documentaries in that link are Europe/america focused. History of western civilization is overplayed, I wan't to know more about what was happening in other parts of the world.
Verizon supports 'strong encryption with no backdoors': CEO
I'm building a new communication interface for humans and machines.
That's exactly the problem: until you're used to it, it looks nothing like psuedocode. Contrast with Python. I'm not saying it's right, I just think this is the issue.
The only other thing I can think of is "name recognition".

E.g. I love Hans Rosling (or James Burke, Carl Sagan, Niall Ferguson or whoever) so if I see that something is based/stars/includes their work I'd likely be interested.

This is obviously not applicable to many things though, and can be somewhat included in a description anyway.

And thanks to you for taking time to read my comments :)
Oh this is good.

Some conclusions:

- Teams and focusing on team cohesion, team building, and team performance is far more important than individual performance.

- Understanding psychology (of individuals, of individuals in teams, and of organizations) is critical for making companies work. "Psych Safety" amounts to the foundation of Maslow's hierarchy of needs, as but one example.

This stuff is important. Build good teams, don't just hire good individuals.
FWIW the linked article is just the problem description, the interesting stuff is part II which talks about CSPm (and FDR3) whose whole point is asserting properties of CSP models.
Lots of distributed filesystems (I guess I'm talking about distributed object stores here rather than an actual clustered network filesystem) rely on a regular POSIX filesystem for the storage of blobs.

A huge amount of work has gone into making ext4/zfs/xfs etc fast and reliable, plus you get other benefits like journaling, filesystem caching, fsync(), metadata caching (a la ZFS), so there are credible arguments for not going down the path of NIH.
This is a phenomenal idea, thanks for doing this.

Maybe we could even band together and get a preferred negotiated rate Groupon-style if enough of us migrate simultaneously.
Will It Shuffle - D3 visualization comparing shuffling algorithms
There are a few gaming monitors that can do 200fps. Maybe even 240. I don't think any mobile devices go above 60. Maybe that'll change as mobile VR picks up.
> I have a hunch that most people who tend to read self-help books about habits work in such unstructured situations.

Yes. I do this and am self-employed. I developed a measurement spreadsheet for daily/weekly satisfaction and eventually figured out a good way to keep negative outcomes in check. A lot of it involves being very protective of my time and forcing balance into every day.

I also used to teach artists and the really high-end artists always laughed and said they were very organized, contrary to society's expectations of them.
Polls say whatever the poll-maker wants. Ask people if they support government surveillance, they say "Sure." Ask if they want the government to be able to access their Dick-Pics and the answer is a resounding NO[1]. Apple is on the right side of history here.

[1] https://www.youtube.com/watch?v=XEVlyP4_11M
No, this is not what I am saying. I'm saying that you have unrealistic expectations. You expect the general populous, the media and the opportunistic politicians to act in a perfectly rational way. In this world of yours, taking things out of context, twisting them, playing on people's emotions, narcissism and fear cannot block the ALMIGHTY logic.

Taking the condescending approach is much saner than the alternative when everybody is very naive.
He probably didn't say that. As http://quoteinvestigator.com/2010/05/04/universe-einstein/ points out, the original saying was attributed to a "great astronomer", then followed by "To-day we know that this statement is not quite correct. Einstein has proved that the universe is limited." These later got merged.

In any case, you are making a fallacious argument from authority. Quoting https://en.wikipedia.org/wiki/Argument_from_authority#Appeal... :

> A common example of the fallacy is appealing to an authority in one subject to pontificate on another - for example citing Albert Einstein as an authority on religion when his expertise was in physics.
Psychological safety is a double edged sword. If you feel free to interrupt people, express dissent, and joke around during meetings then people might begin to resent you. It's a big risk. Despite feeling "safe", it's still a risk that could affect your job security and finances.
Nice. Maybe show fewer decimals? 4+ seems excessive.
First off, the "get a clue" remark was a response to the assertion that I was scamming or being scammed (i.e. clueless) - as well as the generally condescending tone.

The main controversy around LENR has been whether or not there's a real phenomenon. Clearly there is. Given the experimental results so far, as well as Rossi's work, it seems pretty clear to me there'll be practical reactors in the future if there aren't already. The first principles need to be better understood for best results.

Time will tell, eh?
Things like money and personal physical property, sure, I understand that. But I feel like personal protected (encrypted) data should be treated differently. I'm thankful Google at least has options[0] available for their ecosystem, but I guess I'm going to need a will to cover the rest.

[0]https://support.google.com/accounts/answer/3036546?hl=en
Do you have any mailing list so that we could get a notification when html5 is available? I am very interested in the service, but Flash is a big no-no for me and will forget it in a week if I do not subscribe.
You really should sue.
Sort by % change would actually be my main ask.
Sure, in theory, 1password MIGHT have better private auditing and review. But there's no reason to believe they do. To the contrary, when asked about open sourcing 1password, one of their developers explained that they don't do formal code review because it's too expensive, and that none of the external experts they consulted with have ever performed a full review.

https://discussions.agilebits.com/discussion/22686/open-sour...
The Dumbest Idea in the World: Maximizing Shareholder Value (2011)
Worlds First Imaging Study of the Brain on LSD
I first realized the voice to text improvement while watching my three-year old daughter search on my Android tablet...she can't spell (correctly) but used Google voice search quite effectively.

This should enable the very young, the very old, the disabled, etc. to digitize (and therefore share) their words, stories and worlds. Powerful.
I think you underestimate how badly things are failing.
Facebook donating 25 state-of-the-art GPU servers to AI research in Europe
I would add:
1) logo that doesn't go back to the homepage when you click it, and 2) 'hamburger' navs on desktop..
A ‘magic wand’ to simplify network setup and improve security
Clojurescript is not "also known as" Clojure.
They always forward those abuse reports onto the original hosting provider. What more can they do? They're not really obligated to do anything other than that.
Residential Roofing Roof Leak Repair – All Roofing Solutions
you can use https://davidwalsh.name/nudejs to detect their posts and then: Ban them!!
What happens if someone has scheduled time with the telescope. Do they get bumped? Who has priority?
> I think it can become the best alternative to the javascript world

Ugh no. Professionally, I would have a lot to gain from that as a developer but in general that would be an awful turn of events. Long term it would be a net negative for the world and we all should know better by now.
Really? People debate the negotiation of international treaties? Can you point 2 or 3, please, since my memory is not what it used to be.
> Lisp isn't any one thing, it's a language family.

Which is rather the problem. Types, in particular, are only useful if everyone has them - optional add-on typing has been tried for many languages, but I've never known it be successful.
Behind the Air Force's Fast-Growing Cyber Research Budget
TLDR guess after two paragraphs: Is this how grades/salary/individual rewards will poison pill any imposed group goal dynamics?
I noticed the article also mentioned that being highly sensitive to other people's feelings was also very important, not just safety from dissent. In fact the piece seemed to focus on how groups with highly socially sensitive individuals tended to fare better.

Is that not a safe space?
congrats on making item 11111111
Hi usaar333,

We got the median software engineer salary off of Glassdoor for San Francisco. It's possible that this skews lower than the actual median salary in the area, based on the type of people who report their salaries on Glassdoor, but that's probably the case for all the salary information we got. We were plainly looking at software engineers, not senior ones or any unique specialities. From there, we used a typical formula for mortgage affordability to figure out how much they could spend on a home. We compared that with recent sales over the last 6 months to determine what % of those homes they could have purchased.

Hope that helps!
Kelly from Estately
If that would make China stop their "sketchy economic measures" I don't see an issue here.
Refugee lifejackets turned into art is both beautiful and disturbing
This might be true on a micro level when it comes to order execution, but on a macro level the costs have yet to be determined. HFT in its current form has not really been through a market downturn, and the way in which the algorithms interact with each could turn out to be very detrimental to markets (and by extension retirement funds) as a whole.
Brain processes more thoughts during meditation than just relaxing
I admit the claim is overly grandiose, especially in this particular case where there's still a decent gap between core.async and CSPM. If one generated Haskell code directly from CSPM it might be a stronger claim for that, but I haven't had a chance to try this yet. It would be interesting to see if it would be possible to develop tools to prove correctness of e.g. core.async programs.

Having a stream of every unique action and making sure everyone gets the stream of actions and applies them in order was another approach I've thought about, if that's what you mean here. I may have to try rewriting in this style. What I think is interesting about the algorithm I was shooting for is that you can miss events and just diff with the current state. But it may be that this is just an overly complex approach. If you have any other pointers or links as to how you might implement it in your described style I would be interested.
Thanks. I was going to ask for a citation. Vanguard is 100% correct, though there should probably be fewer exchanges in the first place.
What baffles me is that rent increases get blamed on the tenant looking for a decent place to live, instead of on the landlord who actually increases the rent. If we're going to blame a human at all, why aren't we blaming the person who is directly making the change?