skysight-inc/HackerNews huggingface dataset:
Yep, I'm on the same boat. I've lived here for 8 years but I can't apply for permanent resident status(and hence for citizenship) because I didn't have private health insurance while I was a student.

I have also played this game with home office - you ring them up and ask "can you remain in the UK as an EU citizen if you are not exercising your EU free movement rights" - the answer will be no, you cannot. Then you can ask if you can be an EU student in the UK without private health insurance - the answer will be "yes, but you are simply not exercising your free movement rights". Then you can follow with "so is an EU student without private health insurance here illegally?" And the answer will be "no".

I've spoken to several immigration lawyers and they all said that what the Home office is doing is strictly illegal - they cannot require presenting proof of private health insurance for the years of studying in order for those years to count towards permanent residence rights. But good luck taking them to court and winning. I'm simply waiting 5 years from the moment when I started working, but it's an incredibly frustrating process. To add to this, I know from my friends that for my particular nationality(Polish) the process for applying for citizenship looks like this - send the application, wait nearly a year to find out it's been rejected, appeal, have the appeal date set 6-8 months in the future, no one from the home office turns up at court, the application is re-reviewed and approved.

It's absolute nonsense, and like you said, it only exists to make the entire process as hostile as physically possible.
Note this from this study:
"Low carbohydrate dietary patterns favouring animal-derived protein and fat sources, from sources such as lamb, beef, pork, and chicken, were associated with higher mortality, whereas those that favoured plant-derived protein and fat intake, from sources such as vegetables, nuts, peanut butter, and whole-grain breads, were associated with lower mortality"

So if you want low carbs, don't eat too much meat.

Plant based diets, such as the Mediterranean diet have been shown lead to reduced all cause mortality in randomized control trials [1]. Getting your diet right really isn't that hard, just eat fresh plant based food.

[1]https://www.nejm.org/doi/full/10.1056/NEJMoa1800389?query=fe...
If tech was just look at a resume and decide to hire or not people would hate that even more than modern complicated forms of interviewing.

There's flaws in the ways a lot of companies hire, but the process has to be complicated when you get down to the numbers of how many people are for hire and how many are worth hiring.
It's not Courier, though. Similar, but the g and numerals are different.
Automated screening? For a process that can result in the immediate detention and removal of persons when the system makes a mistake? I'm afraid this doesn't sound like such a great idea, although I'm sure the Home Office would love it.
I think the problem is that you don’t actually want the general sentiment of the population: it most likely leads to things you’ll accept, but not actually want (ie movies you’re lukewarm on).

I think what recsys really should be trying to target is finding the group most similar to your tastes, and then picking based on the outliers of that group. The goal being to find something within your tastes, but far enough from your normal to be interesting

Recommending based on star personalities preferences, is I think, a way of approaching this idea: why would you want to know what the average item is? You want the best one.
Federation is the Worst of all Worlds (2018)
I can see why a real programmer might have favored the typewriter: computer time and printer ink (esp. laser) were expensive and normally reserved for business-related jobs.
AI Weekly 18 August 2018
https://flems.io/mithril

That link preloads mithril in a web playground and you're ready to go in a couple of seconds.
You can even download and continue development locally should the need arise - without the gorilla and the jungle hiding behind it.
Today was the news that Alibaba wants to share users social credit score with immigration authorities in foreign countries to prevent unreliable people from going abroad.

Is this bad enough or can we do worse?
While I certainly concede that dynamic typing will have painpoints like this, I just think on balance they create far fewer problems than the maintenance and inflexibility of type system enforcement patterns.

That said, I find your particular example with int64 extremely hard to believe. I assume you’re using numpy or ctypes to get a fixed precision integer, in which case it should be extremely easy to guarantee no precision changes, and e.g. almost all operations between np.int64 and np.int32 or a Python infinite precision int will preserve the most restrictive type (highest fixed precision) in the operation.

I work in numerical linear algebra and data analytics and have used Python and Cython for years, often caring about precision issues— and have literally never encountered a situation where it was hard to verify what happens with precision.

Unless you’re using some non-numpy custom int64 type that has bizarre lossy semantics, it is quite hard to trigger loss of precision. And even then, a solution using numpy precision-maintaining conventions will be better and easier than some heavy type enforcement.
Smarking (YC W15) Is Hiring On-Site Freelance Back End Engineers in SF
We are urgently seeking backend contractors to help out on some client implementation /ETL work piling up in the immediate upcoming 3 months.

Our backend system provides API endpoints through microservices, most of which are written in Python. Our tech stack includes Docker, Postgresql, ElasticSearch, Kubernetes, flask, nginx, terraform, and AWS services such as EC2, S3, SQS, and ECS. Here's a JD for equivalent full time re skill needs: https://jobs.lever.co/smarking/24a0ea3b-de1f-4c75-9ed9-95563...

