skysight-inc/HackerNews huggingface dataset:
> Not necessarily. Firstly, the only reason people purchase a stock is for that stock to be worth more in the future

There is the edge case of people buying a single stock so they get invited to AGM and get some kind of vote.
Nice. We made fridge-magnets in my last project to help generate excellent names like these.
This is how all civil suits work, no?
That's pretty much what settlement is.
As others here have pointed out, you're not going to be as good as a top-notch designer, any more than a noob at coding is going to produce great code.

BUT there's a top notch designer I know who recently had this advice for coders who can't afford him: Follow the Material Design guidelines and it will look as good as it can without a designer working on it.
Examinations are just a proxy measure (like grades in general). They have historically been used for logistic reasons, many of which no longer exist (or are much less compelling). They stick around for the same reason that everything else sticks around in academia: Because It Has Always Been So (another example: lectures).

A portfolio of actual work is much better than an examination. A github repo with a bunch of actual working code in it is much better than an hour of writing pseudocode on a whiteboard.
That's the problem. I understand and respect Richard Stallman, but I can't agree with him on this subject.

How can you know that firmware is "completely non-updateable"? You trust the vendor with that, there's no way to know for sure. What's more - recently (~1.5y ago) somebody figured out how to update firmware of microSD cards [1]. Thanks to him, if we want to apply FSF's point of view, microSD cards suddenly became unacceptable, non-free hardware, while before that blog post they were just fine.

I'm involved in development of Neo900 [2] phone and already had fair share of discussions about freedom and openness of components with various people. I was a part of Openmoko community in the past and remember the TI Calypso modem used inside Neo1973 and Neo Freerunner. At first they were non-updateable (for consumer), so were acceptable to RMS. Some time later Openmoko Inc. got firmware fixes for pretty annoying bugs like SIM compatibility and started trying to figure out how to distribute the updates. They obtained a license to redistribute the updater tool, provided the instructions and the firmware image. Suddenly, Neo Freerunner became non-free hw.

Then, some time later, partially thanks to Openmoko who provided the updater and instructions, OsmocomBB [3] was born (Harald Welte, who initiated OsmocomBB, also worked earlier in Openmoko). Suddenly Neo Freerunner became free again because there's a free firmware available for Calypso now.

So my device I was carrying in my pocket, without any my intervention, went from free to non-free and to free back again. Fun!

Also, as a user who cares about his freedom, I prefer to have a hardware with updateable or even entirely user provided non-free firmware than a black-box with the same non-free firmware inside, but not updateable. Of course over that I'll prefer a hw with open firmware, but in the case of the black box, there is even no hope that such a firmware will be provided in the future. And when at the same time you cannot be 100% sure that it really is non-updateable, then what's the advantage? I can't see any.

In theory, I can agree with FSF and RMS. In practice, hardware doesn't really work that way.

[1] http://www.bunniestudios.com/blog/?p=3554

[2] http://neo900.org/

[3] http://bb.osmocom.org/
We are allowed to consider national hero's the "smartest". They get an exception to the usual PC rules. Software Engineers aren't allowed to be considered super smart because that would hint at biological determinism (not saying that one directly implies the other, but any connection is enough). Therefore any interview process that is designed to select for intelligence (rather than other qualities) is going to be regarded as illegitimate.
I'd call that a win. Even the judge was fooled.
Vault: OSS4 securely accessing secrets (MPL, go)
I have to make a comparison.

My friend's brother-in-law is an ex kickboxing featherweight champion. The man does not have physical scars, but his brain is majorly damaged. He has some communication troubles, but the only thing his brain preserved is his physical prowess. American football players often play games just weeks after a concussion. Boxers... don't even get me started.

e-sports are IMO the least damaging of the professional sports. As a comparison much fewer e-sports gamers die due to injuries, and much fewer are crippled for life. The sedetary lifestyle is in fact a problem, but not too much more than it is for the average office worker.
My back of the envelope calculation is that it is equivalent to 5 GHz of wrongness
I like to make lots of repos. You can get a combination of both going with git when you merge repos together. They don't have to share history. You can setup remotes that are just paths on your system and make a single repo that contains branches for each service. You'll end up cloning a single repo a bunch of times, and fussing with branches instead of repos.
If you want to go by names
and titles, one of my Ph.D. dissertation
advisors was J. Cohon. Since
you are well acquainted with
CMU ...!

