jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
> None of them are the sorts of people who are anywhere even close to power or influence,

Isn't that exactly the point? Brexit happened because of a referendum where normal people got a vote.

> That is people's views drive newspaper coverage, not the other way around.

I think if this was true, nobody would bother printing them. It's not like they make much money. I'm sure there's an element of organic xenophobia that would make people sympathetic to the EU free movement idea, but I don't think that's enough to create a demand for daily updates on how 'bonkers brussels bureaucrats ban bent bannanas!' (a genuine story).

I don't think anybody ever has picked up a paper because they were dying to get the details about that particular scoop - and honestly, that was one of the most memorable ones.

I can see some grounds on which Euroscepticism was organic in england, but I also have absolutely no doubt that such an idea would never have been successful without the amount of media support it got.
> Maybe "she" deserves a serious wake-up call, but "they" most certainly do not.

Being a two-person operation is probably why they ripped off most if not all of their content.

"Craftier Internet denizens started to research more of Cooks Source's publications, discovering that other articles could be lifted from The Food Network, Martha Stewart, NPR and even Disney."

http://www.digitaljournal.com/article/299928

Not just articles, but also photos, discovered with TinEye.
Just to be clear, the Unabomber was the person that sent the bomb, not the coworker.
i completely agree about the shameful stagnation.

There are 2 things - the threshold is too high and there isn't a killer app yet. The Rutan/Branson's venture has crossed the threshold, and they may potentially hit the killer app target if they increase the distance flying - ie. "2 hours from California to Sidney" instead of "from California to an island in the Pacific". $130K instead of $13K in 1st class - it bites, yet the early adopters and economy of scale may as usually help here. I have my fingers crossed :)
I don't understand your point here.
If this is working for you, just keep at it.

The problem I have with systems like pomodoro or anything that “forces” you to put leisure time in-between times of focus is that, for me, it’s difficult to get into the zone when you’re switching gears so much. If I really get into my work I might leisurely browse the net every-now-and-then and get right back to it without really thinking about it. With pomodoro I had to make a conscious effort to stop due to the pomodoro timer, with a slow ramp-up time right after.

I’ve also tried GTD years ago but it never really fit for me. A Post-It note with all the stuff I need to get done for the day works for me.
Many consumer radio-emitting devices can be configured to emit far greater power than their default. For example, hacked router firmwares enable one to boost the transmit power of their wireless router's radio to the point of burning itself out. As pointed out by another comment, the Therac gives an example of what can happen when software controls malfunction. Since these scanners aren't medical devices subject to FDA regulation, it's conceivable that hard-wired emission level safety systems were omitted in favor of a completely software-based system.

The burden of proof of safety lies with the TSA and scanner manufacturers.
Location: New York
Remote: Yes

Willing to relocate: No

Resume: https://www.linkedin.com/in/arifh173/

Email: hussain.arif305@gmail.com

------------------------------------------------

I'm a QA engineer.
I checked the author, Eric Roberts, and it looks like recursion is his specialty. Good reference, thanks for the link!

http://www.amazon.com/Eric-Roberts/e/B001IOH3DO/ref=ntt_athr...
even when everyone dials in, the people using a cellphone or joining conference calls while travelling are at a distinct disadvantage. Any number of calls I join have at least one guy having to drop out and come back in because the signal keeps fading.

