skysight-inc/HackerNews huggingface dataset:
Their reporting of the non repairability seems mostly factual and drama free to me, in what way is it ridiculous or disproportionate ?

Also I think it would dishonest to just ignore or brush off these kind of issues for products that we see as marvel of engineering. Any choice has tradeoffs, recognizing the product strengths should go hand in hand with also acknowledging what it sacrifices.

For a single customer it might be not worth to do that kind of analysis, but I expect reviews and teardowns to highlight these dark spots we otherwise don’t think about as simple consumers.
I'm sorry, I had noticed you weren't the same person, but must have somehow forgot it while composing my comment.

Anyway. The precise function of makeup varies, but the specific case of lipstick is, as I already alluded to, designed to subconsciously simulate attraction through the mimicking of flushed lips. That's pretty much exactly the "illusion of having emotions one doesn't really feel" - and far more directly sexual than merely holding eye contact.
Welcome to being a grown-up. These worries have been part of being a responsible adult for forever.
rust might fare pretty well w/r/t preventing these overflow errors, because rust is pretty persnickety about overflow.
It is a stretch. Millions of K-Cups are intentionally disposed of daily. I doubt that more than 100 AirPods are disposed of daily, probably closer to 10-20. That will naturally accelerate as they get towards their end of life, but the comparison is ridiculous.
We've banned this account for using HN exclusively for political and nationalistic battle. That's not allowed here, as https://news.ycombinator.com/newsguidelines.html explain.
I quickly read through this. Context: I'm Dutch and live in Utrecht, The Netherlands.

This booklet has one massive flaw: it is constructed using American best-practices. At best, a couple of examples could be considered almost acceptable. Most of them were woefully inadequate and consist of little more than a blob of quickly-fading green paint in ill-considered positions. Worst of all, several examples are clearly flawed, and to me seem even more dangerous than not having any infrastructure at all.

If the goal is to show to unimaginative people that it is indeed physically possible to create something resembling bike infrastructure, then it will do fine. But if you're trying to actually create a good, safe, well-used cycling network, then this is not the way to do it.

If you want good examples, go visit something like https://bicycledutch.wordpress.com/ . This booklet almost reads as if it was written by someone who has only heard about cycling infrastructure, but never actually lived in a city which has it. The intention is there, but there's an even longer way to go.

Some trivial stuff to change:

- Add green dye to the asphalt instead of adding a layer of green paint. This means that it will not fade.
- Color the whole cycle path, not just a few small parts of it. You're trying to create a continuous network, remember?
- Don't use a zebra-crossing style striping at crossings. A continuous green bar would be way easier to see and interpret as something to stop for.
- Don't create turn boxes. They are always in dangerous positions and there are better alternatives.

But most important of all: don't just add cycle paths to your main car roads. You wouldn't add a sidewalk and crosswalk to an interstate, would you? Create the main cycle routes on secondary streets, and make them unattractive for cars.
I think this is a combination of low interest rates making the opportunity cost of owning collectibles much lower and rising inequality driving up the purchasing power of collectors.
I always thought it went

P: Sex outside of marriage is a sin.

Q: Marriage is between a man and a woman.

Therefore [P and Q] implies that homosexual activity is wrong but the mere act of being attracted to the same sex is not inherently sinful.
It would be cool if someone like Google could implement this in their recaptchas somehow to get more exposure.
The places where people ride bikes en masse, like Amsterdam, have physical separation. Very few people want to have cars whizzing by a few feet from their elbows. If you want people to seriously consider cycling as anything other than a hobby you need physical separation of bicycles from cars.

Unfortunately cycling advocacy organizations in the United States tend to be opposed to physical separation.
CRT tubes, Asbestos, Dioxin, yeah, the last decades of the 20th Century were just great.
ot: is tough-sledding an autocorrect morphism or a lnown expression?
The comment you're replying to literally called it a silly concept. Their point was that, in addition to being silly, it also doesn't even support the position of those who typically invoke it.
It's just something we tell ourselves to assuage our embarrassment at getting conned.
So when are browsers going to abandon their greedy line breaking algorithm and implement Knuth/Plass or similar?

In my opinion that is the single biggest problem with web typography, and has been for years. Significantly more important than auto hyphenation.

This has been a solved problem for 40 years (or at least 10–15, if we need to worry about fast performance for interactive use on a desktop computer). Should be table stakes for any software rendering long blocks of text.
The comment was about engineering marvel though, not lifestyle progress.
> Would love to get your thoughts

The concept sounds lame to me.
I find it hard to imagine that a product which lasts 2 years and is smaller than a shot glass can be much of an environmental concern. I would have to throw away 10000 pairs of airpods to match the volume in a landfill of throwing out a single TV. Similarly, 10000 pairs of airpods use about as much raw materials as that single TV. This just seems like the wrong battle to fight
projectprevention.org pays serial child neglecters to get birth control
> and therefore bad, which I do like