But I'm judging Moore's materials
based on the materials, not his
employment history.

I have nothing against Moore;
it's not about Moore or me.
Instead, it's about what
Moore wrote.

Google, CMU CS aside, sorry to tell
you, or maybe it's good news,
think of the good news, instead
of that A. Moore material, there
is much, much higher quality
material going way back, e.g.,
already by, say, 1970. There's
G. Dantzig, R. Gomory, R. Bellman,
G. Nemhauser, Ford and Fulkerson,
P. Wolfe (e.g., Wolfe dual in
quadratic programming), R. Bixby,
H. Kuhn, A. Tucker (prof of the
prof that was the Chair of
my Graduate Board orals),
D. Bertsekas,
J. von Neumann, J. Nash,
R. Rockafellar,
W. Cunningham,
and many, many more.
None of these people is in
computer science.

E.g., there are stacks of
books on multivariate
statistics with
linear discriminate analysis; there's
log-linear for categorical data analysis;
there's controlled Markov processes and
continuous time stochastic optimal
control, with, say, measurable selection,
scenario aggregation. etc.; there's lots of
material on resampling, the bootstrap (I
have published a paper in essentially that
topic); there's sufficient statistics from
the Radon-Nikodym theorem; and much more.

Okay, just in regression
and multi-variate statistics,
just from my
bookshelf, there's:

William W. Cooley and Paul R. Lohnes,
'Multivariate Data Analysis', John Wiley
and Sons, New York, 1971.

Maurice M. Tatsuoka, 'Multivariate
Analysis: Techniques for Educational and
Psychological Research', John Wiley and
Sons, 1971.

C. Radhakrishna Rao, 'Linear Statistical
Inference and Its Applications: Second
Edition', ISBN 0-471-70823-2, John Wiley
and Sons, New York, 1967.

N. R. Draper and H. Smith, 'Applied
Regression Analysis', John Wiley and Sons,
New York, 1968.

Leo Breiman, Jerome H. Friedman, Richard
A. Olshen, Charles J. Stone,
'Classification and Regression Trees',
ISBN 0-534-98054-6, Wadsworth &
Brooks/Cole, Pacific Grove, California,
1984.

And their mathematical notation is
quite precise.

In simple terms, what Moore is
doing in those notes is
mostly, not all, some
very fine, old wine, corrupted,
and in new bottles with new
labels. E.g., the 22 pages
on game theory without mentioning
just the simple linear programming
solution is gentleman D- work.

Readers would be seriously
mislead and ill-served not
to hear that the Moore material
is inferior, really, not good.
We're talking grade C, gentleman
B-.

Think of the good news: There's
much, much better material long
on the shelves of the research
libraries although rarely as
computer science.

That's just the way it is. People
here on HN should be aware of that
situation.
This seems like a popular conspiracy theory. But in what way does it make sense? Yes, the numbers are close, but

1) Why not pick a larger number, if there is legal basis to ask for it? Is there a benefit to winning the exact amount they owe somewhere else, aside from trolling? More money would be better, wouldn't it?

2) Why not pick a smaller number, if just a little, to avoid the similarity in the number (such similarities are noticed, as you are doing)?

It seems more likely that 2.7M is a number that they can justify legally. It may also have been justifiable legally in another lawsuit. Yes, it seems like an interesting coincidence. So what?

The same thing happened with the 16M figure from earlier in her trial - it appears both as a possible maximum willful damages number from her lawsuit, assuming she won, and somewhere in the legal proceedings of her husband's hedge fund. Again, an interesting coincidence, but the same objections arise.