The other thing I've noticed with a large number of dial-in participants is that there can be a lot of silent attendees and very few people talking. YMMV
BTW if you're going to FOSDEM check out http://www.postgresql.eu/events/schedule/fosdem2015/session/... where I will host a full talk about pgloader ;-)
Would make sense given Marty is a reference to Marty McFly from Back to the Future; having to do with state management through time and, of course, Flux capacitors.
Boy did you say it. The contempt for working people in this society is palpable: "You don't want to end up flipping burgers, do you?" Morever, if you choose to forgo that option and aim for a higher paying job, you get: "Why don't you get a job? You too good to flip burgers?" The working class can't win.
In the UK, from my experience at least, providers combine the modem and router into one device. In this case, the Numa wouldn't really cover it and you'd need to buy a switch as well.
Meteor.org is not too bad; apps built with it are comprised of a controller layer, and a presentation layer. Generally, both are very lightweight, and not much configuration is required. Just pull in the packages you need. Optionally, you may define hooks on your data collections, e.g. Posts.before.update = function(userId, doc, ...)
I totally understand where you're coming from. 4chan was my refuge for a very long time through some tough times in my life, and 8chan is the only alternative I've used that captures the feeling of 4chan. I tried many other english "chans" over the years (7chan, 99chan, 420chan, the wakachan/iichan "network", the easymodo/warosu ghost boards, SAoVQ, etc), yet I didn't stick around with any of them. They had their own unique communities, sometimes with greater average "quality", if you can measure such a thing, but nothing could match the excitement and energy of 4chan. I think this is because even the notable ones tried to distance themselves from the "4chan mentality" and community, and attracted different but much less significant audiences in the process. And who could blame them: why would you go to a blatant and insignificant 4chan clone that didn't have anything different to offer?

8chan was once just like that, a ghost town of a somewhat more modern AnonIB clone that wasn't really going anywhere. It owes its success entirely to the fiasco of Gamergate discussion being banned from 4chan, which caused a (literally) overnight exodus of a significant minority of 4chan who wanted to discuss it, along with those who (like me, in spite of the fact that I sometimes defend it on HN) were mostly appalled by the blatant abuse of power. These people weren't trying to "get away from" 4chan or its culture, they were forced to leave. They weren't curmudgeony "oldfags" or the like trying to enforce some new cultural norms in their secret club to increase the "quality", they were 4chan.

Perhaps not surprisingly, the site is now thriving as a community "for people who loved 4chan, by people who loved 4chan." And that's what's I love about it. It's just like 4chan, with a lot of the same people and ideas, but now, the community is running the show, not some guy trying to distance himself from "his creation" and a team of mods that often don't even use the boards they're supposed to protect enforcing arbitrary rules from afar.

Give it a shot. For all the negative attention that boards like /gamergate/ and /baphomet/ receive, they're in their own worlds. The rest of the site is very welcoming towards anyone that understands "4chan culture" and isn't obnoxious about it. Also, webms with sound.
That's a very interesting story. Radium was a huge hit in its times. That what was happening was even called "Radium fever".

Radium was everywhere including toothpastes, shampoons (cure against hair loss).

Fortunately only a few people could afford Radium-enhaced products, since it was expensive. Side effects started to appear quite soon too.

There were other popular uses of radiation, until '50 many shoes shops had X-ray equimpent that allow to see how shoes fit [http://en.wikipedia.org/wiki/Shoe-fitting_fluoroscope]. Not that great idea, after all.

For me it is kind of warning against using everything that men invent or men can do. There are always things we don't fully know or understand. In the long term something could be a great danger for all of us.

Before we jump into next great thing it is good to stop for a while...
The first link is interesting, it does say the saw signs of activity in the same brain region of a blind echo-locating person as a sighted person who is activity looking at something, but it is hardly a smoking gun.

Perhaps if you are defining "3d" information as something very primitive to the point of being "is there something directly in front of me", but nothing even as close as rich as even the quite crude 3d information being conveyed on the hacked oscilloscope outlined by the OP.

