skysight-inc/HackerNews huggingface dataset:
They could explain legal consequences of non compliance. Maybe they could even fine you. Knowing that not acting as you are supposed to might result in legal hassle, fines, potential detention and if necessary physical violence to make it happen should usually be enough. Applying physical violence should be the very last resort.

It seems like large portions of the police force in the US and the perception of it has degenerated to be some brutish muscle. It's concerning how much that is accepted.
It's not unheard of. But you must understand that these are people that have a pretty decent job security in an often huge codebase that has been aquiring cruft for 30 years in language most people don't understand. I would like to be able to claim that the code is good, but some of the people writing it in the first place were not programmers. It is not strictly bad, but some parts are just mine fields.

A bit related:

I spent 2 years of my life on a C codebase written by mathematicians that would much rather have written it in APL. I don't know if you have seen C written as APL, but that is 2 years of my life I will never get back. I left for a lesser paid, more fun job. Upon leaving the manager offered me a 60% pay raise (yup, I should have had higher demands, but at least I proved myself :) ).

Unless you enjoy torturing yourself, legacy COBOL programming is not very rewaeding, and at least in Sweden, most of it is slowly being moved to other languages.
Congratulations to the Deis Team. It's been a pleasure working with them on the Helm project.
Is this an HN novelty account in the making?
Played it once, some time ago. I think using rectangles is acceptable, but you could go more places with it, and a platformer is not a very interesting game.

Here's a similar better game from 1989: http://fools-errand.com/04-3T/index.htm
the worst part? affecting children, in which Yes it's the parent's responsibilities...

But there only so much parents can do AND there is this thing called 'sense of belonging' that influence kids to be as much as their peers
PeanoEqual(a, b) = # a and b are both nonzero
PeanoEqual(a-1, b-1) # so recurse

Subtracting Peano literals would involve some constraints in the type, so shouldn't that be (a+1,b+1) for typing purposes?
476 teens. Not a big sample.
New storage engine for Prometheus 2.0.0
> while reflex LCD, which the Boogie Board uses, is instant.

You're comparing two different things. Boogie board is not a display panel with a matrix that can be controlled electronically by software. There's no "pixels", which is why you can't use software to write to it or change the state of individual pixels. The cholesteric LCD being drawn on in boogie board is similar to the surface material in an etch-a-sketch.
And anyone got fired yet?
RE: Phone listings, TellMe (408-752-8052) and Jingle Networks (800-FREE-411) run free directory assistance services.
United dies gave a plan for choosing people, based on ticket class and time if checking (among other things) so no, they would not have asked someone in first class. But they don't have a procedure for removing someone from the plane, at least not for this reason. As far as I can tell all of their procedures deal with people before they get on the plane.
They do have a list of reasons to declare someone, but over booking is not one of them.
It's like "let's rewrite X in JavaScript" but on a couple of magnitudes higher level.
>I'm actually in the process of increasing speed since faster speed equals faster access and better productivity. Right?

YouTube will load faster, yes.
This comment adds nothing and presents no argument. And I find this sentiment really hard to understand. Why bet everything on solar? Nuclear technology already exists now. In fact it's existed for quite awhile. We could have gotten rid of coal decades ago, if not for irrational fear. It may already be too late to stop climate change. Why wait another decade or two (or three...) until the kinks in solar are worked out (if they ever are...)?

It's also a bit ridiculous to point out the improvement in solar technology, and ignore everything else. Sure solar technology is improving over time. So is nuclear. And it could probably be improving a lot faster if it got the same level of interest. The major accidents everyone thinks of were all by decades old reactors. We know of much safer ways to do things, and we've learned a lot from those events.

Even coal will improve over time. All that discussion of the coming robot revolution surely applies to coal mining.
In what areas do you need some help?
AWS S3 objects mapping to Active record model
Best way to get bucket objects when bucket updated and map those objects to active record model in a application
We'll see if it lasts. I grew up in Detroit and saw how they operated... encouraging "japan bashing" in the early 90's recession and doubling down on gas guzzlers when the future was in high mileage cars.