Overall, the fact that people pored through all the numbers in her lawsuit, and all the numbers in her husbands affairs (one lawsuit, one hedge fund fiasco), and found some dots to connect, seems to say more about people looking for patterns than about Pao and her husband.
Quote from the article: "There's no monetary benefit to Mozilla from the integration: Pocket didn't pay for placement in the browser."
Yes, they do. Which serves to illustrate that we need separation of education and state, for the same reasons that we need separation of church and state.
I think it's hard for people who came late to the Atari 2600 to understand the hate, but for those whose introduction to the 2600 was games like Adventure and Missle Command, it was very much a letdown. I remember it very clearly. My friends and I gave it a chance but after about a day or so began ridiculing it mercilessly.
It's a nice approach, I like it. There is a difference between Option[T] and (T | Nil) that's worth mentioning, however.

Option[T]'s are composable. For example, let's say we have a "get" method to get the value for a given key, whose type looks like:

get :: String -> (T | Nil)

If we were using Option[T]'s, it would look like:

get :: String -> Option[T]

So let's say we have a map, and want to lookup a key (syntax is made-up):

let m: Map[String,(Int | Nil)] = make_some_map()
let result: (Int | Nil) = m.get("some-key")

If result is nil, was the value of the key nil, or was the key not in the map?

With Option[T]:

let m: Map[String,Option[Int]] = make_some_map()
let result: Option[Option[Int]] = m.get("some-key")

Here result will either be None, in which case the key wasn't in the map, or Some(None), which means the value of the key was None.

So there is an observable and potentially useful difference between (T | Nil) and Option[T].
No more than "drop the appeal or we'll demand 1M in lawyer's fees in the case you lost."

You can see both as blackmail, or both as legal positioning looking for a settlement in the middle.

I will say though, that after losing, to ask for such a high number is very brazen on her part.
Modern Design Tools: Adaptive Layouts
In general it scaled pretty well if you avoided loading tens of thousands of edges in a single call. A similar system was used on an app that would try to find connection strength between people using sent emails as signal. At it's peak the node table had tens of millions of rows, with some of the nodes (users) having thousands of edges each. The main pitfalls are

* loading too many edges (10K+) and associated nodes will be slow.
* Traversing nodes in a meaningful way can be difficult.

To solve these, the schema has the following indices:

On edge table: (`from_node_id`,`type`,`updated`)
On node_data table: (`type`,`data`(128))

Since edges rarely change, the first index allows you to paginate over edges by using updated as the order. As long as you request a reasonable number of edges, things should work OK. The second index is needed to get a node given some data, but a secondary use is sorting. By precomputing some score and saving it in node_data you can traverse nodes in that order (this is not currently built but is simple to do in SQL).

All this being said, the schema is pretty index heavy so if MySQL is forced to kick some of those out of memory it may lead to a bad time.

Thanks for the kind words on the model, I never thought about it being separate, but it makes 100% sense.
I keep seeing this argument made and I don't buy it.

Certainly the sums of both cases are not exactly $2.7M. Those are just rounded numbers. And certainly there is some very specific list of expenses somewhere justifying that request.

Plus, if her husband owes that debt isn't it reasonable to surmise he owes others?

Do you really think she would take the specific amount her husband owes in an unrelated case and the demand that exact amount from an unaffiliated party in an unrelated case? This is nonsense. Coincidental indeed and not even a very strong coincidence. It's rounding.
Of course they are a proxy, but they are much better and cheaper proxies. I was assuming that credentialism would remain - examination-based degrees make credentialism much less costly.
src: http://korben.info/vault-un-outil-pour-les-developpeurs-qui-...
> However, it seems that there is a tremendous amount of effort that goes into proving this software and I wonder if the time investment makes sense.

I suppose the effort wasn't just to prove this software correct, but to develop a methodology that allows proving other similar software.

> I wonder whether it will ever be feasible to make this part of everyday software development

I think that's where we're headed. For one thing, verification could be much easier with a language that was designed to ease verification (not C!).

We can also expect to eventually have a lot of proved correct components that we'll glue together using some languages that makes it easy to prove that the composition is correct.
I never understood the excitement for grunt/gulp/etc. People are reinventing Makefiles.
> Websites’ use of ever more in-your-face advertising formats (videos that play automatically, pop-ups that obscure the text you are trying to read) have driven ever more people to seek ways to block them. Younger consumers seem especially intolerant of intrusive ads, and as they get older, overall ad-blocking rates are bound to rise further, predicts Peter Stabler of Wells Fargo Securities, one of the authors of a recent report on the phenomenon.

