skysight-inc/HackerNews huggingface dataset:
So what if they are from 3 years ago, and how would you know if these ideas were or aren't being implemented as we speak? My whole point was that FB on one hand claims that it doesn't want to remove provably false content because it is a publisher, but on the other hand is willing to cater to the Chinese government's request for censorship. Seems like FB is merely trying to maximize revenue no matter what the cost.
Yes, this is really my biggest issue with the new MacBooks or rather was my biggest issue, until I found out there are numerous magnetic connectors and complete cables for USB-C[1].

Now that I use such a cable (L shape, like MagSafe 1), I find it better than the T shaped MagSafe 2 cables, which would disconnect/fall off all the time from my 2015 MBP.

1) Like this one (no affiliation at all): https://www.amazon.com/Magnetic-Adapter-Connector-Quick-Char...
What you tried wasn't "this", though. It was one particular implementation of lightweight threading that has to cope with Rust's peculiarities, special requirements and compilation targets. There is absolutely nothing essential about lightweight threads that prevents them from emitting essentially the same code as the stackless-coroutine approach. It's just that in Rust it might be very hard or even not worth it, given the language's target audience.
People are prioritizing expensive cities because that's how you get higher income. You get higher income by being educated. And you need higher income to raise kids because raising kids is incredibly expensive especially if you don't have a higher income job's provided healthcare.

This has absolutely nothing to do with partying. And if you're choosing to have kids for the purpose of having a support network when you're older, that's kind of a fucked up rationalization for it. At that point, society has failed you somewhere along the way. Even ancient societies had other methods of supporting the elderly in the community or through some form of welfare.
Wow. With programs like that, sweatshops, and general bad acting, Nike is some rotten company.
Assets don’t equal cash. Cash is liquidity. Without it, banks can’t make transactions. And due to post 2008-crisis rules, banks have to maintain a higher percentage liquidity. In the view of the fed, they would rather inject cash than return this requirement to pre-crisis levels.

This isn’t the fed giving away money, it’s nothing at all like startup capital.

Economics are complex. Don’t be outraged that the fed is trying to maintain a stable economy.
> In 1998, Boeing executives summoned Mr. Jones to Seattle, he later recalled in a speech, and made clear that, to get more of Boeing’s business, Collins would have to cut prices dramatically. In response, Collins introduced what it called “lean electronics,” its take on a belt-tightening philosophy popularized by Toyota.
Collins reorganized business units and retrained managers, with an eye toward efficiency and speed. It pushed its suppliers to do the same, and established partnerships with companies such as HCL Technologies, which provides outsourced, lower-cost engineering services from India.

What a surprise. Critical Software is outsourced as a cost-saving measure and results in critical software bugs.
I think this is due to people adhering to a bad implicit analogy: "Estimating software construction projects must be like estimating other types of construction projects, e.g. bridges or cars." The problem is that most software projects don't have a myriad near-identical existing solutions from which to source a project's duration. We aren't making a building with the exact same floor plan, using the exact same crew size with the exact same skills, in the exact same regions, using...You get the point. It's just a bad comparison.

Most software projects are more like R&D than construction. For the adventurous analogy, software is like hiking an unknown trail. You might generally know where you're going, but you can't foresee the river, detours, and feral hogs you'll have to battle to reach the end.

You simply can't estimate software the way you can more tangible products. You can do Scrum planning poker and pretend your're not playing Numberwang, if that makes you feel more in control.
Same. Will keep going through the MBA's.
both; nuclear-anything is banned in NZ
I know it is - that's where I got the fact from - but the fact that the headline is what it is leads to a distorted view from everyone who DOESN'T read the article.
What is the error? MagSafe is fine, although I think USB-C is a bit better in terms of the whole "not falling out when you brush past it"
Travis was deeply flawed as the CEO of Uber. It was clearly beyond any scale he had ever operated at. But he was also a force of nature and willed a new industry into existence.

Since Travis left, Uber has stopped innovating. Dara was a safe bet but perhaps too safe. Uber is about as exciting as Expedia now.

I am not surprised that Travis is having another huge success. Hopefully, he has learned a lot from his experience at Uber.
Most people think it’s just a game, and are surprised or confused by this.

This isn’t a game to them, it’s their job, and one they fought hard their entire lives for. The system selects for elite talent from all over the globe that is wired to persevere at all costs. For the extremely few who make it to the finals of the top league in their sport, especially late in their career, they know they may never get another opportunity to capstone their life’s work. It’s beyond comprehension for them to just roll over at the finish line and let someone else take what is theirs.
I zomg when I use my 2008 MacBook Pro. That solid keyboard! All those ports!! User replaceable everything!!
Couple of things: The app itself, according to the author's account of what it offers, is a glorified survey that shows the other person your survey results... Seems contrived and largely over-engineered, but who am I to judge?