Have they really changed? I seem to recall recently that they received a sweetheart deal from the current administration where as a prerequisite for actually investing in new plants, they received a promise that fuel efficiency standards would be lowered. They want to sell comparative gas guzzlers again... bigger cars mean. more profits! Who cares if the extra. emissions causes premature deaths in the largest market in the US (https://www.google.com/amp/www.latimes.com/local/lanow/la-me...).

Sigh, they are not only being subsidized, but they are heaping the costs on the very same public that bailed them out of certain death.
I am terrified. Should I be?
> Related question: what's the state of color e-ink displays?

They demonstrated true color in 2016. https://www.youtube.com/watch?v=N2V9iuTW3sA I would guess another 3 to 4 years to consumer availability.
A really good comment.
I don't have a source for it - if you're interested enough, you're welcome to verify it independently, but supposedly a fifth of the country no longer has wired internet anymore.
My point was typically you don't need to provide bonuses for higher density developments near transit. Developments will naturally become higher density because they have to.

You can't purchase a lot of land and bulldoze it for a 3-story building near a subway station. It's just not profitable. The building will naturally be a high-rise. No "bonuses" needed to induce that.
I would not bet on it. Last I heard a bunch of FB app code was generated and they did not bother to remove unused parts.
You can't wait for customers to "die out" as their mortgages will go on for decades. You definitely need a customer's old data in the new system. Now you have to maintain and develop two systems - bugs, banking regulation require constant work. Often the clock is ticking for old systems and asking vendors to provide and maintain ancient tools can be expensive or impossible. You can't "manually" move customers over, you need to "migrate" lots and lots of data - both systems will have huge, completely different database schemas.
you can deactivate your profile (i.e. You can't log on facebook) without deactivating your messenger account. I did this and chat normally from messenger.com, but can't log on facebook.com
There's still a gap, so I hope they took that into account / measured the drop.
What's worse is companies who 100% outsource to customized versions of a vendor's code. At least banks own the source to what they run even if they can't run it without a license. Clothing company I know sitting next to amazon pays the equivalent of about 5 fte senior amazon engineers a year in licensing the software they run every year to a vendor who charges them another 5 engineers worth to implement all of the customizations they want and "re-negotiates" the contract every 3 years. I say negotiate because there's not really an alternative to switch, it'd be a 3 year conversion project and they refuse to hire devs.

They gave a 8k raise to most tech folks about 5 years ago because they were bleeding people across the street. Which brought their senior tech folk to within 20k of an amazon SDE intern salary. People still left.

I'm biased as an engineer but I'm not really sure why they keep this relationship going.
Reasons why I had to disable greylisting
I'm from the UK, I know this first hand.
Certainly Wind and Solar can scale to 11%. The question is about the other 89%. A significant chunk of it could be nuclear instead of coal and we would definitely be better off. And make no mistake, you need to choose between coal and nuclear because it'll be a long while before batteries have sufficient capacity to power the grid for days at a time.
What if the function takes input, and for each input, the program halts, but for every instruction, there is an input such that the program when run on that input will execute that instruction? Would that imply a contradiction? It doesn't seem like it to me. Yeah, no, that should be fine.

Example: consider a language where 0 means "if the input register is at most 0, halt with the answer "no", otherwise, decrement the input register and continue to the next instruction" and 1 means the same thing except that it gives the answer "yes" instead.

Then the fractional part of any real, expressed in binary, would be a program that takes an integer as input, and answers whether that digit of the number is 1. This seems like it would count as a program to me.

So, this would allow there to be uncountably many "programs", only, almost all of them would be impossible for us to refer to specifically.

Hey, this way you could define a uniform measure over programs. Hah.

Wait, is that how Solomonoff induction stuff works? (Of course, with a richer language than what I described)
I am thinking of moving to their 8 bay system. The case is key. I will have a look at my case and see if I can find a brand.
Yep, they're so strict that the National Broadband Network was worried that simply powering distribution point units for Fibre-to-the-Curb internet would break those rules.
Tesla will be doing the same with their vehicles and Solar City's tech team: distributed virtual generators and demand. ISO operators will be able to issue price signals, and Tesla will be able to supply to or draw power from the grid (in accordance with their customer's wishes of course) in aggregate
Were they not the worst case scenarios?

My understanding is that Chernobyl and the Fukushima reactor were both built by cutting huge corners, and that these flaws ended up leading to the disasters.

On the other side of the spectrum, things like planes get built and work because we know that planes falling out of the sky is super bad! Would it not be possible to ,for lack of a better word, be more careful?
Best story I've heard is one of the old programmers commenting his COBOL code in latin. It was a different time...
As a counterpoint, many very well funded and talent rich organizations have failed to retire what TPF mainframes do every day for airlines, banks, and credit card companies.

Cobol isn't involved, but those slow mainframes are.
I'm sorry it was not convincing, but I'm not sure why you're saying my rebuttal is FUD when the PR page is crafted exactly to muddy the very waters of this topic. You driving by "five or six hundred wind generators" tells me you went by one larger park, or perhaps a handful of small or medium sized parks. If you're in the USA, you've also pinpointed a few locations on the map where you probably live, because there are only a few places presently in the country with that much installed capacity. Yes, I'm saying that even "five or six hundred" is miniscule.

But, seriously, I see too many bad faith owners/operators who really don't give a shit about their effects on wildlife. And I see regulators setting a low bar and showing no teeth when it actually matters. Altamont Pass is a prime example--despite knowing about the "bird problem" there for many years, there has never been a requirement by state or federal regulators for any sort of mitigation at all. I find that honestly a bit disgusting.

Even the Eagle Take Permit's primary tool of "compensatory mitigation" (usually in the form of utility pole retrofitting) does not address where the problem actually occurs. You don't balance wildlife populations like you would an algebra equation--instead, the side subtracted from is simply subtracted, even if you conceivably enable gains elsewhere.
Yeah that would be nice. Unfortunately the air travel market is a fairly inefficient market. The cost of entry is super high, there are fairly few players and the big ones are good at doing nice nice with the government. In addition we allow them to undermine what little competition there is by creating their anti market alliances. I booked Air Canada to fly to Europe. I traveled via Canada to get away from US carriers. However, a few weeks before the trip they put us on a United flight because they are in some alliance together. Of course you frequently have very few reasonable options to begin with. It's a awfully broken market and I have no idea how we could possibly fix it. I constantly fly with airlines I hate (pretty much all American carriers but Virgin) because it's so cumbersome to avoid.
Having to allocate memory while processing an exception probably isn't a big deal, since Rust does not claim to be able to operate in an out-of-memory condition. Besides, unwinding already causes allocation:

"We'll also need a way to handle out-of-memory (OOM) conditions. The standard library calls the abort intrinsic, which just calls an illegal instruction to crash the whole program. The reason we abort and don't panic is because unwinding can cause allocations to happen, and that seems like a bad thing to do when your allocator just came back with "hey I don't have any more memory"."[1]

[1] https://doc.rust-lang.org/nomicon/vec-alloc.html
Irrelevant point. Whether it's fiscally prudent or not is what's at stake. Generally it would seem it's not a good idea (financially) to have kids. If you must, wait until your career is at a point where you can be assured you won't have to raise them in near poverty-like conditions.
A surjection seems silly: doesn't that imply that some reals would be indistinguishable? Or can you indeed not prove that more than the natural number of reals are distinguishable in constructive mathematics?
When I use facebook, I get angry at the stupidity of people. On HN I feel humbled because of how smart people are here.
My high end gaming PC would push over 500W when mining Bitcoin (actually Lite coin) back in the day.

Side note: Swype keyboard will not allow me to write Litecoin as one word with a bracket after it, no matter how much I correct it.
No, that would lead to paralysis.

Learn to live in a world where climate change is happening and adjust accordingly. There is no way going back now. The party is coming to an end. We must go forward.

You don't have to solve this problem in one day by yourself. You probably cannot really "solve" it at all. It's time to let go of things we cannot save and hold on to those which grow valuable in the future.
Good luck avoiding them. So frequently there are few options or you end up booking a flight with some alliance that then gets changed to be operated by someone else.
Huh. It looks like alcohol is in the middle of the common drugs: https://en.wikipedia.org/wiki/Substance_dependence#Dependenc...

I'm not sure about pervasiveness, though. In the US, a lot more people are caffeine dependent. And Facebook's MAU is way higher than alcohol's.
Not joking here, genetic testing.

It's a niche. The allure of genetic compatibility might be overwhelming when we consider that the basic purpose of all our emotions and behaviours around dating and sex is reproduction, which is driven by genetics.

A community of people who want to have kids ( people who are feeling the urge to reproduce ), further reduced to the niche of those such people who are interested to applying genetic testing and compatibility to assessing matches ( in some suitable legal way that doesn't introduce liabilities for participants in terms of insurance or employment ).

An aggressive marketing technique could be that not genetically matching up is introducing a liability.

A "lite" version of this could attempt to sidestep some of the legal, ethical or censorious issues around genetics, but still benefit from it, by using "odour" matching. Body odour, reflects immune system markers, which reflect genetics, and is a real way that people subconsciously assess mate fitness.

I think anything you do to move into the dating space at this time must include science based signals to some extent. The reason is because there is so much untapped potential of applying science to matching, and it's likely going to be an increasing trend ( consider, IMHO, the super cautious, more evidence based, less authority based, natures of Millenials in general for an idea ) in the future.

Another riff on using science could be to offer to pair people up randomly for 10 minute conversations in front of a video recorder, and apply some kind of microexpression tagging and analysis, to try to predict if these people are emotionally compatible. I'm specifically thinking of the assessments used by Dr John Gottman (https://www.gottman.com/about/research/couples/).
Or maybe it's because keyboard input is faster for a lot of heavily repeated form type things than a web interface.

Web is nice when users don't know how to use it. When they do they're not really looking 1/2 the time.
In theory, the argument is that it creates initialisation conditions of greater social and academic engagement that increases the likelihood of staying in college and completing a degree. The idea is that clueless freshmen who have never lived independently before and are unleashed for the first time will just get lost to the party if you set them loose off campus. This way they are given some structure and discipline during their first year or two in college, ideally creating a healthier template they more likely to adhere to in some measure even after they move off-campus.

Practically, it's more likely just a revenue measure...
दिमाग है तेज लेकिन मन पढ़ाई में नहीं लगता – Vastu Tips to Increase Concentration
Something about the headline nags at me. I don't really like the idea that being "productive" all the time is a positive thing. My brain is for more than achieving things. It is in point of fact okay to use it for watching silly YouTube videos for half an hour, an hour, whatever.
There was recently a very good HN thread on Etak [1] including comments from people who've seen it firsthand or have worked on related ventures.

[1] https://news.ycombinator.com/item?id=13744825
I really wish I could do that, but the problem is that note-taking/text-entry on current smartphones (i.e. the only item you're likely to have with you at all time) is such a dreg.

How do you solve that, by carrying a notebook and pen with you everywhere?
That's true, but it's kind of the same idea, so it's okay. The best way to understand this, for people who are familiar with linear algebra, is to think of the Fourier transformations as change-of-basis operations that convert signals from a time basis to a frequency basis. Depending for the bases for the time domain and the frequency domain, you get the Fourier series, Fourier transform, or Discrete Fourier transform[1].

I find the Fourier series is the hardest to understand intuitively (compared to FT and DFT), since the time basis (periodic functions of time) and the frequency basis (infinite sequence of Fourier coefficients) look very different.

[1] https://minireference.com/static/excerpts/noBSguide2LA_previ...
People always make such a big deal out of getting ashift "right". In actual fact, there is NEVER any valid excuse to make ashift any smaller than 12. It should default to 12. It is a scandal that it still defaults to 9. You aren't going to find a single hard drive in the world that you would ever use in ZFS, which does not have 4k sectors, papered over as fake 512 byte sectors in the interface.
Neither statement is equivalent to "would not allow them to have a large enough supply of drivers."

If you read more than just one article on the issue, you can see that it's much more nuanced than how you represented it. They left because they both have background checks in place and that adding fingerprinting adds an additional bureaucratic burden that has poor predictive power, places an undue burden on drivers who want to engage part-time and disproportionally prevents minority communities from participating. Background checks add nothing of value and if either company were to validate Austin's approach by acquiescing, they would pave the way for other cities to follow that model.

Opposing measure on principle because it adds costs and friction without adding value is not equivalent to the statement you made. Every business is right to oppose regulations that increase costs, especially those regulations of highly dubious value. Opposing such measures is not evidence of a business model not being valid.
Most of the comments are definitely out of topics.
The European health insurance card only covers emergencies, and I've never said it was a problem. The problem was being able to investigate the problem because they only allowed her to access to some basic checkups like blood exams, that were not enough to solve her problem.
Of course we have German speakers as friends but in this case it did not help.
The biggest problem I see is the fact that Anmeldung and the health insurance subscription are totally disconnected, so you can have people with the right to live in Germany but actually without the possibility to access to the German healthcare system, that is again what I call a bug.
Is a grant an option? No. A grant is a grant. The employee isn't buying the stock at some price. The employee is being paid in equity with a grant. It's stock that's been issued in lieu of higher salaries. And yes, if an employee gets a grant vested you must fulfill the grant even if the employee leaves after vesting. You can't just hire people and refuse to pay their compensation.
Dyson Is the Apple of Appliances (and Just as Secretive)
Indeed. Outside the US, WhatsApp is often the gold standard, but in the US, FB Messenger seems to be the standard messenger of most ordinary portals, notwithstanding the teens and 18-24s off in Snapchat/Kik/whatever land.
How to Recover Deleted Photos from Sony Camera Card
Buy shares in houseboat companies. Short sell coastal property.
Looks awesome. I just downloaded it!
Ah, I'm sorry, you are correct. In the month-old discussion at https://news.ycombinator.com/item?id=13865108 someone listed off the devices in this category (https://news.ycombinator.com/item?id=13865777), including two Onyx Boox units (13.3 & 9.7 inches). The Onyx Boox Max Carta should be available after the Hong Kong Electronics Fair - sounds like the same device but with a higher resolution screen.

The Mobileread discussion linked from there is >60 pages of discussion including staff from the company, and there's discussion of a Boox Max 2 coming out later this year that will have the higher-resolution screen, touch instead of pen, an updated (but still slow) processor, possibly a bump in Android version (still ancient, jumping from 4.0.4 to 4.4 perhaps?). Doing a little digging, the processor change may not be a processing power increase but a power consumption decrease (i.MX6 to i.MX7). Note that all of this is unofficial and that it doesn't seem like the details have been finalized.

I'll also note that (without reading the whole 60+ pages) I saw at least one person who'd also installed apps from the Google Play store and found that troublesome, particularly when updating the firmware in the device.

Edit: after a bit more reading on Mobileread there might also be a 10.3" version of the Boox ("Boox Note") towards the end of the year; they're taking prototypes to the Hong Kong fair to gauge interest but would likely not do mass production until October (https://www.mobileread.com/forums/showthread.php?t=285006)
Jenkins Security Advisory 2017-04-10