I do see technology eventually giving blind people some sort of "sight" back, but not for quite some time, perhaps after there is some sort of workable neural interface that currently lives solely in sci-fi.
Unless the marginal property tax rate is over 100%, It's almost always going to be worthwhile for the property value to go up. At the very worst you could borrow against the extra equity, pay off the tax, and recoup when you do finally sell. Or die.
Have you seen the recent (unmerged) GC work https://github.com/JuliaLang/julia/pull/8699
This is incredibly useful. It's just east of Steven's Pass.
Of course we should address those problems as we identify them. But solutions may take years, even decades, to take root. What should lenders do in the mean time?
What a pity that such a talent should have a shadow hanging over him.
The right thing to do would have been to be honest about exactly what arrangements they made months ago (at the time); if that was "we fully comply with the laws of nations in which we operate, including providing copies of messages stored on servers in those countries to competent national authorities", just reveal that. BESes hosted within a given country obviously must comply with disclosure (which is probably easier to effect on the exchange server itself, since there are LI products for Exchange already).

The actual technical architecture of the BES blackberry product, as designed, should resist these threats; it was just the blackberry messenger product which was at risk.

RIM's unwillingness to be upfront about this calls the actual BES architecture into question; they could trojan the BES servers or client devices if they really wanted, and no one would really know any better. It's possible that they agreed to sell a backdoored version of blackberry client devices in the affected markets, too, so even if you're talking to a strong BES in the USA or Canada, your communications can be locally compromised by intelligence/police agencies in your home jurisdiction.

When it comes to security, you have to assume the worst; the onus is on the vendor to show that bad things aren't done, or ideally can't be done.

This is pretty much representative of all the problems RIM has commercially (not just the security issue); they lack competent and effective leadership. They're pretty much the anti-Apple; multiple chiefs, none of whom are decent.
I meant unsuccessful from the point of view of shutting down Bitcoins. However, I suspect that they'd find it difficult to charge Gavin. The Bitcoin system doesn't use physical coins, so they won't run afoul of the same law that shut down Libery Dollars. There also isn't a lot of difference between Bitcoins and in-game virtual currencies like ISK, or WoW gold. You'd also have rights organisations like the EFF lining up to defend Gavin.
Cortex didn't out him, he outed himself and cortex confirmed it. My assumption is that cortex asked for permission first. I'm not in on what happened behind the scenes in this particular case, but I've been hanging around MeFi for a while, and the mods are generally very scrupulous about privacy.
+1, Cmon how can you kill someone for raising money, regardless of its whereabouts or accompanied false promises...

"A bit harsh", my god, get a grip
The damage is already done. Most of the major distros are switching to LibreOffice in their next versions. I've been advising those with OS X or Windows to follow suit.
So it would take all of Google's cash on hand to buy 1 player (assuming they could even pull it off). It isn't like google's market cap is something they can liquidate or even really make any significant usage of.
Now if only the site was still popular this might matter!
When proving there are choices of "proof systems" to use. Each have different properties. One really vital property is non-contradiction. "Proving False" (note the capital 'F') is terminology for showing contradiction. From False you can (trivially) prove anything regardless of whether it is true.

Falso is a joke proof system which assumes False. This makes proofs in the system very short since they are all of the form "If False, [conclusion] is true; False is true; Therefore [conclusion] is true; QED."

Practically, proving False undermines the value of a proof system. Thus Coq, like all real proof systems, would like to ensure that does not contain contradiction.

The first joke is that this bug calls itself an implementation of Falso in Coq---e.g., a demonstration that Coq has a bug sufficiently dangerous to admit contradiction.

The second joke is that Falso's site---which is tongue-in-cheek hyperbolic on the supposed "benefits" of Falso as a proof system---lists "implementations" of Falso. In other words, that section is a "wall of shame" for proof systems which have flaws sufficient to "prove False".

---

To explain the exploit it has to do with a weakness in the `vm_compute` instruction under large sum types.

Essentially, Coq is based on the idea that "generalized lambda terms" are useful as proofs in a proof system. Part of this usefulness arises from the fact that their "proof system" meaning is invariant under evaluation. Normally evaluation of large lambda terms is slow so `vm_compute` compiles them to bytecode in a VM [0] and executes them there.

Apparently the VM chokes on sums larger than 256 variants. Since Coq assumes that "VM computation" is equivalent to "standard lambda term reduction". The VM bug breaks that equivalence and allows us to state that `true = false` which is contradiction.

