skysight-inc/HackerNews huggingface dataset:
Welp that’s a rant. Here’s an example where integrated supply chains and arbitrary supermarket standards cause eye-watering levels of waste: https://vimeo.com/223234033
Many economists see land value tax as a "perfect tax" that has none of the bad incentives of other tax regimes.
Ask HN: How to holistically think about tech?
I am trying to think holistically as a tech person. What are the technologies one should know and have basic hands on practice with? I have a list of three,
1. Web (website, webapp)
2. Mobile (Android, iOS, Cross platform)
3. Hardware (smart and dumb devices)
Can anyone add to the list?
As the post says "math doesn't rot". There's lots of innovation on the more advanced end, but if you want to understand the basics, not that much has changed.
Kubernetes in OpenStack
handwaves these are not the ideas you thought of
Also...

> where I live individual debts have to paid and massive debts will make your life miserable. So I definitely think they should be included into a meaningful indicator

There have been times over the past few years where my paper net worth was negative (due to running a startup that had no market value and having substantial personal debts), but still lived a materially comfortable western lifestyle - i.e., lived in a nice apartment in a nice area of a modern city, owned a nice-ish car, ate at nice restaurants, travelled frequently both domestically and abroad. Life wasn't exactly joyous, but it wasn't the debts that made life hard, it was the pressure of startup life.

Recently my partner and I have become home-owners and so we now live in a nice-ish house in a nice-ish area, but the mortgage combined with my legacy debts mean that my net worth is still not very much above zero.

The bank has been willing to lend to us because our combined present and future earning capacity makes us reasonably low-risk borrowers, so we get to live a lifestyle that could well put us in the top few percent in the world, even though we're not "rich" on paper. I could easily take out a couple of personal loans to spend on consumables, push our net worth below zero, but not have a materially less well-off existence.

This is the problem with these studies; it equates "richness" with present dollars of assets or debt, completely divorced from the realities of your current and future lifestyle and earning capacity.
While I don't completely disagree with you,

If somebody known to kidnap dogs opened a free doggy daycare service, I would expect people to question his motives.

By doing this, I suspect Google will get access to a significant number of social datasets which were earlier not available to it.
I've had to tell tourists the local transit is not free though, so maybe it needs to be marked better for them.
Dofollow Backlinks Sites List That Will Boost Your Traffic in 2019
Some fonts can be very annoying for those with astigmatism — especially when using contact lenses instead of glasses since they aren't always matching your prescription.
It would be a bit like having a large desk and then buying gigantic sheets of paper to write on because otherwise you would have wasted desk space.
Analog computation, Part 1: What and why
Yes, this was online before Christmas (at least)
NEW WHATSAPP BUG RESPONSIBLE FOR MYSTERIOUSLY DELETING USERS’ CHATS
That is why I avoid all these companies. Everybody have the option to do that aswell.
Yeah, that's the basic idea of refinement based program verification. An example of that is: https://github.com/seL4/l4v

There are many programs which can be nicely specified with logic, and which could thus be treated this way. That we haven't build up the infrastructure yet to do this cheaply and routinely for those kinds of programs / libraries has various reasons. For example software engineers never doing a computer science degree ;-)
Oh OK thanks. I don't wear the glasses that often. I have astigmatism which is worst in my left eye. Does it take long for my eyes to compensate? When they do does that mean I have to wear the glasses for screen work all the time? All questions, I've struggled to find consistent answers on.
Podcast about 'test && commit || revert' with Kent Beck
At least you can know how it has been and JetBrains has been releasing several updates yearly for most of their tools.