But in a broader sense, why does Google even have a policy against sexual content? I am all for parental controls, age restrictions, and keeping the app's screenshots family friendly but I don't understand why you would create a market that would ban legal adult only content regardless of intended purpose (be it porn, surveys, couples experiences, or whatever).

If the argument is "what about unlawful sexual content? How do you manage it?" I could make that same argument about any shopping app. How does Google assure that every product Amazon seller, for example, is lawful, or every eBay auction?

I feel like rejecting apps that primary promote unlawful activities is fine and also likely legally required in many cases. But that's a different topic than this one.
Ray Dalio has been recommending gold... not in a "put all your money in it" manner, but more like "put 7-10% of your portfolio in it" as a way to protect against the market movements that are bad for both stocks and bonds, which in turn apparently tend to be good for gold.

I don't know if this is that situation though, or if this is part of what he calls "pushing on a string".

It's hard to make sense of all this. Supposedly, every 75-100 years there are Big corrections, but I thought the idea was that that was what we went through ten years ago, with the debt crisis and the "beautiful deleveraging" etc. So if that's true we're more looking at a run-of-the-mill recession coming at some point. But on the other hand maybe that crisis ten years ago wasn't actually the Big One.
So there’s a ton of money in the economy but no way to actually make it liquid short term short of the fed, indicating that maybe the money on the books has a better chance of suddenly vanishing into thin air than anyone is comfortable with?

Where have I heard this before?
And how many people can pay for schooling their children twice, once for the the public school they aren't using, and then again for a private school? Or, afford to not work and homeschool their children?
His secretary pays $20 billion?
Pay off your local congressman.
Binary crates. Sandboxed builds (I'll continue to use crates that have a build.rs which can do anything it wants, but I don't like it). Namespacing crates (a la Java) to deal with the name squatting issue.
What would be needed to achieve such a thing?
I've mostly gone back to using torrents. Too many different services, most of the new content sucks, and the software isn't always good. VLC always works, and I can rewatch old shows I've downloaded as many times as I want without having to worry about the platform revoking access.
Yes, the next day. Sometimes they get rolled over, but that's why you watch the trend in the repo market over time.
This is a mainstream political position in NZ, not one of the "left".
Yeh it’s basically a choice between hating myself and thrashing around in bed at 5:30AM, or getting up and feeling like I’m accomplishing things. Was not something I had to force really...
Does anyone else find it crazy that the base SSD in the Air and MBP is still only 128 GB? The Air I can maybe understand, but for the MBP, it's ridiculous.
I thought it was more that NZ banned nuclear weapons and the US didn't want to confirm or deny the presence of such weapons on board any ships so they weren't able to visit.

I guess it's a manner of perspective.
Just like there’s Hasura there could be a zero-coding tool that does the same for SQL.

I’m not arguing that the average developer should write an SQL query sanitizer but just that what companies are investing into GQL could be invested into something more flexible.

Sometimes we discard tools and ideas because at some point in the past they were poor or bad practice. See PHP and IE.
Estimation needs a baseline. Predicting the time needed for a greenfield (from scratch) project without some experience working on that project with a fixed team ... will lead to misery.
Sometimes a refutation cost too much time/energy.
His dismissal without arguments is better than nothing, it's an heuristic that tell me I shouldn't risk spending my precious time reading such a risky article.
> Still no static types for "Strings that end with a dot" or "Strings that match [a-z]+"

Sure there are. :) Technically speaking, anyway. Here’s a type for “strings that end with a dot”:

-- | A string that ends in the character '.',
-- represented as a string without its trailing dot.
newtype StringEndingInDot = StringEndingInDot String

fromString :: String -> Maybe StringEndingInDot
fromString str = case reverse str of
'.':cs -> Just $ StringEndingInDot (reverse cs)
_ -> Nothing

toString :: StringEndingInDot -> String
toString (StringEndingInDot str) = str ++ "."

And here’s a type for “strings that match [a-z]+”:

data Letter = A | B | C | D | ... | X | Y | Z
type StringAZ = NonEmpty Letter

Now, admittedly, I would never use either of these types in real code, which is probably your actual point. :) But that’s a situation where there is a pragmatic “escape hatch” of sorts, since you can create an abstract datatype to represent these sorts of things in the type system without having to genuinely prove them:

module StringEndingInDot(StringEndingInDot, fromString, toString) where
newtype StringEndingInDot = StringEndingInDot { toString :: String }