---

Impact-wise this is pretty minor. It ought to be fixed since accelerating verification is important for UX purposes, but it doesn't show a weakness in the core calculus---the weakness arises from the assumption that VM evaluation is substitutable for standard, theory-driven lambda term reduction. Clearly this is false.

A much worse weakness, for example, was Girard's Paradox which showed that theories of a certain simplifying form were contradictory [1].

[0] https://coq.inria.fr/distrib/current/refman/Reference-Manual...

[1] https://coq.inria.fr/library/Coq.Logic.Hurkens.html
I feel like the more general concern for what you are trying to address is that we may have cultural or systemic problems that funnel money away from the people who we hope to benefit, and basic income seems to do little to change this.

What's to stop my landlord from increasing rent by $1000? What's to stop all of the landlords in town from doing the same?

Well, there's the fact that, if my landlord did this, I would start looking to move, and probably look into buying a house. Assuming the housing costs didn't also increase at the same rate.

I just doesn't feel like there's anything to prevent this. I already have to pay what my landlord asks or spend weeks trying to find a suitable alternative, and it feels like the fact that my landlord thinks their time is more valuable than mine is the only thing actually stopping that. If they knew their renters could bear such a rate increase...
I find that since I stopped sitting, I walk around much more. There may well be few benefits to standing per se, but it's certainly an excellent catalyst for movement and exercise.
There are a couple of things going on here.

First, when you're young, your life experiences in the world are less varied, so you can fail to appreciate many of the more subtle interactions in those works which you pick up on when you're older. That's why the classics offer so much re-readability. You're a different person each time you read them, and bring different perceptions and knowledge to bear. It's also why fantasy and science fiction has broader appeal, especially when you're younger--the real-world experience matters less, and it is the creation of these worlds that sets much of that background context that you're missing at those ages.

Second and similarly, the more you read, the better reader you become. This applies to artistic media like movies too. I remember the difference between my ability to follow the plot in movies as a kid versus as a young adult versus as an adult. Subtext and complications not appreciated at a young age become much more apparent the more "good" stuff you watch.

Take something like "Miller's Crossing". I saw this when it first came out and focused mostly on the acting and the events unfolding, but didn't really get into the motivations and missed a couple of the implications. Watching it again more recently, a whole new level opened up. I wanted to share it with my high school kid to broaden his horizons a bit, but I realized that even those plot points I took away the first time would require explanation because he doesn't really have enough experience inferring implied motivation of characters.

It seems like the "classics" become classics because they are written to appeal to all of these levels and can be revisited many times. Perhaps introducing these at a young age simply gets that first exposure out of the way, even if all the subtext is lost.
The Lindy Effect [1] would say that the best guess is that they'll still be reading her 95 years from now...

[1] http://en.wikipedia.org/wiki/Lindy_Effect
Exporting X via SSH is still ultimately a bad user experience, since it's not portable.

The thing we desperately need is a desktop-session (Mutter-level) VNC server that will operate behind a lockscreen, so you can export a remote desktop locally or remotely and have it persist between logins.
And the UCS-2 limit is merely 0xFFFF, which of course is not big enough to handle all common human languages, thus why UTF-16 happened in the first place.
In related news, Craigslist Personals now rendered entirely useless by the sudden influx of covert Adult Services ads.