Ideally we'd like 1-2 contract developers joining us on-site in our beautiful SF office (251 Rhode Island St.) for effective collaboration. We'll provide free breakfast, catered lunch, snacks & drinks 24/7, and many other perks to make it good. Our office space is real comfy and slick.

Please email resume(s) to careers@smarking.net for engagement.

We also provide $10,000 referral fee for each successful referral of the full time engineering openings: https://www.smarking.com/careers
Please email resume(s) to careers@smarking.net and cc the referred candidate for referrals.
As well as:

https://www.apnews.com/2f83c72de1bd440d92cdbc0d3b6bc08c

https://wallethub.com/edu/states-most-least-dependent-on-the...

https://www.motherjones.com/kevin-drum/2017/11/please-cut-th...

And speaking of rhetorical strategy, I don't know what it's called but the recent right wing way of speech as expressed by the person I was replying to is great:

>I've always hoped that states like Massachusetts, California and New York would do more to help the poor considering that they seem to have enough voter support to do that.

It's like getting their political agenda in there but trying to act as if they've always innocently been expressing concern and interest about this subject. So facetious and they think they're sly.
I am pretty sure my siblings may not appreciate my discussing our business in public, but just to be clear. My sister and I have been living in his house for the past six months in order to care for him. It had become increasingly difficult to feed or move him because of his dementia and things like compression fractures in his back. After I was unable to get him out of bed last week we decided we were no longer qualified or able to do it. The place he is in now has a lot of experience and it seems like they do not have difficulties. Also there is a bit of a community there which is good.

There is not enough money left over of my dad's to pay for two experienced people or actual nurses to be here for the amount of time needed and pay the mortgage at the same time. A few of his children have dedicated quite a lot of time or money, but for those helping and for others, money is usually already allocated to their own families.
Is there not an Indian superstore that imports cheap $150 dinghies to the local capital city?

Very sorry for your hardship and loss.
I think you can also look at things aside from money. Education and wealth also tend to correlate with individuals that are able to peacefully integrate into a society. Granted there are exceptions -- Osama Bin Laden came from a billionaire family and was well educated, but they are indeed the exceptions. By contrast people that are impoverished, have little education, and especially that may hold more extreme religious views or have different cultural views than the countries they're migrating to, can result in major issues.

For instance in Germany the numbers vary from 75%-90% of immigrants expected to be unable to find a job within 5 years. And crime among migrant has also been increasing. This is something that has been neglected in most left leaning media though the BBC did run a piece earlier this year [1]. As the article states, in one area regarded as "an average state" violent crime increased by more than 10% in a single year, with more than 90% of that increase attributable to migrants -- with migrants being twice as likely as German nationals to face reports of violent crime.

I mean these are unpleasant facts, but they are absolutely true facts. This doesn't mean you should refuse all migration or even that migration is bad. But it does mean that you can't simply claim selective migration policies are just about money. Germany took in well over a million migrants. With the vast majority of these individuals not finding work in society that means society will be paying for them. How much is a fair amount of money to care for these individuals? Each $10,000 costs Germany around $10 billion per year. There's some irony referencing money here, but the point is that if you carried these policies out, without end, you'd eventually destroy your own nation, hurting countless individuals in the process, all because you were reluctant to say no.

---

What I don't understand is why nobody wants to consider this issue objectively. I expect the above is mostly downvote bait, but that's ridiculous. It's like people on the right want absolutely no migrants because all migrants are evil. And people on the left want open borders because all migrants are amazing and loving people that will integrate fully and peacefully with no meaningful negative impacts whatsoever. This sort of dichotomy is idiotic, but people on both sides are so scared of being seen as being partial to the 'other side' that they become increasingly radicalized meeting in some horseshoe of mutual stupidity. Bah to it all.

[1] - https://www.bbc.com/news/world-europe-42557828
> A string is the worst thing to return because it’s huge. Most people return () instead which is zero sized.

I think what they're asking is "if you're returning a Result<String, Err>" but you're making the Err an unhinabitated type (so can't ever have an error) why not just return a String in the first place?
Kim Jong-un went to school in Switzerland https://en.wikipedia.org/wiki/Kim_Jong-un#Early_life
Interesting. Would love to see it singled out for very low carbohydrate ie ketogenic diets, since the claim of those diets is that operating in ketosis is fundamentally different for your body than anything non-ketosis, and it doesn’t take anywhere near median carbohydrate intake to get out of ketosis. A piece of bread or bowl of berries could be enough for many.

