skysight-inc/HackerNews huggingface dataset:
> However, one problem with it is that a polymorphic type, such as [] of kind "* -> ", or a function like map of type "forall a b. (a -> b) -> [a] -> [b]" really only works with boxed types.

Can you explain why this is, or provide a reference to literature where it was investigated? I still (even after getting a PhD in compiling functional languages!) do not understand why you could not create code parameterised over the sizes of the arguments. For example, a 'cons' cell could be represented as first the size of the 'car' in bytes, then the 'car' value inline/unboxed, then a pointer to the 'cdr' cell. The Sixten language[0] does this, although it's still very early in its development. I'm not saying this is necessarily a good solution, I just wonder why I have never seen it seriously considered (and perhaps rejected).

In practice, I do believe that monomorphisation is very often a good strategy.

[0]: https://github.com/ollef/sixten
So the sheep can't query the interface without the wolf's permission? great... I'll be sleeping so much better tonight.
They're the ones sending themselves down that trail by serving their ads through various third party ad servers.
Just use pip and virtualenv. I've been using them on a cluster of related projects for years and they've been rock-solid.
OP was arguing that manufacturing jobs are coming back. I cited a couple examples showing automation is going to make this very hard to be sustainable. I am not arguing that this is a bad thing or that people won't find productive ways to spend their time. I am arguing that bringing manufacturing back is not a long term sustainable plan.
I live in manhattan and I feel this story is a bit exaggerated, or at least I don't see the author's reality. (Him quoting a Real Estate firm, which is interested in activity, doesn't give credence to the data).

The turnaround of restaurants and bars here is amazingly fast. When one fails, another one springs up. The same street will have very different storefronts each year. I once asked a restaurant owner, on how is this possible. He told me: Rent is expensive, and if you open a restaurant that is not doing well (attracting the clientele to afford staying afloat), is it much better to shut it down otherwise it becomes a huge money pit. What often happens is this: One person signs a long term lease for some kind of business (retail, food, whatever). The business is not doing well, he decided to shut it down and sub-lease the space. (this is easier when the market rates have risen). The second guy does give a try to his dream bar/restaurant/retail. If it doesn't work, he is forced to shut it down as well, rinse and repeat until you have a business that has the right winning formula and sticks around. This is 'creative destruction' on steroids.

What I have seen in manhattan since I moved here in 2013: More hipster style coffee shops. More pizza places. Less "cheap" retail, and more luxury good stores.

So, he is right, that cheap retail is generally pushed out because of the amazon effect, but in the other hand things like "thrift / second hand clothes" stores, are doing well.

What is replacing those 'cheap' stores is generally things in the food business: Cupcake stores, Ice Scream Parlors, Yogurt bars, and yes nail saloons as well.

But my success story (at least for my part), are coffee places. Birch Coffee, Tobby's Estate, Greggory's Coffee, etc.... all started in NYC, and they are striving and opening in countless locations.
Have you tried Steam Play? It has worked quite well for me on Linux, and I know Proton works on macOS (not sure if you still have to build from source), but it could be enough to get you away from dual booting.

I dual boot Windows and Linux, but since I default to Linux, I find myself choosing to do stuff on Linux instead of rebooting (even though rebooting takes ~10s). Only rarely do I get a hankering for a Windows-only game.

I wonder if Valve's initiative will get enough games to work that people increasingly switch to Linux/macOS for gaming.
Wouldn't the first browser extension be something like some obscure 90s IE or Netscape toolbar? They was not only search bars but also email checkers, media controllers, notepads etc.
Seriously, that alone was very disorienting jumping into PGSQL for the first time. The command line definitely not as user friendly as MySQL.
The Chinese are nationalists. Xi Jinpeng is more nationalistic than Trump. They're not globalists. They've been pretending to play the globalist game to build their economy. You can't really blame them for it, but the rest of the world (not just the USA) is waking up to it.

(Fairer trade is literally the one thing I agree with Trump on...)
It became a ghost town because of the elites and their supporters like theatlantic.

Manhattan now is just a place where people from the outer boroughs, nj, connecticut, etc come to work and then go home.

For a city that pretends to "never sleep", it is just a dead city at night.

Queens, brooklyn, etc is more lively and other cities around the world like prague, barcelona, seoul, tokyo, osaka, etc are far more vibrant.

Manhattan is just a hellhole now for the world's wealthy and annoying tourists who are too stupid to realize that sbarro's isn't real ny pizza and all the worthless trinkets they buy are trash. But at least there is a bank every other corner.

The sad part is manhattan is a blueprint other cities love to copy so in 10 or 20 years, most cities around the world will be boring tourist traps like manhattan.
Google search seems to be deteorating but it is still the best one out there. I tried to switch to DDG and found myself using the !g trick to get google result way too often.
Why did he need to stay within cache though? Was it actually necessary instead of RAM?
Perhaps the U.S. should go ahead and formalize the feudal system we seem to be implementing piecemeal.
Best Gaming Earbuds of All Time – Budget Friendly
> No, I believe the military should exist but shouldn’t be too good at its job. If the US president knows that 3,000 American soldiers will die doing something, it will make the calculus of doing it very different than if only 3 soldiers would die. This may actually save lives overallx

That's a really silly idea. A military that's bad at its job is a military that can't act as an adequate deterrent and can't defend its country or its allies. You might as well just save the money and disband most of it, and let the countries who kept competent militaries have their way with you and your allies.
This has been a big part of the motivational story all along, but what would we sell to the Chinese, and how does that compare to what they sell to us (with or without unfairly subsidized shipping)?
Totally agree. And why not just invest time into pip than invent again.
Looking at Vienna, it feels like the value of real-estate grows faster than what you'd earn by renting. E.g. you'd probably earn 3,000€ netto per year from a 200,000€ property, but it's value also rises by 4,000€ in the same time frame. Why renting it out for a little cash, and probably having to pay a landlord to manage it, when you're already earning more than that by simply sitting on it.

I've just made some numbers up now but last time I went through renting and buying decisions, this is what it kind felt like.
> But - big picture - what’s important is that reproductive rights are extended to all women and men.

Reproductive rights for men as consistently ended at the point of conception, with the modern feminist movement seemingly being one of the strongest voice against men having any rights beyond that point. Did Professor Peter McDonald just mistype when he includes men in this part off the article?
Often they'll aim for video games or something like that
but I often warn them that it might not be nearly as cool
as they imagine. You're more likely to end up scripting
crappy menu systems than being the next Carmack.

Interestingly, Carmack himself said if he wouldn't write videogames, he would work on databases. I can't find the exact quote, but here's a similar reference:

I enjoy lots of different areas of it [programming]...
I'm taking a great deal of enjoyment writing device
drivers for Linux. I could also be having a good time
writing a database manager or something because there
are always interesting problems.
In order words, Bulbasaur > Squirtle > Charmander > Bulbasaur
Landlords can take tax write-offs for empty properties, so they’re incentivized to sit on empty storefronts until the perfect long-term lease comes along rather than rent to a less ideal shorter-term tenant.
ICE has a weird history going back a long time. They've inked a lot of warrants for.. software piracy, actually. Yeah, not across borders, not like involving immigrants, just, ye olde plain jane software piracy.

Note that I'm not saying we should be getting rid of Customs and Border Patrol, nor am I saying anything crazy like we shouldn't have borders. The problem with ICE is that they're a weird pet agency under DHS that has a lot of power, minimal oversight, and a history of abusing their power.

They also do some exceptionally terrible things like snatching immigrants from courtrooms instead of you know, using local police forces like they should.
That rosy picture is totally divorced from the actual historical course of Capitalist development.
Why would a geosynchronous satellite have to be in one line over the equator? Why not a higher inclination?
I think there's a difference between speaking up internally and bad-mouthing your employer in public (especially to the press).

I can't think of any company that would let that slide.
OP should have brought this up.
Not yet, but people are looking into them

My point is, you could fit all those Uber data (I know, I know, replication, sync etc) into racks in the SINGLE well cooled room in datacenter, managed by 2 guys per shift.

And this is not "Big" as far as I can see.

Probably will speed up their queris/analytics as well all things being local
Ive seen a few articles like this on HN. Im a shop mechanic for a small chain of auto/truck repair stores in the midwest, and it got me thinking about the fine-print I signed when I hired on. Mostly taxes and sexual harassment stuff, but reading the details over a cup of coffee this morning It seems I did sign a non-compete.

Worse yet, I asked my boss about the non-compete and she just shrugged and said she didnt know what it was for, but that HR must have put it there. I wandered over to HR and they confessed they did not know when this was added either but it must have been something the owner wanted.

The owner and I have shared a few beers together, so I tapped on his door to ask about it. After calming him down and reassuring him he wasnt about to lose me, he admitted the "non compete" was something his attorneys told him to add. They mentioned Google and Uber as examples. After a few confused questions, he agreed to call a meeting with the managers and his attorneys and figure out if we really do need a non-compete, or if the lawyers are just making work.
GPS is not geostationary, it's in a MEO about 12k miles up (GEO is about 22k miles) and they orbit about twice a day.
AirDrop :D
“Usually” is great until it’s not. I don’t want to get invested in a languages only to discover issues down the line. So, if something as basic as packaging is potentially problematic and there are other options available, I might look elsewhere before rolling the dice that this problem is not too problematic.

Perhaps “Primer” was the wrong word, but I believe the sentiment is valid. Reading the comments, there is simply no consensus. If code readablility is important since code will be read more than written, packing is important because in many many scenarios that count code will be distributed more than it will be read.

It is simply frustrating that the typical response to comments like my original comment is some form of “it’s not as bad as you think”. Look, we have a problem here. A problem many other languages deem important enough to solve upfront. It’s been a problem for a long long time.
Making a decision, and sticking to it, even after hardship, is what makes us human. How we leverage it is the art. Notice you always read "Confidince is sexy" and "Leading isnt about being right or wrong, but making choices, and being accountable to them". These are sides of the same coin. Heroics, hubris, same root.
No I mean that's actually a traditional Mongolian food.[1] I'm saying if you have such a deep relationship with these Mongolian horses (via the bow strings) to the point where they're responsible for how you make your art/living, it wouldn't surprise me if some percentage of string players eventually wanted to go over there and learn more about Mongolia and how these horses live in their native habitat. (And/or just try drinking fermented horse milk at parties or whatever.)

It's not really any different than how most people who are ethnically Norwegian or Swedish are probably eventually going to try lutefisk, not because they expect it to be good but just because it gives context to their identity or whatever.

[1] https://en.wikipedia.org/wiki/Horse_culture_in_Mongolia
Highly intelligent and conscientious people (which I presume as a HN reader you are) having fewer children leads merely to Idiocracy :-(

Look up the work of Richard Lynn, get that reversal, and do it for civilisation :-)
How to download a copy of everything Apple knows about you
I’m at a company that does them quarterly, but they happen (mostly) during work hours.
TamilRockers
watch movies online stream movie from different sites and also download torrent of Movie, even you can download movie file directly. All movies are hosted from different third party sites however tamilrockers.fm does not host any movie files and even do not upload the movies. TamilRockers.fm shows movie links which are uploaded by some one else.
India’s Sleeping Tech Giants Are About to Awaken
A Bet, Five Metals and the Future of the Planet
That's easy. Just stop showing up. Make them come to you.
Apple says 'Privacy is a Human right' and continuously positioned/marketed itself as the champion of privacy especially over last year when FB and GOOG are in news reg. various privacy violation issues. Now, the article estimates over 10% of profits made by Apple are from Google because it sets Google as default search engine on a browser which comes default. So, Apple doesn't really believe what it says to the world based on its actions here and the way it folded in China reg. iCloud.
You're mostly right, the problem is also that users don't upgrade their Python distribution very often, so they miss out on new features.

> Maybe there should be a system where specific network-sensitive stdlib modules could be updated faster than the rest.

This is essentially what `setuptools` does, by putting a package on PyPI that monkeypatches/plugs in to the stdlib.
Unfortunately I don't think so. You use the "forward 2 days" button" to get more data, but they don't fit it on one page. You can get about 6 days total

They have a regular 7 day forecast[1] with text, but I prefer the graph for my commute.

[1]https://forecast.weather.gov/MapClick.php?lat=42.3761&lon=-7...

I feel like weather.gov is 80-90% of the way there, but having incrementally grown the ui/ux feels dated and needs a little love.
Is there any kind of funky thing they could do to have it rotate slow enough to take an entire night to cross the sky? something like a lagrange point perhaps (stationary relative to sun?)
IZA – Dona de Mim – REACTION
Note, though, that even in C you can get some super useful help from the compiler if you structure your code for it.
> This report is, at best, seriously garbled.

It's just run-of-the-mill journalism. Just write what it says in the press release, don't ask any questions.
It baffles me that some people seemingly want their country to fill with illegal immigrants and they also don't want to give the police/ICE/whatever the necessary tools to be able to dispatch them. Fantasy world indeed. I guess it's the result of being a wealthy programmer in the upper part of San Francisco: they won't affect your job security and you won't have to deal with or even see them
Responsibility for the sake of responsibility is not going to suffice for most people. Why take on more responsibility than you need to? For example, having kids was a direct advantage in earlier times. More hands on the farm, or more muscle for your clan, or other advantages like receiving dowry. This is also why some cultures preferred one sex or the other.

Today, what do you get by raising a kid that you then have to support for an extended period of time, maybe until he/she is in his/her mid-twenties? If there's nothing to be gained there's no surprise more people are opting to delay it, sometimes to the point of no return.
We are seeing the same pressures and bland out in San Francisco
The secret tech behind the Tesla Model 3
Strong Code Ownership
An easy way to write stateful React components
I started using it a few months ago and I find it's good enough probably 90% of the time. It's often enough that it's not really a pain.
I mean, you punch a couple of trees and you can make a pickaxe with just wood easy-peasy. You can’t mine ores with it but it will get you through stone at least.
Interesting that you mention the shift of the center of gravity. I would add that there are multiple competing shifts. Flushing, for example, has now become a viable, small city within New York City.
Can someone more knowledgeable than me tell me if this is a bad thing? AFAIK, pretty much every broker (except notably Interactive Brokers) sells trades to these types of places to actually perform the trade.

I'm more surprised that it's only half. I didn't think their Gold platform or whatever they call it would have though uptake to really impact their bottom line (their target market is cheap millennials who prefer free to good, and $6/month is quite a bit).

Are they doing anything less ethical than their paid competitors?
As good an explanation for the subject as I've seen.

Drive-by repetition of my general curmudgeon opinion: the point at which a real-world software design finds it needs to worry about the specifics of c*variant behavior in its types is precisely the point at which a real-world software design becomes an inappropriate fit for language-based subtyping. Worrying about this stuff hurts rather than helps, if you're trying to solve real problems.

Fight me. As it were.
How can I buy salt that does not have this?
> loose dependencies in setup.py

How does that work? How would someone else coming to work on your project use them?

> concrete, pinned dependencies in requirements.txt

How do you maintain that requirements.txt? And while that might work for applications, what do you do for libraries?
It is perfectly consistent for example to believe that it is OK to have a military, but not to do any R&D in the private sector. That is what this guy is advocating.
They're not in the same position. China takes advantage of bugs in the rules. The US writes and pushes through the rules, often quite forcefully.
You can try it right now inside virtualbox, and 20 minutes later you realize that it is has all you need. After a few days, you'll notice that you spend most of your time inside the virtual machine, and then it makes sense to turn your setting upside down and work directly on the saner system.
It's not quite as simple as that if the many posts on importance of good sleep here on HN indicate anything.

Sometimes you might wake from 7.5 hours of sleep groggy and with a headache and sometimes you might feel fresh after 6 hours.

If good sleep is one of the most important things in prolonging and improving your quality of life then it would make sense to take advantage of modern technology to track it.

What's the point of investing extra $100 for retirement if you do not live to enjoy it?

Besides, I live in a country where retirement is far from certain.

I would at least like to know the optimal time for waking up.
Correct! I forgot, there was a little nuance there. Thanks for posting that.
Airconsole is awesome and it's a very innovative idea. This will really help them to reduce the data usage.
Very cool! Keeping fingers crossed.

Speaking to people with domain expertise willing to use their time to help you is an invaluable experience. A short 10-15 minutes talk can save hours or days or researching, experiments, proving yourself wrong.

Good luck!

PS. Tried to reach you at info@coffeechat.app, but got:

554 5.7.1 <info@coffeechat.app>: Recipient address rejected: this address does not exist
Lovers club 2017 telugu movie
Most communication satellites are in geosynchronous orbit.
To quote Idiocracy, the people seeking out contraception are the ones we want reproducing, either because of their values or their genes.
I'm interested in this idea that a piano has a distinct timbre per note. Surely the most distinct thing between two notes is their pitch. But you're saying people pick up on the harmonic signature more readily? I can here the difference in timbre across different sections of the piano, but I really cannot imagine distinguishing the timbre of two consecutive notes within the same "section" (by section I mean that the strings are arranged equivalently except for length and tension).

I'd also think that those people would be very sensitive to the make of piano.
The user in the end chooses to use google however.
A wise person here once suggested viewing the world population as a parallel computer, with each human mind working to move us forward. With this view in mind, as soon as space travel opens the solar system Malthusian philosophy dies forever -- we are going to need as many people as possible both to colonize and to discover answers to all the new problems that will arise. What would technological growth look like with a trillion minds across the Galaxy inventing and discovering?
Yes it would be orbiting above the equator but at GEO it can easily see all of China which is all it need to do to reflect light from the sun to Chengdu.
IObit Uninstaller 8.1.0.13 Crack Full License Keygen Code
Actually Swiss Post has the same problem as the USPS: buying something from a Swiss online shop is usually expensive because of high Swiss wages, but you can buy stuff for "dirt cheap" from China, and the delivery isn't paid for by the customer but by Swiss Post. Things like S-ATA cables cost maybe at least 7 Francs in Switzerland, but 0.40 CHF from China, with free shipping!
Right? I thought the golden economic theory we all subscribe to is that if demand is low the price must lower to meet it? Or have we been lied to and there is another hidden principle yet to be named at work for those who have capital and can just sit on it.
Missed opportunity: the cult film "Six-String Samurai" set in post-apocalyptic Las Vegas and featuring the Russian-American music of the Red Elvises could have instead been entitled "Seven-String Samurai."

But I don't know whether the Red Elvises ever played a seven-string guitar. And their style wasn't exactly up the lines of old, traditional Russian music.

https://en.wikipedia.org/wiki/Six-String_Samurai
I think it's the contrast between what people want for themselves and what brings status. Maintaining status while raising kids--and having status for the kid you're raising, like sports teams or good schools--is expensive. Status is how society signals you should do something, so it's a strong incentive.

The situation, at least in NYC where I live, seems reversed for the very rich, where more kids is a clear signal that you have a lot of money and yet spare time for your kids.
I had to take off my shoes in Chile...
Does ^D to send EOF not work like most programs?
Good job! Lawyers being the source of overly complex contracts sounds plausible.