Why? Indeed "unnatural=bad" is pointless, there are just so many "unnatural" things people do that are considered ok (btw the mere fact they do already suggests it's not unnatural, umans are a part of nature to and they are doing something without being forced). Even simple medication or agriculture or exercising can be considered "unnatural". Besides that why can homosexuality be considered bad? I'm straight but take it as a matter of taste, males just don't feel attractive to me. I can see no reason I could take seriously. If a significant percent of homosexual acts between healthy partners would result in serious diseases or trauma I would consider this as a clue but I haven't ever read about any evidence suggesting this.
Please don't take HN threads on off-topic flamewar tangents. That's against the site guidelines: https://news.ycombinator.com/newsguidelines.html.

We detached this subthread from https://news.ycombinator.com/item?id=19472718 and marked it off-topic.
They say it makes them ‘cry’ and it’s a ‘hot mess’.
https://en.wikipedia.org/wiki/Carnival
The gist of the news is: Trump never had anything similar in scope either. It was a fiction, invented by the Democrats and the media.
I was wiped out back in 2017. I was a web developer living in Dallas and making 90K a year. My manager and I didn't get along and I eventually ended up on a PIP. After 30 days I realized I wasn't going to meet the PIP goals and resigned before being fired. I wasn't worried, I had about 50K in cash and 20K in credit, and I surly could find a job before it ran out. I was wrong. I got very few interviews and when I did, they were more fit than technology focused. I might as well have picked a number between 1 and 100 to decide the interview.

There comes a point when you go into emergency mode and start planning for the worst. We made it to tax season and got our return. we bought a used car and moved to Tulsa, Ok for the cheaper rent. I had also spent 20 years there when I was younger and felt confident I could find a development or any job. It didn't go as planned. I got plenty of interviews, but none panned out. Many employers questioned my time without a job and I think that and my rusting skills keep me unemployed. Hell, I can't even get a blue-collar job. And it didn't help that the used car broke down and I had to walk and ride public buses every where. Now my wife works for $8.50 an hour at a diner and that's what we make it on. I'm in a worse position than before I went to college and it makes me bitter about life, people, hiring practices, and that so much depends on luck and timing.

So yeah, you never know what's coming. Save all you can and keep working towards financial independence, which is the only real guarantee.
But the economic system in place is not producing those effects in all countries that subscribe to such a system, so saying so is a poor conclusion. Many capitalist countries do not have housing shortages, so it seems very glib to blame capitalism when there are more accurate and more granular phenomena to point to.

I mean out of these, which seems more accurate?

1) In some capitalist countries, there is a housing shortage.

2) In countries with restrictive zoning regulations, there is a housing shortage.
If 10 million airpod units had an average lifespan of 5 years, they would be disposed at a rate of 5480/day.

There’s no question that K-cups are a bigger ecological problem, though.
I think she's railing against bad architecture — and implicity the structures that enable them — more so than architects specifically.

Insofar as these buildings violate principles of architecture, are these architects "lazy" for not pushing back? I don't know.
Do they have any iconic software that wasn't appropriated from NeXT? Keynote is pretty good. Everything else is either awful or basic.
Yea can totally work - it gets at a lot in the zeitgeist in tech recently. I left Airbnb and started https://alma.app for similar reasons. We help companies with strong social missions (and their employees and their customers) connect with charities that share the same broad goals.

Many people I worked with would I think not only want to work with an agency that supports charities, but you could go a step further and also help those employees use their skills at the charities to volunteer, the companies support them too.

Always happy to talk, just ping me a note!
It wasn’t a puzzle type of game at all. I just meant you could play it casually or take it more seriously. Most of the serious players had maxed all event builder items, pets, storage. They were proud of their efforts and displayed it for all to see. (You could visit your friends islands and help them out on dives etc)

The graphics are stunning. All the thought that had gone into the little details was brilliant.

Even your pets look up at you through your screen and each one has at least 3 animations. They would interact with different items just for them.

The characters in the game all had storylines and you built up reputation with them unlocking new recipes for the mills. I also think the story lines made it more time consuming to add new levels as there was so much thought behind it.

Island space was a big issue with players. There was so much you could do to decorate and never enough room with the pets constantly been added to the game. In all it’s time there was only 1 land expansion. Maybe this was due to high level of graphics?

I for one bought a new iPad in 2017 just to play PB so it ran smoother. I know as the game progressed some couldn’t run it on their tablets. But as with all games, as they improve we have to upgrade. PCs, consoles, tablets.