Craigslist's primary reason for ever creating an Adult Services category was simply to keep that sort of content out of every other category. You could imagine the situation now as similar to what would happen if Gmail's spam filter were suddenly disabled.
Awesome, thanks for clarifying. I hadn't thought about ads, that'd be somewhat disruptive. Our use case is somewhat similar to Khan Academy: we display help videos for students as they use the application and need assistance. It'd be embedded in our application, but still available directly on Youtube if one really wanted to access it that way.
I walk or bike to work. Otherwise I use Zipcar, Car2Go, Lyft, traditional rentals and public transit. I also own a car. Insurance alone is more than my usage, plus I get some of it reimbursed through work. I'll be selling my car soon, since it doesn't make sense anymore to own. I suspect a lot of people will be in the same boat as these services grow.
you wouldn't need json, string io, numpy etc done in C if Python was fast... so the snake is eating its own tail?
The Things team aren't incompetent and it's not an easy problem. I went way, way over my original time estimate for building sync into my own todo list app and in the end had to leave a couple of things unsolved to just get it out. I really, really feel for them.
Yeah. There's really no reason why our hot new scientific computing languages and libraries should all be lacking capabilities that graphing calculators had in the 1980s when they only had 2k of RAM. HP demonstrated that it doesn't even require a CAS to be extremely useful.
The tragedy is that they have known this approach doesn't work for at least as long as I have been alive.

And I'm old enough to never have been the target demographic of garments designed to showcase my underwear.
Until the next 2008. It seems like a financial crisis would put that plan into a tailspin. And there have been a bunch of those in my lifetime. I wonder if there's anything with more permanence?
It's the only decentralized system that can guarantee availability. Data stored in Freenet, BitTorrent and the rest is ephemeral.
The birthrate problem is advanced nations is actually a real estate problem.

Young couples can't afford a single family dwelling within a reasonable distance of job centers. As a result they rent apartments and buy cats.

A declining population eventually forces the government to create a sustainable housing situation.
There's a whole lot more to the Judeo-Christian tradition than the part where God is beyond measure. Said tradition also has a lot of specific elements in it. Those specific elements are now being abandoned, because as it becomes possible to examine them, they're found to be untrue.

So yes, religion has always spoken of things beyond measure, but it used to speak of a lot more than just that.

It's frequently said that there is no conflict between religion and science. The only reason this appears to be true is because when they do conflict, religion has no choice but to retreat. Histories become metaphors. Prophesies get reinterpreted. Specific claims become ever more vague when they fail to stand up to the test.
This issue is being addressed via invertible bloom lookup tables.

https://gist.github.com/gavinandresen/e20c3b5a1d4b97f79ac2
Have any data to back up these claims? Unity keeps growing, just went IPO last year, and is releasing high quality tutorials regularly.
Environmentalist is hardly the word I'd use to describe Patrick Moore. Professional contrarian, science denier and industry shill would be more accurate. He is certainly not some 'random environmentalist'.

http://www.sourcewatch.org/index.php?title=Patrick_Moore
Depends on which 75% you are weeding out. What if you are just weeding out people which haven't prior experiences in a more accessible language?
The Cuckoo's Egg is nonfiction, based on Stoll's work as a sysadmin. It tells the other side of the story portrayed in the German cult film 23 (https://en.wikipedia.org/wiki/23_%28film%29).

I have defended his curmudgeonliness here: http://axyl.us/post/479929158/clifford-stoll-was-right
> Outside of the UK, the EU at least pretends to be outraged.

Yeah, right before grounding any plane that might contain Snowden. In the meantime, France is busy retroactively legalizing the snooping powers of its intelligence service, Denmark is going the same way, and the UK would like to flat out abolish encryption.
Golly, if that doesn't describe my current employ. Everything about the mess I inherited reeks of, "let's just...and sort out the hard stuff later"
Regarding the "about" page - our website is brand new and we're building out more information to coincide with announcements over the coming weeks. One of those is around our advisory board and another is relevant to your comment on clinical trials. Our team has backgrounds in genomics on both the research and commercial side! I worked at Illumina and ONT myself - other co-founders come from companies including Genentech, Twist, etc.
> Google's Project Zero security team revealed the existence this week of three vulnerabilities with high severity that have yet to be fixed in Apple's OS X operating system.

I feel like somebody is trying to execute some kind of buffer overflow attack against my brain.
Ownership estimates are based on survey data, not registration data. Gun owners are far, far less likely to be honest about ownership with some rando survey taker than they were 40 years ago.