Still it sort of makes sense that people whose diets are more balanced are probably avoiding the “low probability” eating patterns that may include very unhealthy choices. If your diet is all-lard or all-sugar I wouldn’t be surprised to hear it’s bad for you.
Do we have a terrific reservoir of computational ability though? The number are important because they seem to be about a million times too inefficient.

A human brain might take 36.8e15 computations per second [1] and does all this using about ~20 watts! That's pretty impressive at around 1.84e+15 ops / watt vs our current 6e+9 ops / watt [2] from silicon. We have to make about a million times more efficient processors to match the brains efficiency. My 4lb laptop takes what feels like forever to do a limited deep learning task given how inefficient it is.

If you gave just me the sort of computer needed, that alone would very likely not be sufficient. I just don't think we should draw too strong of a negative conclusions before we all have the necessary equipment to match the work of the brain.

But if myself and fellow computer users did have access to efficient powerful computers, we'd probably want to write algorithms that allowed us to make many attempts at the solution per second. I'd imagine writing a simulator to project many agents into where they are competing for resources and many of these simulations taking place concurrently. Something of a multiverse of simulation and optimization.

[1] https://en.wikipedia.org/wiki/Computer_performance_by_orders...
[2] https://en.wikipedia.org/wiki/Performance_per_watt
Unsurprisingly, the amount of RAM has little effect on a CPU-heavy workload.
Coding is addictive? It's something I can barely compel myself to do anymore when I'm paid roughly the same to do customer service.
Not sure about the UK, but here in the US, there’s been a consistent (since ~ WWII, at least) bipartisan effort to make sure those sorts of leaders run countries like yours.

It’s unclear how voters here can make a difference:

Arguably, things were worse under Obama than W. That was while Hillary Clinton was running the state department.

Trump seems to be intentionally blowing up the entire federal foreign policy apparatus, which could help in theory, but he’s also doubling down on military policies that lead to indefinite wars. Also, he hasn’t ended any wars or cancelled funding for any of the things the US does to destabilize foreign nations.

Sorry.
If Mastodon wants to be successful, it might be beneficial to try to get some luminaries on board, i.e. the 1% that the rest follow. Unfortunately, they are in the conflict business as well.

Another option would be to consider dropping out of the concept altogether.
Typewriters weren't the right tool for composing text, although there were some successful people that made it work, especially at offices or newspapers.

Knuth still does use a pencil and paper, as far as I know. He only types the manuscript in Emacs once he has composed it.
https://datagrok.github.io/makebakery/

I'm quite interested in using a directory tree of markdown files to generate a web site so that the directory names become index files showing lists of titles contained within the markdown files &c

Looks like make (possibly with m4 macros) could provide that
Is this a parody? I'm afraid of Poe's Law coming home to roost, I guess.

There's a lot of negotiations and learning that go on to get to the point of "you know what I want, I leave every other decision other than 'go do it' up to you".

This whole system ignores every lesson of information theory, complexity theory, computation theory and other branches of science and math that have blossomed since 1930.
That's an interesting argument. I am just starting out as a fresh grad. I applied to three places and got into all three. I did pretty much the same things when trying to land up internships. Maybe, I should try being more ambitious.
Types of Forex Market Instruments
Can you elaborate on the recent developments regarding the Express entry in Canada?
https://damng.github.io/hackernews-rss-with-inlined-content/...

HN RSS feed with inlined/distilled linked contents. The 300 or so entries on the feed becomes about 5MB (or about 1/5 the size of a single medium.com blog post). The inlined contents from the article are just simple html with no javascript or style sheets.

https://codezen.org/canto-ng/ is a good curses, console rss reader.
That was a link straight to the extension page. This blog post published on August 17th is a technical deep dive by Ben on making Favioli.
Home Office delays are a deliberate political choice...

Home Office visa requests all require the payment of substantial fees, certainly enough to pay for the staff to process them. So you would have thought staffing levels would increase in line with applications without any recourse to annual fixed budgets. (Actually from memory, over the last few years, pax numbers are up 20%+ and staff numbers down 15%...)

Similarly for Heathrow etc not having enough immigration officers to process incoming arrivals... I estimate the average passenger costs less than £2 to process [1], while outgoing flights pay Air Passenger Duty at rates starting from £13 per passenger (economy/short haul) and £78 (economy/long haul). More than enough to pay for higher staffing levels.

[1] £2 is my quick estimate, based on 130m passenger movements in 2016, Border Force having 7670 staff in 2016-17, with annual FTE costs around £32k for base salary, NI, and associated variable employment costs.
"Blessed are the peacemakers, for they are the doormats of life."