I maybe naive but I hope someone can take this game and keep it running. That would be a bonus! If they don’t then I’m slowly coming to terms with another gaming love been over.
> Also have you read any of those New York Times "editorial" pieces they crank out? "Trump isn't so bad" and "Why I voted Trump and I'd do it again, gosh darn it, and you should too" are typical fare.

I haven't seen those, and I can't find them with a search. Do you have links?
The mobile operator Jio does the same thing here in India. Any content that offends their conservative interests, is routinely blocked without any legal repurcussions.

If ISPs want to act as curators to content they just provide access to, then they should be held legally liable for illegal content. Else, just act as a dumb pipe and give up all responsibility.
I don't typically have sex with things I'm not attracted to... And even if psychologically my sexual impulse seems different from that of an animal's, it's biologically the same.

What purpose does this distinction serve?
Questionable Typeclass Encoding in Scala
Oof, yeah, that one's something else entirely. I don't tend to mind these newer formats, but I'll admit I'm not a fan of that one.
> using arbitrary precision fractions for Gaussian elimination

Here's a way to get exact results from just standard precision, say, integers 32 bits long:

For Gauss elimination, that's for solving a system of linear equations, say, m equations in n unknowns. So, we are given, in floating point, a matrix m x n A, an unknown vector 1 x n x, and a right side constant 1 x m b. So we are looking for x so that

Ax = b

Now, multiply each equation by an integer, say, a power of 2, so that all the numbers in A and b are integers.

Next get a list of positive prime numbers, each, say, stored in an integer 32 bits long. Say we have p such prime numbers; so we have prime number for i = 1, 2, ..., p.

Next for each i, solve Ax = b by using Gauss elimination but in the field of integers modulo prime number i. For division, use the Euclidean greatest common divisor algorithm. Yes for this arithmetic have to be able to form the 64 bit sum or product of two 32 bit whole numbers and then divide by 32 bit integer and keep the 32 bit remainder -- commonly we write a little assembler routine for this.

After doing that work p times (could be done in parallel), we use the Chinese remainder theorem to put together the rational numbers that are quotients of multi-precision whole numbers of the solution. With those, we can get floating point approximations as accurate as we please.

But if want to work in floating point arithmetic anyway, then there are three ways to do better:

(1) To start, in Gauss elimination, look down column 1 of A, find the row with the number of largest absolute value, and swap rows to put that number in row 1 and column 1. More generally after p - 1 rows, will want a pivot element in row p and column p. By swapping rows, use the number largest in absolute value in column p and rows p, p + 1, ..., m.

(2) When form an inner product, say,

u(1)v(1) + u(2)v(2) + ... + u(q)v(q)

form each product in double precision and add the double precision numbers. If want to do a little better, then before adding, sort the numbers so that are adding the smaller numbers first. Or

"The main sin in numerical analysis is subtracting two large numbers whose difference is small.", etc.

(3) Once have x so that Ax ~ b, find difference d = b - Ax and then solve for e in Ae = d and replace x by x + e so that A(x + e) = Ax + Ae = (b - d) + d = b. So, take x + e as the solution. After Gauss elimination, solving Ae = d can go relatively quickly. Can do this step more than once.
Could it be? Easily. The hard part is converting from one to the other.

Example, the town of Houten, as seen on this map [1]. Red is cycle-only or cyclist-first, white is regular road. Note the ring road around the town, which carries most long-distance car traffic. The inner roads, where cars mix with cyclists, are only used to reach specific addresses and do not carry any through traffic. This principle has been proven to scale to larger cities as well.

[1]: https://www.bikeauckland.org.nz/wp-content/uploads/2013/11/h...
It is a pity you have to put the big disclosure at the top of your comment. But our media have made things very binary black and white.

Not buying into the 'red scare' means that in the eyes of some you must be a Trump supporter.

This is a failure of critical thinking and far too many people fall into this trap, thereby perpetuating things like 'RussiaGate' when it no longer makes sense to do so.

The suspicions won't die down amongst those that have been sat in front of their televisions feeding their imaginations with 'RussiaGate'. To them 'it happened but it could not be proven'. Their suspicions are still confirmed.

There is also a failure to take people at their word when it could be prudent to do so in this world of politics and lying. People have motivation for lying and people have motivation for being honest.

The leadership in Russia - Putin, Lavrov and others - have stated why it is that they have not secretly foisted Trump on the American people. But those that don't listen don't want to take them for their word on that.

Fundamentally the Kremlin see other nations as having national interests and, in the case of America, they have no need to care about who sits in the Oval Office as the national interests will be the same. The Pentagon isn't going to go away, the need for oil isn't going to go away, the need for the world to be using the dollar as the world currency isn't going to go away. American capitalism is always going to be what it is. American national interests are a constant as far as Russia is concerned. They cannot expect some external change, they have to be self-reliant and foster their own good relationships with traditional partners.

