skysight-inc/HackerNews huggingface dataset:
Most of computing is actually sequential, or a small set of sequential computations carried in parallel, often reactively based on an input. So you agree that in cases well described this way (e.g., a Word processor or a Web browser or an Excel spreadsheet) text is a better decription of the computation? Specifically, re:excel, I'm talking about describing Excel itself, not a specific spreadsheet (which may sometimes have a reasonable graphical representation)

Music notation is graphical, and still gets complaints for being "hard to read" by people who haven't mastered it. My intention for bringing it up was not "see, it's not working", but rather "see, it doesn't make things simpler".

Circuit diagrams are graphical only for very small and simple circuits, which illustrates my point about scaling - there is no circuit diagram for any circuit with more than a few tens of elements anymore. Take a simple processor, for example - there are textual descriptions (verilog, vhdl, ihdl, ...) which are compiled into logic gates and/or netlists (textual or binary), and the result of layout (which is graphical, but not for human consumption). There's a block diagram, yes, and a small number of those blocks can be zoomed into another block diagram or a circuit -- but by and large, with the exception of manual layout tweaking, it is textual -- and that's in an area that started with diagrams and still champions them in its courses.

I disagree that the field is in its infancy - we've had pen and paper diagrams for everything in computing since forever, none of which has scaled so far to a complete system (some are ok for toplevel, some are ok at the really bottom level, non work in the middle) , including flow charts, data flow diagrams, UML and its tens of different diagrams, etc.

I would love to be proven wrong, though, but personally I have given up on this kind of things.
That's exactly how the UUID crate implements them: https://github.com/rust-lang-nursery/uuid/blob/master/src/li...
yes. right. i think they are trying to maximize profit in any environment.

and eliminating prop 13 would mean less profit. if the experience of rent control laws over the last forty years in places like Santa Monica is any guide, the property owners will cut corners on building maintenance if they are not allowed to raise rents and pass the tax hikes through to tenants.
The RFC doesn't seem to mention anything about the atomicity (or lack thereof) of loads and stores of variables of the 128-bit types. From the discussion, it seems that on a number of current architectures, they're not going to be atomic.

Does this cause any problems in the Rust view of the world? Will there be unanticipated issues for developers who have been getting along just fine so far unknowingly assuming that all operations are atomic, which they have been just by virtue of how the hardware works?
5 Countries Who Will Pay You to Live There
It is not a plane with a gun attached. It is a gun that someone built a plane around.

Brrrrrt.
This one? - https://www.amazon.com/ARM-System-Developers-Guide-Architect...
The primary security gain of sandboxing is about making it harder for web content to hijack your computer by exploiting security bugs. Many common types of bugs can be exploited to get remote code execution in browsers because of unsafe programming languages used (C/C++).

Both Chrome and Firefox have multi-process sandboxes now, Firefox is a little behind and plans to enable multiple content processes next year.

While Chrome's is more granular, it does share processes between web pages from the same domain so won't start a new one for quite every tab.
How would one go about starting neurofeedback training? Can this be done at home by ourselves, if so what equipment do we need and what are its cost? Can you give any further pointers/links?
Rust has separate atomic types for doing atomic operations, so currently, none of them are.

So, if you wanted an atomic type, you'd find it here: https://doc.rust-lang.org/stable/std/sync/atomic/index.html

In other words, no, it shouldn't be a problem, at least in my understanding.
Ask HN: Google Showing Different meta title
If you google https://www.bewooden.de/ there is a completely different meta description and in website its different.

anyone who can help. google shows different meta title then actual title.
What is the logic flaw? No evidence to support a position is enough to exclude it. Even though you are right, it doesn't mean it is proven false. It does mean no evidence of it being true.
I take it you didn't read the second link, where I said:

No, this wouldn't happen, because the lien is only on 1% of the excess gain (the amount the value increased over 2%). If, for one example, the value jumped in the first year and then went flat, the payment would continue to grow at 2% annually until it caught up to the value. The only scenario that generates a lien larger than the owner's gain is if the market has been up but then drops sharply just before the owner wants to sell -- in short, if there was a bubble. Well, bubbles produce lots of dislocation; I don't think they make for a good argument against this proposal.
There are hundreds of companies that provide this ranging from free to very expensive. This product category is called: Live Chat software.