Yep. Stop the "in your face" ads, stop the tracking, and people are less likely to block the ads and the tracking. It is really simple as that.

I despite all ads that start playing videos, gif animations, etc. It distracts me from being able to read the article. I'm okay with Google Ads, it's purely text and not annoying. But the only reason I block it is because of the tracking. It scares the shit out of me when I saw something related to what I was doing on a completely different site on a different day.

Fuck that.
> I don't know why the title was changed.

The HN guidelines ask submitters not to change titles except when they are misleading or linkbait. Accordingly, we often change an edited title back to language used by the article itself—usually the original title, sometimes a subtitle or other heading. One reason for this is that we can't judge the accuracy of most edits.

HN titles also tend not to include the names of authors or speakers. We learned years ago that the site works better when the focus is on content, not personalities.

(Submitted title was "SpaceX's GPU-Powered Combustion Simulation – Adam Lichtl and Stephen Jones")
No, it isn't. But some people think the Hobbesian PoV means outlawing strong encryption is exactly what the government should do.
Red Team – Bookshelf
Some slightly less common IDE-based ones can, like Eclipse, and probably Kdevelop, QtCreator, and MSVC.

There are likely to be add-ons for Vim and Emacs that actually parse the source instead of just pattern matching for syntax highlighting.
As a traditional athlete that has also dabbled in competitive Smash, I think every athlete has to ask themselves: Is it worth it? Not just in the immediate sense of getting back into the game, but in the long run.

I've watched too many teammates continue playing after it was clear their time was up. Always coming back for one more season when it was clear their bodies had had enough. I'm reaching the point myself where I had to figure out how much longer I'm going to play. I'll be done after my tenth season or sixth surgery or first major concussion, whichever comes first.

I'm going to have sports surgery #4 this summer. This dude has gotten one surgery, doesn't seem like a big deal to me. The author is right in the people need to stop freaking out.

One difference I'd like to note is that while e-sports and traditional sports have a lot of similarities, most traditional sports have a physical exercise component that benefits one's health. So I look at the sports I play and yeah, I've had three surgeries already, but at the same time I'm way healthier and in shape when I play them. So it's a tradeoff. I can't say the same about when I play competitive Smash.
I agree. I didn’t say feminism is a good idea. I said equitable treatment of people is a good idea, and that feminism is a label with baggage, exactly as you’re saying.
Unfortunately, it's more of an art than a science. The simple rule is: it should be as simple as possible, and no simpler than that. Obviously, everybody has a different idea of where exactly that line is.

Usually though, if you try to make the code clean and as small as possible while still allowing unit tests to be written, you normally hit a decent spot. YAGNI applies very heavily here too and it's often better to make the code less generic and refactor it later when required.
I'd heard of a sluice in the context of gold mining (during the Gold Rush). Fun word.
So you defined 3 systems as "significant", and are challenging to name more, when you know ahead of time nothing else falls under your definition. So brave!

According to Google Trends, JFS is the third most popular file system on Linux, and Reiser is #1. F2FS is pretty big too, and it's the fastest on Linux 4 / SSD:

http://www.phoronix.com/scan.php?page=article&item=linux-40-...
What's the advantage to Overstock? Saving the 0.5% underwriting fee? Then you also have to sell the bonds yourself.
It's only talking about classes from Spring specifically. HttpServlet isn't a Spring thing.
That email newsletter doe.
Why was Bernard Madoff able to run his Ponzi scheme for so long?

Why are the "best" leaders people with evil tendencies? Is that a universal law, or a symptom of a deeper problem?
A Manhattan Fortuneteller Cost Him Fortune After Fortune
Sadly not a joke: https://github.com/search?q=crapl&type=Code&utf8=%E2%9C%93
Yes! Ruby language features supported by InfraRuby have the same behavior as Ruby interpreters.