fromString :: String -> Maybe StringEndingInDot
fromString str = case reverse str of
'.':_ -> Just $ StringEndingInDot str
_ -> Nothing

You may rightly complain that’s a lot of boilerplate just to represent this one property, and it doesn’t compose. That’s where the “Ghosts of Departed Proofs” paper (https://kataskeue.com/gdp.pdf) cited in the conclusion can come in. It provides a technique like the above that’s a little more advanced, but brings back composition.
It's always fascinating to me how two people can read the same words and come to two polar opposite conclusions.

My read of silveroriole's comment is that the commenter is a woman lamenting the fact that women are in the position of "politeness enforcer" far more often than men, and this causes people to treat her differently (i.e., like the "fun police") because they assume she is aligned with that world view.
Not saying I agree with OP but they would repo EUR assets in USD to fund dollar denominated purchases.
It was tested back in the 70's and there was no correlation between what "expert" astrologers predicted and the results of more commonly accepted psychological tests.

Carl Sagan mentions this in his writings and on the Cosmos TV show.

https://youtu.be/pDYMF1RGthQ
I remember being unbelievably hyped for Hulu when it launched in 2007. I got into the beta and watched shows for 6 hours straight (wooo Burn Notice). As a consumer, I was voluntarily watching commercials in exchange for being able to see the shows I missed during the week on the internet. It seemed like a fair 1:1 trade for me because I was just watching the commercials that I would have seen on TV anyway.

The 1:1 trade doesn't seem so balanced anymore.
San Jose weakens rent control ordinance amid other housing policy changes
It’s actually a very controversial position, implemented by a left wing government.
It seems pretty clear he doesn't want FB to be the decision maker. Guessing his reasoning is probably more projection than anything else.

But back the "punting" metaphor -- he only has the ball because the US government never picked it up. Doesn't it seem pretty clear that these standards (re: hate speech, election ads, etc.) should be made at a national level, rather than a FB level?
MagSafe had two flaws: the magnetic connector could become unreliable, and the cable around the connector was weak. USB-C is rated for a much higher number of inserts and being able to insert on either side is covering a lot of my old vulnerable cable situations.

I don’t know enough about EE to say why they don’t want a magnet between the USB-C connector and the rest of the cable.
As someone who's broke their jaw twice from pucks to the face, yours and Chara's had to be a hairline fracture. There's absolutely no way I could have played with a broken jaw. It was over 2 months of having my mouth wired shut ( liquid diet - lost 55 pounds) plus plate in my chin. It's still painful when I get a puck/stick to the cage over 15 years later.
I think they meant dropping MagSafe was a huge error.
Streaming is becoming too fragmented, too many studios are "taking their ball home" by pulling popular shows from Netflix / others just to support their specific platform.

Meanwhile, my NAS and Plex server don't seem to mind serving up DRM free files of mine.
was there a big case that FB was a monopoly in 2013? Even in 2019 it's very murky
Ask HN: Is there a Shopify for selling “physical” courses on a website?
There are other approaches to livestock methane reduction being actively investigated (and I’d suggest more promising than perennial unicorns such as carbon sequestration).

One example: https://blog.csiro.au/feeding-seaweed-to-cows-our-livestock-...
Article has nothing to do with my comment. There is a big difference between saying "people hate Facebook" and "Facebook is doomed". This is easy to illustrate if you replace the Facebook with Comcast. Monopolies are free to screw over the customers as much as they like.
See my other comment about this question here: https://news.ycombinator.com/item?id=21478427
Personally just going for the tried and true "index funds + ride the market" approach.

Don't need the money right now or for any time in the foreseeable future. Have the appropriate emergency savings to handle short-term needs. Paid cash for my house, so don't need to worry about making a mortgage payment.

Personal feeling is that if the market implodes to the point that this strategy doesn't work, everyone has much bigger problems to worry about.
but you need a decent ax to use them. you cannot use wood with your bare hands
Because visors suck? They fog up and if they get wet you have to clean them.
Bay Area tech worker’s forgotten passport leads to Indian jail
Vogels: VP Engg, CTO roles in one tweet
They don’t hold EUR, just EUR denominated assets. But irrespective of what currency you’re repoing, USD balances go down...that’s the whole point. They’re lending. That’s how lending works.
I agree with all these points but i also have a huge dent on the side of my screen from when my laptop fell off the table when i tripped on the charging cable...
Treasury releases report on financial education for students
I can't say about the exact details, but this is what I understand:

We live in a fiat system; money is literally created out of nothing.

When money is created, it then needs to be injected into the system (economy)

This could be done any number of ways. The more transparent and straightforward though, the less of an advantage to the insider parties and the more meritocratic.

So an extremely complex, byzantine and opaque system has been created. People who are in this system will be happy to go into the many, many details of it. But they won't ever tell you why, it just is.

When I think of modern finance, I think of medieval Europe. Plenty of reasons were given as to why one person ranked above the other. Why one had access to certain things while others didn't. But in general, byzantine structures benefit the insiders at the expense of the outsiders. It's designed to be anti-meritocratic without having to claim being a decedent of the sun god.

I really fail to see why, other than avoiding meritocratic distribution, the fed doesn't open it's own lending window directly to the public.

They fret that lowering interest rates won't increase economic activity. I dare them to open those rates to the public and not see an increase in economic activity.
Why can't the banks sell stuff to achieve the proper liquidity percentage?
Maybe I shouldn't have included the Java example, some others have jumped on it as well. That wasn't meant to be a summarization, but a similar idea in a different context.

You also seem to have missed the point of the Java example anyway, in a misses-the-forest-for-the-trees way. It was meant as a 1:1 example of an important result of your blog post, not an example of constructing the parse function:

> However, this check is fragile: it’s extremely easy to forget. Because its return value is unused, it can always be omitted, and the code that needs it would still typecheck. A better solution is to choose a data structure that disallows duplicate keys by construction, such as a Map. Adjust your function’s type signature to accept a Map instead of a list of tuples, and implement it as you normally would.

Using NameType instead of String is the same as using a Map instead of a list of tuples.

It was why I included AddressType in the Java example. Just like changing the function signature to not accept a tuple of lists and require a Map instead, forcing you to use the parse function to construct the Map, functions that only work on AddressType or only work on NameType can't receive the other one as an argument - where with a String, they could. They have to pass through the requisite parse function to convert String into a NameType or AddressType first, however those are implemented.

And I've seen the falsehoods lists before; "Name" and "Address" were simply the first thing that popped into mind while typing that up. Examples are just examples, and Name and Address are conceptually different enough regardless of the falsehoods that the main idea behind the example ought to get by anyway.
I wish the Mona Lisa would be restored too. The brown color is probably due to oxidized varnish and not the paint itself and I don't think it has any particular value, to the contrary.
I sure wish my 2011 17-inch MacBook Pro would come back from the dead! With its two giant removable batter bays! swoon
> How can you convince people that what they did was legally and ethically wrong?

Well if it's not illegal (as is the case currently) it's silly to convince them it's legally wrong.

Regarding ethics, in theory (I do not consider this a realistic solution) you could advocate for corporate reform and start pushing more B-Corps onto the world. It's worked wonders for Patagonia, but they are definitely an exceptional example.

Fundamentally the problem is a dichotomy - value creation versus value extraction. Do we want to make value extraction illegal? I hope someone will respond telling me why that is a terrible idea, but it actually sounds like the sort of morals-first law that might be good for everyone except parasitic investors. And I mean...why do we want more parasitic investors?
The Saudis invested $400M in Travis Kalanick's new startup. Asuming we could get about the same for Adam, we would end up with over 27 billion!

That is a steal. Count me in.
A colleague from a previous job once told me: "when a developer gives you an estimate, always double and add one of that unit" (estimate = 2n+1). He told me this after a while, because he would often nag me to clarify if I meant 7h or 1 day.

i.e. if you estimate 7h, then calculate 2x7+1 = 15h.

If you estimate 1d, then calculate 2x1+1 = 3d = 21h.

It's a silly joke, but it also gives insight about how we perceive time and the elasticity of estimates.

And of course, instead of multiplying by 2, you multiply by a time factor that depends on the risk factors involved (which are also guesstimates, but for me 'x2' would mean a rather low risk factor).
If these loans didn’t get paid back, we’d have another crisis.
To a certain extent you're not wrong. There's a critical technology with quickly dropping costs that this future assumes and that's HVDC transmission lines. The larger the geographical span of the area that has all its solar and wind attached the more the variations all average out and the overall reliability and consistency improves a lot.
You cannot, by definition, break down a non-trivial project into trivial parts without having at least 1 non-trivial part in there somewhere
Gfycat stops Archive.org volunteers from archiving content
The only reason i'm really okay with the USB charging is that i can have one USB-C cable from my monitor that covers monitor and charging hookups. My work desk has is much less cluttered now.
> That is equal to giving $1-million in startup capital to 20,000 startups.

No, it's not. The Fed is just providing short term liquidity.
I don't use it, but i hear it's the root of all evil. I wonder what will people do without FB. This evil is a kind of solution.