The Russian leadership have also stated why it is not in their interest to put 'their man' in the Oval Office. It is not due to any standards of conduct it is simpler than that. Thinking two moves ahead, what legitimacy would a puppet President hold, how long would he/she last and how would Russia be treated should the American people find out?

The Kremlin have thought this out. However, explaining to someone that the Russians are not motivated to influence the American elections also falls under the 'instant disclaimer'.

'So you must be a Putin fan?' is the expectation for proffering this explainer. But it is not about that, it is about understanding motivation and the Russian leadership are not motivated to influence American elections in some super-sneaky way.

There is a failure by the press that have pursued RussiaGate to empathise and understand others, whether they be the people that voted for Trump, the Russians, the Democrat machine or even themselves. It is because of this that you are correct, the press will not reform. It is not in their culture and they don't have the mindset to do so.
To be fair, we've been having these wars for many years already...

https://en.wikipedia.org/wiki/Yellow_journalism
That's what commodity means in economics, up to the level of precision implied by your statement.

www.investopedia.com/terms/c/commodity.asp
This is a great project. I've been attempting to achieve a similar goal but just by writing articles on topics I'm interested in. Even if its a synthesis of other things I'm reading or studying. Essentially trying to boil a subject down and re-explain it in a compelling way to help cement the knowledge.
Apple, Time to Play Fair
Ha! He doesn't even use an actual picture of the finished thing, such is the depth of his interest in the subject.

And four days after opening is a rather short time to wait before declaring "mission accomplished" on something that is supposed to endure.
Yes but in the "middle of nowhere" these houses are owned by the middle-of-nowhere gentry. Saying something that is 300k is not expensive shows a lack of perspective I see a lot in this corner of the internet. Growing up in a rural town, my friends parents rented an apartment multiple towns over because they couldn't afford to live in my town (pop. 5k, surrounded by corn fields). All the problems we think are unique to cities or that we think are more important because there is more money involved really aren't. Everyone has the same problems at different scales.
> filled with luxury shops that no one appears to actually shop at

This [1] Reddit thread from the other day was interesting reading. Those empty luxury shops are definitely to a large extent ads for high-end companies who just want to have a New York presence. Same thing on 5th avenue and in airports.

[1] https://www.reddit.com/r/AskNYC/comments/b2n7y6/people_that_...
Because we will see them in millions
For people not familiar with the subject (or Buzzard and his cohort) I recommend checking out the Zulip archive https://leanprover-community.github.io/archive/116395maths/i... Some of the (esp. earlier) threads are very illuminating on the process of constructing proofs using ITPs (interactive theorem provers).

My personal experience is that modeling a suitable domain of math formally can be a very good pedagogical exercise. There are many fine points that are easy to ignore when doing math informally but a formal tool would not let you. This is particularly helpful when working on foundational subjects. When successful you are rewarded with the feeling of possessing the understanding at a level deeper than everyone else (most likely untrue, but certainly a typical expository paper or book could not cover the subject as thoroughly).

That said note my use of the word "modeling". In a formalization attempt you may have in your head an isomorphism between the code and the mathematical objects under study but the isomorphism is not necessarily apparent or universally recognized. Beyond the most quotidian matters other people's modeling code (think of it as an API) may or may not fit with your conceptual models. Just like there are different programming languages and libraries, there is no universally accepted approach to encode mathematical constructs. Your claim of correctness is only as good as your axioms and definitions. Your theorem, with all definitions completely unfolded, will be an unreadable tangle of first order logic formulas that anyone would be hard pressed to recognize as universally meaningful -- though it is extremely likely to be logically sound. Even if no one questions the soundness of your logic there is no tool that can certify that your formal expression actually means what you say it means in a mathematical domain.
Any truth you have to offer can be expressed without violating the site guidelines.
Link should be changed from a tweet linking to the article to said article: https://thespring.io/stats/who-owns-the-worlds-top-websites/
Right. Box office being when someone sees a movie in a theater. Home being when they rent or buy a movie. Still doesn't mean the cable _subscription_ numbers have to be smaller.
This is just stupid.

Just take AirPods to an Apple store in any corner of the world or simply ship directly to them to recycle almost any product.

https://www.apple.com/shop/trade-in

iFixIt is just disingenuous in that they have a fixed view of what’s acceptable and it highly favors their own business. Their content parades as an objective viewpoint but isn’t by a longshot.
I think the line should be drawn at allowing 3rd parties to search user profiles. I’m content with my content being one of billions on their servers but i’m not ok with my content being indexible for any other reason than what is required for the service to work.

Basically: Select * from AppleDB where userID=Me should never be allowed and failure to prevent such access should result in heavy fines
What is the incentive for a voter who currently owns a home in an expensive market to be in favor of more housing?