InfraRuby projects are created with rake tasks to run your code with either the InfraRuby runtime or Ruby interpreters. You could implement a file format or protocol in InfraRuby, and use that code in a Ruby project too. You could use Ruby interpreters for development and the InfraRuby runtime for production.

And if you decide that InfraRuby is not for you then you can take your code with you!
Nah, "small multiples" is a well-established term in visualisation. Multiple same-style visualisations of the same type showing different aspects of data or different data sets. http://en.wikipedia.org/wiki/Small_multiple
Constructing Large Controlled Nots
Not necessarily. Imagine two scenarios:

"Here's the government school. Anyone can go there for free."

"Here's $50,000. Spend it at any school you want."

Without advocating one or the other, it's clear that these scenarios are not going to produce the same results at all.

In fact, there's been a great deal of debate about whether or not the second scenario ("school vouchers") is a good idea.
Apparently not: http://www.alltrials.net
Yes, all decent C/C++ IDEs (Eclipse, Visual Studio, CodeBlocks) use different syntax highlighting for macros and functions. The problem with nested macros like this is a common bad programming practice, highlighted here in the C/C++ FAQ : https://isocpp.org/wiki/faq/inline-functions#inline-vs-macro...
-3 every time I post in this thread. I guess I'll keep posting.
Good point

And today, chances are the firmware is updatable, even if it's not documented/supported.
Over 50 Top Business Resources for Internet Entrepreneurs
Are you saying that some but not all cycles are kosher with ZFC?
No, no it will be %100 correct when, in the future, you want to compare it to some then present day technology and claim he predicted it.

I feel that way about all of the things the article claims he predicted. I was reading him in the 1990s and he wasn't exactly precise in his predictions in my opinion.

I think he's a self promoter of the highest order.
This is a worthy initiative because academics really are shy about releasing crap code, and yet access to other people's code can be critical in understanding why their results differ from yours. It can save a lot of headache.

But it's also a demonstration of two ancient adages:

1) Developers should not name projects for the same reason marketing people should not write code

2) Legally binding instruments should be written by people with legal training. It doesn't have to be lawyers, but people who at least know enough that "By reading this sentence you have agreed to donate your body to science" or similar is not going to fly.
Ads that you don't pay attention to are useless to the advertisers so they won't stop doing intrusive ads
> It'd all be so much easier if people just stuck to what's already there.

You mean like... make?
I'm sorry. I have mistaken the URL of the implementation in Dart which was compared to those in Go:

< [1] http://www.oki-osk.jp/esc/dart/lisp/lisp-27-03-31.tar.bz2
---
> [1] http://www.oki-osk.jp/esc/dart/lisp/lisp-27-05-08.tar.bz2

The page http://www.oki-osk.jp/esc/dart/lisp.html refers to both of them.
While I respect the point your trying to make (reduce foreign intervention), in this situation your analogy isn't applicable. What happens with the Special Operations units is that they are given more funding, more independence, high fitness and personnel standards with the ability to release someone for failure to meet standards. This kind of unit attracts high caliber individuals, which the selection process picks and chooses from.
There are no open source smartphones with open source firmware for their modems. The closest you can get is Openmoko Neo Freerunner with OsmocomBB installed, but you cannot legally use it to transmit anything on public networks before you obtain new certification for the modem, as replacing the firmware voids the one vendor got for you.

The best you can get regarding openness of devices that can be practically used is to completely separate the main CPU from baseband processor (sans some generic interface like USB or serial) and this is exactly what Openmoko, and now also Neo900 are doing. Neo900 project goes one step further - it assumes the modem is a rogue black box by default, so deploys systems that allow the user to monitor the modem.

Unfortunately, mainstream devices go further and further away from that separation and now most of the time use fully integrated designs, where the non-free firmware of the baseband has full access to user OS via shared RAM or even shared CPU.
To do that you need to do quite a bit of what the compiler does. For example, you need to know the include search paths, which can get modified by compiler flags, and you need to know what flags got set on the command line, for example to discriminate debug from release builds or to specify C99 compliance.

So, you basically need an IDE to do robust C syntax coloring.
The article says that number is her legal expenses, right? So it seems pretty straightforward where that number came from.