If they quit updating to abandon (which is unlikely when they're making quite a ton from the subscriptions), you can quit paying.
How does something like this evolve to start with? I'm out of water, so I'll pee on it instead?
Ether is Valuable
Actually it isn't. It's the same kind of poor research that the rant is about. Those are cosmetic specifications for supermarket stock, nowhere does it say what happens with the produce that doesn't meet them. It's simply insinuated that it goes to waste, but that isn't true.

The supermarkets know very well what kind of produce doesn't sell, so these specs actually prevent waste, because unsold produce that is about to spoil really does go to waste.
That only applies to "potentially hazardous food". A baked good doesn't fit the definition. Butter in the recipe doesn't matter. A cream filling might, so perhaps that caused some confusion?

Also "four hours" isn't really an "end of the day" thing... And if they're in temperature control at the end of the day, then four hours is plenty of time to get them distributed and consumed.
I feel like there should be a more reasonable middle ground between 3+-year-old software and cutting-edge?
> once you download more than 2 packages, identifying which you installed is impossible.

Not impossible, just marginally harder (if timing attacks can be though of as "hard").

Keeping your specific packages of choice in secret does not buy you anything anyway. The attacker with access to your traffic will always knows, when you perform system updates, which is more important than names of specific packages.
I don't think the recent liberalisation is about buying people off. I think it's a recognition that if they're going to establish anything like a real economy, women are going to play a huge part in that because so much of their human capital is locked away in the female population. They’re dramatically more entrepreneurial and better educated than Saudi men.
Fertility dropped from 3.8 kids to less than 2 in 10 years, or am I reading the chart wrong? Did they put a gov official in each bedroom to lower birthrate or what?

Birthrate of 4-6 is unsustainable (unless, maybe, they're Canada with all that land and resources) but above 2 is needed. Someone needs to work in 25 years and pay social security so old people get theirs.

Looks like stormy seas ahead. They can open the spigot for a while but unless the tank keeps refilling (oil prices might not cooperate) it will run dry.
> ultimately they are lower ethical status than humans.

The rest of your reasoning notwithstanding, statements like this indicate that you don't quite understand how ethics works. Most importantly, 'ethical status' really isn't a thing and even if it was making blanket statements about how ethics goes for everyone will 100% always be wrong. Ethics is about being able to reason about what is right for you, within your moral framework. It's not something you can apply to other people (at least, not if you want to make sense).
Amazon of Japan, Rakuten, to introduce Bitcoin as a payment option
What's your source? I searched for "google duplex fraud" and found a few results indicating that maybe the "businesses" called during the demo weren't real? I can't find anything that proves this assertion, but even if I could I'm not sure I'd label the whole demo fraudulent in terms of displaying the state of the technology. For a fraudulent demo I'd expect to see evidence that the system's responses were actually generated in real-time by a human controller, but I haven't found anything online that makes this claim.
Xkcd: Technical Analysis
> is [logic] on the syllabus?

It used to be, but these days, most normal universities have de-mathematised their core CS curriculum, and logic is rarely taught in any depth. If you are lucky it's a short few lectures on some introductory mathematics-for-computer-science Year 1 lecture.

> this should have been the first thing I ever studied.

In my experience as a CS prof at university, teaching logic at the start of a CS course will baffle 99% of students, and they will not see the point. At the same time, the top 1% love it. Note that as of January 2019, most programming jobs, including top paying FAANG jobs, don't require a substantial grounding in logic.

Note that logic is deeply engrained in human thinking, we intuitively understand the meaning of terms like not, and, or, exists etc from early childhood on. The Kantian hypothesis here is that logic is part of the very fabric of our preception. So on some level, we don't need to learn logic as adults. What a logic course does it, tell us how to formalise logic.

Moreover, by the Curry-Howard correspondence [4], (constructive) logic and programming are essentially the same thing, so one might argue that a computer science degree is basically a long logic course, but using a novel approach to formalising logic.

> type systems are close to unification

Yes, in the sense that type inference does unification. The most famous paper on type inference [1] is explicitly based on Robinson's famous unification algorithm [2]. User "dkarapetyan" in [3] even quipped:
"Any sufficiently advanced type system is an ad-hoc re-implementation of Prolog. Once you have unification and backtracking you basically have Prolog and can implement whatever Turing machine you want with the type system."
Relatedly, compilers for languages with advanced typing systems are sometimes quite slow (e.g. the old Scala compiler), and the cost of unification plays a big role here.

As an aside, I recommend implementing the core type-inference algorithm in [1] for a toy language. It's simple, only ~100 LoCs in a high-level language, but it will really help you understand typing systems, and hence modern programming languages. Few things amplify your understanding of programming languages so much, for so little effort.

> proof system showing their equivalence?

Proving equivalence between programs is not computable (by easy reduction to the halting problem), and infeasibly expensive to do manually for non-trivial programs. Barring unexpected breakthroughs in algorithms (e.g. a constructive proof that P=NP), this is likely not to change in the next decade or two.

[1] L. Damas, R. Milner, Principal type-schemes for functional programs.

[2] J. A. Robinson, A Machine-Oriented Logic Based on the Resolution Principle.

[3] https://news.ycombinator.com/item?id=13843288

[4] https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon...
It is not for trivial problems. It is for first world problems, as other places in the world don't have dog walking as a service complete with android apps and have not invented billion$ social networks for people to post their grievances when their pet dies or they get screwed over by strangers. Although, at the cost of appearing to be an individual who is insensitive to death, I can totally see the appeal for calling most first world problems trivial.
I don't think the author needs to go to such lengths just to support some proprietary fonts, specially considering that there are great free and open options.
I'm in the same boat, every time one of these threads pop up I try a few different fonts recommended here but I always end up going back to DejaVu. It think it looks pretty good, it has good Unicode coverage, it's supported out of the box on most distros...

It's weird because I can be pretty snobbish and opinionated with a lot of programming-related stuff (I use a very expensive keyboard, a large 4k screen, a heavily customized editor and window manager etc...) but when it comes to fonts I really have a hard time finding a real improvement with some of the very expensive fonts people are recommending in this thread compared to good old DevaVu.

I would be very interested to read an article that would explain in details what makes certain fonts better or worse than others, especially for programming.
The section you cite applies to 'potentially hazardous foods', which generally are foods held at hot or cold temperature, not baked goods held at room temperature (even baked goods with butter in them).
Coding is the easiest part. Understanding the actual problem and solving it is the hard part.

> A lot of coding is simply banging your head against the wall, search SO over and over, changing things around, until it does what you want.

It doesn't look like programming to me. Yes, sometimes we miss something, so our code doesn't do exactly what we want it to do, but when we realize it we just fix the code. This view of coding resembles an improved way to write Shakespeare with monkeys.
Is it impossible to do this safely?

Just like with my car, it would be really convenient when holding kids and a load of their stuff to not have to fish out the keys.

I suppose there's the issue of your landlord locking you out if they're unhappy with something, but surely that is not purely a technological issue.
The 24/192 part is irrelevant - there's no audible difference between properly-mastered 16/44.1 and 24/192 audio. No adult human can hear anything above 22kHz; 16 bits provides 96dB of undithered dynamic range and ~120dB of perceived dynamic range with shaped dither.

You can hear the degradation from 16/44.1 bitstream to 320kbps or 192kbps VBR MP3, but you need good gear and good ears. I'm perfectly happy to listen to properly encoded MP3s because the difference is very slight, but I'd still use uncompressed or lossless formats for archival purposes.
But your muscles don't have to become very strong to get imbalances. You can get rounded shoulders just from sitting with a hunch at a desk all day. Imbalances in your pecs and back can cause shoulder impingement which is a common injury. Tendonitis is also easy to get when starting running, especially if you go for your 'max distance' based only on what you feel you can do.

Strength training is often advised to prevent running injuries, eg. https://www.runnersworld.com/health-injuries/a20788889/fix-m... which is particularly related
~= "A startup for startups sake"

The new art?

Shouldn't people usually have some kind of business idea before diving head first?
> Many times the farmers are given such a low ball offer, that is basically expecting them to sell for loss. The farmer does the obvious. Takes their produce, dump in a lake near by as garbage, because it often doesn't economic make sense to take it back.

That doesn't make any economic sense either. How is "selling at a loss" (i.e. taking in less money than it costs to produce) worse than dumping the produce (taking in no money whatsoever)?

There has to be some other factor at play here.
The tl;dr for you is that the Saudi people made more people faster than their cash could make more cash. And as an extraction-based economy they made more jobs even more slowly than that. So now they've got a glut of young people, not enough cash to keep them complacent, and not enough jobs to keep them occupied. What do you think will happen next?
An Exciting Journey of Parsing and Matching in 2018
Reporting a bug here as I see that the author is around:

For some reason, switching fonts does not work on my browser.

Firefox 64.0.2, windows 10 64 bits

No error message in the console, and ublock origin plugin didn't block anything on the page.

Opening the same page in Google Chrome worked well: font changes in the demo code whenever user clicks on a font in the list.
The problem is much of that wealth has been appropriated as personal assets by members of the Royal Family. A lot of it has also been squandered on extravagant projects that will never have anything close to a real ROI. They _could_ have managed it better and ended up living off it indefinitely, but SA is no Norway.
Any pattern involving "callbacks" or similar make one wish for contravariance, though in my experience it is not an intuitive idea.
I use two cheap 4k offbrand tvs that were on clearance at Walmart for $300 each five years ago. Contrast is not great but otherwise I love them. I have two WUXGA side monitors in portrait mode too, mostly for nerd points but really it's nice to have one as a permanent outlook monitor and one as a permanent console. Usually I use the main monitors for two apps each side by side, but sometimes it's nice to use all 4k for visual studio or dashboard viewing. Occasionally will still need to float a few windows randomly, but hardly ever tile them vertically as shown in the op picture.
What actually happens with human drivers is this: everyone wants to get home/work so the distance between the cars will decrease below safe levels when more cars are added to the road.

So the breaking latency of the autonomous cars must be better than this to fit more cars onto roads.
No love for gohu font? (http://font.gohu.org/)
Isn’t this a cautionary tale because MUJI ended up buying Japan’s entire broken mushroom output and had to buy whole ones in order to break them up themselves?
Your thinking of Norway's approach where the state uses oil to reinvest and pay for future generations.

Saudi is trying to do this by spinning off part of Aramco in to public ownership and by stealing wealth from top officials. realistically they should have started 30 years ago.
I think the parent commenter wanted to emphasize that there are more than 2 options (di- = 2, deca- = 10) to choose from...
Unless you're perfectly OK with all of humanity and possibly the only sentient intelligent life in the universe dying off, we actually do have a very serious problem. As far as we know, we are the only life in the universe that actually cares about other life, that actually cares about cataloguing the world and the universe and exploring it. We are (as far as we know) the universe's consciousness.

I don't buy into your defeatism. We can save ourselves, but it requires us to take the threat seriously and requires us to act, rather than just twiddling our thumbs and perpetuating the status quo.
That post only invalidates* a specific measurement, but doesn't provide counter-measurements, especially not ones that say Angular.js was faster than React. Although I don't have alternative numbers, and will agree that VDOM comes with a performance penalty, Angular.js's method of change detection was pretty inefficient and required a lot of hand-holding.

Still, I think either were sufficient for most use cases, and performance definitely isn't the main selling point for React (nor Angular.js).

*Well, somewhat - it was still easier to shoot yourself in the foot, performance-wise, in Angular.js, but that's not really the point here, and React has its own issues there (e.g. `key`).
If the parent makes the unjustified statement that all cinema reviewers no know nothing about how film is made why not.

And I was not being condescending BTW.
Virginia Woolf? Snob! Richard Wright? Sexist! Dostoyevsky? Anti-Semite
Working for me on the same environment
Show HN: The new design-with-code workflow with drag-and-drop
I had a huwaii fit-bit-thing for a few months it uses two apps and I had issues getting them to talk to other software, but no problems tracking or shutting down, didn't change any settings. Maybe other apps have problems but theirs worked fine.
Tim Harford: how behavioural economics helped kick my phone addiction
Here’s a good post about it: https://dave.cheney.net/2015/11/05/lets-talk-about-logging
http://www.pbr-book.org
By crawling Google Maps, extracted the publicly displayed review counts.
reminds me of this http://n-gate.com/software/2017/07/12/0/
They don’t want a “kick me” sign on their back?
>Capitalism is not a political system

That’s why they say! And that claim is the target of it’s most long-lived detractors. The subtitle of Karl Marx’s Capital is, of course A Crtitique Of Political Economy. The girth of Marx’s contributions to politics and economics were in showing how the two are inseparable. Of course, you’re invited to disagree, but you’ve got your work cut out for you.
wow making such a drama on twitter because of this?
I find it kinda funny to get triggered like that and having the need to make everything public.
Are not you assuming the varieties used for canning etc are the same for sale in supermarkets.
Yes, even the darn color scheme. What color was outlook? Look for the yellow icon, no the blue, wait not Word... you can't even see the embossed O?

I honestly don't know how the most loathed form of support, phone support, can even do it these days.
How do you load balance? i mean load balance the "public ip"

In some networks DNS failover is really not that great, so at least a virtual ip needs to be used.
What was your portfolio, I'm talking the existing examples of work?

> I was interviewing for my second job out of college with about two and a half years of experience without any particularly notable internships or employers on my resume; I went to a very small school that had zero known software companies at their “career fair”;
Mostly virtue signaling, and a clever way for the producer / seller to actually get more money for their produce than "nice looking" would - a LOT more than if it were used in a factory product where it would normally end up in.
I could imagine that you would not just want to stand by and do nothing if you suddenly have to move because the landlord just made your appartment very insecure
As an alternative view, I cannot strongly enough suggest to get an academic degree if you can afford the time and money.

Self-directed learning is ok if that's the best you can do, but having the structure of an academic setting is absolutely invaluable. You'll immersed in an environment where those around you are doing the same thing, and the value from discussing difficult concepts with others is impossible to overstate.

Self-directed learning will put you in a bubble of the overhyped web technologies. What is extremely hard to understand from the outside is that there's an ENORMOUS hidden level of much more interesting problems and work in fundamental engineering. But it doesn't get discussed online much, because it's more difficult to get into, and there's no point arguing with people online when they don't have the background to participate.

Happy to discuss my thoughts further if you have questions
I think you're really underestimating how serious this is.
Amen also being straight and to the point is not always condescending
If many people want to fight against something, making it public helps those people to find each other and organize. From some of the tweets, other people in similar situations have reached out to her.
You are assuming, that all packages are equally interesting (and your math does not account for package dependencies).

In practice, attacker either does not care about your packages, in which case hiding that information gains you nothing, or wants to be alerted, when you (or anybody else) install one of few specific packages. Those combinations can be computed in advance and identified in traffic.
Thanks for mentioning it! I just compared Consolas with the default Menlo along with Hack, and I do like the roundedness in Consolas.
I remember my mother telling me that black clothes attract mosquitoes.
The problem is which lines. I found code all over the place which broke for unicode reasons (we were reading in the output of GCC, and printing it back out, and it didn't work any more as GCC doesn't output valid UTF8 in some cases).

In the end I decided moving to Rust was less work than Python 3 (in terms of being sure my program was reliable and wouldn't error out with unicode errors).
it's more just the huge risk right?

so many factors become part of the threat model, when you could stick to the physical lock, and really limit it.

https://twitter.com/internetofshit?lang=en is a pretty good example.

you could make a rfid chip reader part of your lock, but even that has weakness.

http://www.astclock.com/astclocks-blog/advantages-of-rfid-do...

tldr: limit your damn threat model/inconvenience.