Here's a list of many providers: https://www.quora.com/What-are-the-best-live-chat-solutions-... . And here is the Quora topic: https://www.quora.com/topic/Live-Chat-Software-1 .
Not in a way that complies into one or two machine instructions. So, your array code is an order of magnitude or two too slow. Never mind having to write it at all.

Added: I'm talking about implementing specific, optimized hash functions on 128-bit values (e.g. GUIDs, IPv6 addresses), and not generic hash functions that can take any length input (although many of them speed up linearly in the size of int that gets used internally).
To be honest, I don’t think HN is the right place to discuss that. Too often the discussions get really nasty.
I agree. HN will be better without threads about politics.
Interesting to see a Channel9 video on YouTube.

Erik Meijer's genuine interest in the subjects in his videos make them a pleasure to watch.
Great review, this is more insightful and relevant than the linked piece.

I ended up up buying a 2015 MBP model and know several others who have done the same after avoiding or returning the 2016 MBP. I personally could have probably stomached the various 2016 compromises and nuisances for much improved performance and 32GB/64GB RAM, but as is, just can't do it. Maybe next year.
Crisp does that, and is able to integrate with Slack to reply to visitors - in addition to its Web dashboard.

Website: https://crisp.im/

Disclosure: I am the co-founder.
Ask HN: What is your opinion on the pebble/fitbit rumors?
Oh, just found this:

> The Duration type could be simplified with this: instead of using a u64 for seconds with a seperate u32 for nanoseconds, it could just be a single u128/i128 count of nanoseconds.

Of course, just a single u64 at ns precision would get you 500+ years of range. But ok.
Why do we need to discuss current events on HN? From the guidelines: ”If they'd cover it on TV news, it's probably off-topic”.
I was going to be a jerk and just say 'heroin' but then thinking about it, addictive properties does indicate one of the signatures of successful habits. The times that I have developed exercise habits is because I managed to get over the first week hump and then wanted the adrenaline rush that came with it.

One pertinent aspect of developing any sort of exercise habit is that the routine needs to vary enough - not just to help you grow - but also to keep giving you that adrenaline feedback. This is why a martial art of some sort is a good exercise routine, because of the variation that tends to naturally occur ( I prefer capoeira )

But I guess the most systematic and scientific way to develop a habit is operant conditioning http://www.simplypsychology.org/operant-conditioning.html
Mandatory XKCD: [1]