I heard this on the radio once. You have to be prepared to be walked on when you're the one keeping the peace.
It tosses in the incentive to start recommending things based on how valuable the affiliate link would be,diluting the value of the recommendations
What’s your view on the “not-for-profit” structure, I wonder?
Dappedia: How to Use a Dapp
I’m publishing a series of technical walkthroughs for Ethernaut’s smart contract hacking puzzles.

Ethernaut's been an excellent learning resource to dive deeper into the vulnerabilities of a Turing complete language on the blockchain, like Solidity.

Throughout the 18 levels, you reproduce some of the biggest hacks in Ethereum history, i.e. the 50M DAO hack, resulting from a re-entrancy problem and the $30M Parity hack, induced by a delegatecall() exploitation…

Here's the first post, on how to abuse fallback function vulnerabilities
Not necessarily. Mustafa Kemal didn't emerge from a democracy.
Duplicate https://news.ycombinator.com/item?id=17788740
Sorry, but I stopped reading here “who completed a dietary questionnaire”
Beyond incentivising revenue and profits, it also incentivises growth. Twitter gets punished when it’s account growth or activity numbers drop (or fail to meet expectations). Which leads to perverse incentives for the platform such as tackling spam accounts / low value interactions, high volume / low value mobile notifications (I find twitter the worst for this), the whole re-ordering of the timeline controversy. This is what I feel turns products into skinner boxes, because the need for growth incentivises those kinds of features, and the numbers go up. Those numbers can mask the decline in quality. That’s where I see mastodon having a huge advantage.
This is indeed not a new question. The Economist is currently running a series on classical liberal values. From a piece on John Stuart Mill:

> Democracy itself threatened the free exchange of ideas in a different way. Mill thought it right that ordinary people were being emancipated. But once free to make their own choices, they were liable to be taken in by prejudice or narrow appeals to self-interest. Give the working classes a vote, and chaos could result.

> The upshot was frightening. Paradoxically individual freedom could end up being more restricted under mass democracy than under the despotic sovereigns of yore. Mill famously refers to this as “tyranny of the majority”. But he worries just as much about middle-class “respectable” opinion as working-class ignorance.

https://www.economist.com/schools-brief/2018/08/04/against-t...
What I expect of a "better" Twitter:

- A timeline that shows what people I follow say, in chronological order

- no censorship, unless requested and enforced by authorities in my jurisdiction

- no notifications, no @messages (unless I follow them)

I don't even understand how Mastodon really works or how it's comparable to Twitter. Do people post onto channels? Do I have to join channels to read what they post on those channels?

To me Mastodon just looks like "Twitter with more moderation" and I don't think the average Twitter user cares about that, because they don't partake in mudfights with other users, nor do they care about other users getting into mudfights with one another.

Social Media isn't actually that terrible to use, it just looks terrible when some journalist selects some particularly "outstanding" posts and proclaims the end of civility because of this technology.
That's a weirdly long reply considering you seem to agree with the poster on everything, except that they committed the unforgivable crime of using the wrong word for the subway system, and the part about the smell.

I'm in NYC, and the subways may be powerwashed now and then, but I have to side with the parent here: They do still routinely smell. Not just the stations, either. It's a common sight, even during rush hour, to see cars that are completely empty except for a single scruffy-looking person with plastic bags for shoes; there's a reason nobody else goes into that car.

I'm from Scandinavia, and this summer I traveled back with my American girlfriend. She couldn't get over how clean and tidy everything was. Not just the cities and roads, but also the subway stations and trains: No cracked tiles, rusty beams or random brown water dripping from the ceiling, or puddles of mysterious green matter; modern signage, electronic boards, elevators, escalators; digital ticketing; and so on. The trains zoom in almost silently, and the cars are spacious and comfortable. She said she felt like she'd traveled 20 years into the future.

While you can talk about economic factors — budgets, age of the system, etc. — my thesis is that it also comes down to cultural differences. Scandinavia isn't just clean because of wealth, or a smaller population; it's that cleanliness and tidiness is part of the culture, and it's strived at almost subconsciously at every level, from the individual to the government. That only works thanks to the homogeneity of the population, where everyone share approximately the same values. NYC certainly is not like that.
You can broadcast at https://broadcasting.glitch.me/cast - there's a link on the page which tells you that
It'd be nice if there were tailored dictionaries you could use in your spell checkers. Like injecting the Doctor/Lawyer/Engineer dictionary so that you don't sit there fighting with your phone to get some acronym to properly post.
This might be a fair argument, except for the "affirmative action" that conservative/fascist ideas get. Sure, individual reporters probably are liberals. But owners are not: see Sinclair's mandatory statements. Owners near monarchism is going to select for editors that keep their personal beliefs out of it, and give conservative ideas a big boost, way beyond their merit, because they'll catch grief from owners/CEOs if they don't. This is some of the same, The Economist's writers sucking up to owners/plutocrats.