[1] https://xkcd.com/593/
Glorious Luminary: On William Blake
My Unhappy Life As A Paywall Heretic :(
I think the best thing I've read about truth and politics is "Politics is the Mind-Killer" (http://lesswrong.com/lw/gw/politics_is_the_mindkiller/), by Eliezer Yudkowsky back in 2007:

> Politics is an extension of war by other means. Arguments are soldiers. Once you know which side you're on, you must support all arguments of that side, and attack all arguments that appear to favor the enemy side; otherwise it's like stabbing your soldiers in the back—providing aid and comfort to the enemy.

In recent years people seem to be more and more comfortable with this war metaphor, not as a matter for concern and reflection, but as a subject of pride. Well, of course we have to win the battle of ideas; it's a culture war after all!

When you think in this way, the goal of argument isn't to find what's true, but to win. And if you have to advance some shaky ideas on your side or ignore some inconvenient facts on theirs, well, it's all in the service of a greater truth anyway, right?

But how can you fight a war in the service of truth when truth is its first casualty?
There it is, the founding document of Big Science.
Interior point methods?
'X is true'

'X is false'

'X is not proven to be true or false'

are all different statements. He is committing the fallacy of the excluded middle.

If OTOH he wishes to claim X is false he should say it was proven false. But I infer he didn't have such evidence, just that the committee had found no supporting evidence.

Of course, in science truth is a probabilistic concept, but here we don't have the figures.

I'd also like to read a response from other climate scientists or journalists to see if there's a part of the story he's omitting from his framing here.
Does Biochar Deliver Carbon-Negative Energy? (YT)
Truther Love
The main idea in softcover is to use (a restricted subset of) LaTeX as the "main" representation, which then gets converted to html + MathJaX using tralics (a latex-to-xml converter) and lots of custom pre-processing, and post-processing steps. The source code is quite readable. The end result is the following pipeline:

.tex --> .html+MathJax --> .epub --> .mobi

The "Softcover-flavored Markdown" is just an optional convenience to enable people who don't know LaTeX to use the system as follows:

.md --> .tex --> .html+MathJax --> .epub --> .mobi

The way I see the .md to .tex conversion is not that exciting, but the fact we finally have a civilized way to produce .epub/.mobi from .tex files is an amazing achievement. If you're working on books, I highly recommend checking out the softcover software stack.
So does Go, so a net.IP could be [16]byte or [4]byte, but I'm sure you can see the obvious problems that might occur there (with having two separate IP types).

Most UUID libraries I've seen and written use [16]byte as the concrete UUID type.
Read this one and tell me if you think it wasn't:

https://www.theguardian.com/environment/climate-consensus-97...

I don't know who's right, here, but the guy is hardly an unbiased source. Plenty of climate deniers like to paint themselves as just rationally examining the facts and reaching politically inconvenient conclusions.
is 143movies.com safe to use?
The sad problem with climate change is that otherwise sensible people are willing to put intellectual honesty aside in the name of "we desperately need to convince everyone that a disaster is coming so they'll be scared into preventing it". Saying something that might calm people down and fear less is heretical, no matter if it's true or not.
Thanks a lot for making this. I found out about this while installing Git 2.11 when it asked if I'd like to enable symlink support. Makes life a lot easier.
Backward compatibility?
My grandfather almost certainly would have known him. He worked in the Poughkeepsie lab in the 50's and into the mid 60s. He led the development team for the IBM 1620. I wish he was still around to ask.
This problem is deeper (HA!) than trying to apply a computer algorithm. It's a labeling problem. It's an interpretation problem. It's a human problem.
Key quote:

Hey, American progressives! The future President of the United States called the head of a state that directly elects its president, which has a world leading national health insurance program, no guns, and may soon legalize gay marriage. Check your values: which side are you on here?

I didn't vote for Trump, but yeah, I think we should recognize Taiwan.
Distributed Process Management
I agree with you what you are saying, but at least in the WSJ article, he doesn't claim it was "proven false" so the fallacy doesn't apply.

He is being fair, and quotes the report which simply says "insufficient evidence". But that is enough to exclude from positive claims, even though it doesn't disprove it.
Even if opposing viewpoints are likely incorrect, there is some risk to omitting sections of the climate change discussion. There are many "things you can't say" about climate change.
One of Rust's strongest features is its ability to outlaw data races. In this case, the 128-bit types only provide mutations that take &mut self, that is, a unique unaliased pointer, meaning there's no way to concurrently mutate and hence they are automatically atomic, in a sense.
Indeed, and climate scientists got nowhere for decades being terrible at politics and good at data, which leads us to our current still-probabilistically-hugely-likely (despite this apparent political problem) dire predicament.
The "zone memory improvements" however were also significant:

"Figure 5 shows the peak zone memory improvements since M54 which reduced by about 40% on average over the measured websites. "

From: http://v8project.blogspot.ca/2016/10/fall-cleaning-optimizin...
You might be interested in the FSet library (among others): https://common-lisp.net/project/fset/Site/index.html
Internet for the Handicapped
Right. Cassandra crawled at 20 TPS when we sent IF cql statements. One thing to note is that Cassandra txns can never be rolled back - they can only be committed/ retrried and so on.
Ah, the messy intersection of politics, journalism, and science. It looks (from one side) like an example of journalism constructing a narrative and suppressing evidence that doesn't fit. Obviously this doesn't help the cause beyond the short term.
I don't see the obvious problem (fwiw, I really dislike such rhetorical devices): presumably net.IP could a struct that contains a [16]byte and an isV4 flag.
Because all of that "unused" RAM in the background is actually being used by the OS for disk caching, thus reducing the overall frequency of reads.
I wish that school did more to convey the fact that even the most prominent authors are flawed people like everyone else, and that some of them can be outright assholes - no matter the quality of their writing. Instead, literature classes often put authors on pedestals.

There's undeniably some great insights in Thoreau's work, but many parts - such as the one you linked to - show that he was kind of a douche.

The first time I realized that someone whose work I deeply admired was a total asshole, many years ago, was eye opening for me. The art can be sublime, and the artist can be the lowest of scum. It makes talented people with a lovely personality that even more admirable.

(Also reminds me of one of my favorite quotes for people working in prestigious, competitive environments: "we're all talented here - differentiate yourself by being kind")
Hacker News wouldn't be Hacker News if it wasn't full of assholes.
"I was right to question" is certainly supported by "insufficient evidence to claim a statistical relationship" coming out later. I don't see any error based on the information presented in the article.
From Wikipedia on Piekle [1]:
"Any conceivable emissions reductions policies, even if successful, cannot have a perceptible impact on the climate for many decades", and from this he concludes that, "In coming decades the only policies that can effectively be used to manage the immediate effects of climate variability and change will be adaptive."

This sort of do-nothing fatalism is enormously disingenuous and dangerous, and his WSJ op-ed badly understates his criticism as mainly about current weather effects.

The fact that Pielke's dad was also a high-profile climate change denier can't help, given the fact these sort of "decades to take effect!" arguments have themselves now been made for decades as part of a typical corporate/politically-motivated FUD campaign.

[1] https://en.wikipedia.org/wiki/Roger_A._Pielke,_Jr.
The second paragraph of the quotation begins: 'When his research was eventually published in 2008, well after the IPCC report, it concluded the opposite:'

So he does claim that these are opposites. That is my problem with his argument as presented.
In the comments section here, someone kindly posted an alternative link: http://archive.is/iFMxG
Ask HN: What are the best free resources to syndicate white paper?
How much websites like tech republic,IDG,Cio.com charge to add one white paper?
I read your article, and I think comparing him to a gravity unbeliever/flat earther is grossly unfair.

I don't know who's right either, but the answer isn't attacking Pielke, or preventing him from speaking, or getting him fired, or starting government investigations. Pielke is surely biased, but so is the author of the Guardian article, and so is Tom Steyer, and so is Paul Krugman.
AES blocks!
Rust isn't hashcode based. You don't define how to hash a type in that way. You define hashing algorithms which operate on arrays of bytes. All a type has to do to implement hashing is specify how to feed its bytes into a hasher.

Hashers provide conveniences for feeding in a u8, u16, u32, u64, etc., but most hashers just implement this as casting the value to an array of bytes and using the generic implementation. This is because most algorithms are defined in terms of bytes. Evidently there isn't any interesting optimization to do by statically knowing you have a u32 vs a u64 for these algorithms (appears to be the case for SipHash, XXHash, and Fnv).

And indeed, u128 continues this tradition in the PR: https://github.com/rust-lang/rust/pull/37900/files#diff-2327...
You seem to be focusing on the word "opposite" which I think was used in quite a reasonable way here, even if not technically accurate. Does that actually change the validity of his complaint? That fabricated data was published in the IPCC report, and later nobody was able to show that it was true?

Perhaps it may turn out to be true oneday, but the meat of the problem is that it was published without evidence. Then compounded by the fact that somebody looking for evidence failed to find it.
Whatever one can do on an i128, one can do "manually" on an array of bytes, e.g. coerce to a pair of u64s to avoid having to manipulate each byte individually.
Glue and cloth make a strong composite material. Strong enough for gears.[1] Some of the gears in Teletype machines were cloth, for quieter running. Plastics have obsoleted cloth gears, but they worked fine. For armor, that level of rigidity may not be what you want.

[1] https://books.google.com/books?id=RulMAQAAMAAJ&pg=PA96
From his op-ed:
"I believe climate change is real and that human emissions of greenhouse gases risk justifying action, including a carbon tax."
> There is scant evidence to indicate that hurricanes, floods, tornadoes or drought have become more frequent or intense in the U.S. or globally. In fact we are in an era of good fortune when it comes to extreme weather.

Try telling that to the residents of California or Gatlinburg, TN.

OK, anecdotes do not constitute data. So here's some data:

https://www.nifc.gov/fireInfo/fireInfo_stats_totalFires.html

Look at the number of acres burned, which is the metric that matters. The upward trend over the past few decades is unmistakable even without fancy statistical tests. And that's just what I was able to find in five minutes on a ridiculously slow internet connection.

It's hard to tell the difference between "there is scant evidence" and "there wasn't any evidence where I happened to look for it."

[UPDATE:] Here is some evidence that the author is being deliberately deceptive: https://news.ycombinator.com/item?id=13099156
Search the article on Google and open in an incognito window. The WSJ's paywall usually goes down if you do.

Also, maybe don't insult people based on articles you haven't read.
"There is statistically strong evidence of X" and "there isn't" are opposites. I think you're perhaps reading it over-pedantically.
I think you're mistakenly interpreting that quotation as claiming that there is no relationship between temperature increase and catastrophe losses. But it instead makes narrower claims, such as: he was right to question the report; the graph was based on inaccurate information; the later data didn't show a relationship between temperature increase and catastrophe losses.

If he'd written something like "Because there is no relationship between temperature increase and catastrophes, as proven by the insufficient evidence to support that, I was right to question the report", then you'd be right. But he didn't say that. I think he's only saying that he was right to question the report because that graph was inaccurate and invented, and because later data showed there was insufficient evidence for the relationship it was supposed to show. If reports shouldn't contain inaccurate and invented data, especially invented data that isn't similar to empirical data, then he was right to question it.
I think a key differentiation between ML and more common statistics is that ML is designed to improve itself based on data. Statistical methods don't do that.

So maybe they're trying to do very similar things in a lot of cases, but self improvement is a major differentiator.
Im involved in 5 but I mostly contribute just to 2.
(Other 3 need some work just once in few months)
Sorry, but where is wildfire in "hurricanes, floods, tornadoes or drought"?

This kind of dismissal of a no-doubt nuanced opinion on a scientific issue based on "what you found in five minutes on the internet" brings literally nothing to the conversation.
I suspect that the number of cars sold per capita, regardless of origin, has remained very roughly the same since Detroit's better days.

In the US, down about 25% since 1976, actually. This reflects cars lasting longer.

[1] https://www.advisorperspectives.com/dshort/updates/2016/12/0...
Right, but the point is that to date, being careless about asking for an atomic type explicitly would not lead to buggy behavior. But now it will, so some folks are going to be stumped when they use their old habits and get flakey results. Not that there's anything to be done, other than warning folks that they can't just widen their integer types and expect it to work without checking for this case.
How can we be sure what caused the increase in fires? We seem to change our approach to fire prevention and management constantly. Some strategies employed by the Forest Service and other state and federal authorities in the past have almost certainly been counterproductive, such as aggressively fighting small fires that would otherwise have prevented the accumulation of undergrowth that is now making larger fires much more dangerous.

It's as ridiculous to cite an increase in forest fire severity and frequency as proof of ACC as it is to cite a few particularly bad snowstorms to deny it. Deniers will legitimately cry foul when you use the same bogus rhetorical tools that you forbid to your opponents.
OK, I see where you are coming from, and it is a fair interpretation. I just don't read opposite as equal to false. I read it the opposite of a proven claim is an unproven claim, not a false claim. But I think this is a distraction - even if he meant it as proven false, and fell into fallacious thinking, he should simply be corrected, not vilified, not investigated by the government, and not hounded out of a job by a billionaire activist.