skysight-inc/HackerNews huggingface dataset:
Every language that has generics supports this via phantom type variables that can encode extra information only in the type system alongside some other type, or with a specific newtype keyword that effectively does the same:

newtype Pixel = Pixel Int
newtype Em = Em Int

pixelWidthToEm :: Pixel -> Em
pixelWidthToEm (Pixel px) = Em px

You can try to call `pixelWidthToEm` with anything other than pixels and it won't work.

More dynamically, with an open type variable that only exists in the type system:

data User a =
User { name :: String, socialSecurityNumber :: String }

data LogSafe
data LogUnsafe

logUser :: User LogSafe -> IO ()
logUser = undefined

makeUserLogSafe :: User LogUnsafe -> User LogSafe
makeUserLogSafe = undefined

We can never log the user unless the user is deemed LogSafe and we make functions that produce log safe users that you have to call before hand, in order to make sure that sensitive data isn't printed to logs.

These are things that have been around for a long time in almost every type system, but people's general lack of interest in using type systems to help them conspires to keep them in the dark.

Here's how you can create a number type distinct from other number types in TypeScript:

type DistanceInPixels = number & { readonly __newtype__: "DistanceInPixels" }

And a type alias that allows you to create them:

export type Newtype<T, Tag extends string> = T & { readonly __newtype__: Tag }
type Pixels = Newtype<number, "Pixels">
Different people complain about different things. When you try to put it all together it's not going to be coherent. And yeah, people attack Facebook as a proxy for broader trends, but that's somewhat fair when you're as dominant as Facebook is. They have the power to set trends.

Any form of communication will be used to spread misinformation, but this isn't email or town gossip. Facebook is actively pushing this stuff onto people as a direct result of choices they have made in designing their algorithms. Facebook has taken a problem that has always existed and actively made it much worse than it would be if Facebook didn't exist. At the very least that's worth thinking about.

Is it really so crazy to think that these companies should bear some responsibility for what happens on their platforms? I know the longstanding tech world answer to this has been a resounding yes, but I don't think it's that simple. It shouldn't be okay to build a product designed to suck people in and then wash your hands of any and all consequences.

I don't think breaking up Facebook (whatever that means) will do anything useful, but I do sympathize with the criticisms.
So, when we launch an interstellar space craft to another star, and it deploys the panels that convert light to electricity, what kind of panels will they be?

Star panels?

Indeed.
There are several Apple laptops buying once is still a decision to make based on cost. And it might not work out like mine where the space keeps on decreasing and on restart it comes back. If not for ios programming i would have preferred a windows/linux laptop.
> Cop catches some kids who are not quite 21 with beer and instead of fining every kid up to $1,000 and suspending their license (which is now on their record), he makes them ditch the beer and move on. Rethinking the law means we’d decide it’s ok for all teens to drink.

Doesn't overlooking the beer also mean we've decided it's ok for teens to drink? What is the difference you see?
I've asked this question too and what I think what is going on is that the python dev community is still pretty active - and people love to change things, get their code and ideas into the language. I think they've been pretty good about rejecting a lot of the really awful stuff, but not as good maybe at thinking about what is really necessary.

And this type of discussion makes me think about Django - it used to be a nice little simple framework, then it got a big community around it and grew every nature of features to such a point that I think nobody should actually use it. The code ends up being pretty awful and I think probably the rise of Flask coincides with Django getting too big and too complex over a period of years.
I have privacy concerns with fitness trackers, so I did a search and found this: https://github.com/Freeyourgadget/Gadgetbridge

Seems very interesting, if this project is any good (certainly looks like it is) I may just get one of the supported devices.
I have a Garmin that's over five years old and it gives me real-time traffic updates reliably.
If 2-word queries is all you need, why would you even consider elasticsearch? This benchmark is pure marketing IMHO.
I don't know whether one could "stop where the internet is going". I think the internet is what it is. It has its merits and it has its flaws. I'm just saying we seem to be pointing the finger at Facebook as the source of our problems whereas Facebook is really just a reflection of ourselves as a society.
A climber can reach the rope, put in a prussik and stand on it.
No can do with construction harnesses. The rope's out of reach.
Nice article, but unfortunate hyperbole:

climbs one of the potential candidates for the world's tallest tree

At 330 feet it's hardly a match for the world's tallest trees. California redwoods routinely clock 370 feet and 330 is quite an ordinary occurrence you can see on quick accessible hikes
1 billion is what, about 1% of supply of bitcoin? So less than that since this includes bitcoin cash as well?

> In the past year, the BitPay wallet added integrations with major gift card brands, enabling users to buy gift cards in-app for travel, food, and shopping with Bitcoin and Bitcoin Cash.

They don't break out what types of goods/services are being purchased. I wonder to what percentage of their transaction are being used to sell / launder bitcoins associated with illegal activity by buying gift cards that can then be resold.
That brings up an interesting philosophical question. If drugs are what causes "happiness", are you really happy?

If you are sad and depressed and have to take medication to be "happy", can we really say you are happy?

If my car can go 200 mph, I wouldn't say I can move 200 mph. But then again drugs change you in a way that cars don't.

Of course there is the question of what is happiness and how can we objectively and empirically qualify it. So the entire question could be moot.
I feel the exact same way and have always recommended Macs to friends, family and cwoorkers as the computere that "just works." I'm been suspicious of people who disagree with that sentiment — to each their own, but I don't think there's much dispuute that Macs just work.

Yet, now, heere I am with a 2018 MacBooko Pro that repeats keys randomly — somoetimes out of theorder they were pushed— andstarting to wonder if I need to change my recommendation. The laptop has been "fixed" twice now and always works just fine for a day or two before reevertinig back to the same old state. I clean the keyboard daily with compressed air, thouugh that's largely become a symbolic gesture that doesn't fix the issue but at least makes me feel like I'm not crazy.

All that said, much like the author of the article, I'm so bought in to the Apple ecosystem at this point that I've resorted to a certain kind of stooicism — thiis is apparently the set of circumstances I have been giiven and I must live with it.

(Note: no, I'm not too lazy to correct typos noor a partiicluarly poor typer — this post is the unedited resulut of typing on my broken keyboard. Just be happy double spaces don't show up by default in DOM elements.)
Check out https://en.wikipedia.org/wiki/Ghirardi%E2%80%93Rimini%E2%80%...
Storing my data at my house makes sense, especially if upkeep of the box is relegated to the end user. Storing my data at the tower in my neighborhood, instead of a regional center seems to be a large increase in maintenance cost for a minimal decrease in latency.

Accessing the tower is expensive in time, and equipment that runs at the tower is exposed to a wider variety of temperatures and RF stress than in a nice warehouse somewhere in the metro area.

It's possible the right caching at towers could reduce the backhaul bandwidth requirements, but seems iffy.
Are you using JRuby or something? 10 seconds is too long.

> time brew help

> brew help 0.55s user 0.26s system 96% cpu 0.849 total
You can Google my name if you think I'm working for Fastly. The only connection I have is that they are our CDN. They donate it, as we're a nonprofit, but I have zero obligation to say anything about them either way.

7% increase represents an increase in the number of students/parents purchasing tickets to our events. (It's not like they're spending more individually, but more people have been willing to give us money.)

That's based on several years with no substantial change in the way we market or the design of our site.
AI bias: fixing facial recognition technology doesn’t make it fair
They found the way out! Unfortunately, they also found that unless you are part of a pre-existing societal organisation, you're vogelfrei.
What do they feel they get out of being in international waters?
To restrict in the manner that the person above described would require some kind of const parameter in the type, no? The type would need to be parameterized over the `&str` to ensure that slices could only be taken from that particular string.
For individuals tax residence (residence for tax purposes) is usually the physical presence in a jurisdiction.

You have to check tax treaties between the US and the other country to see how it goes. Usually when there is tax treaty, there is no double taxation.

For corporations fixed place of business is important legal concept in OECD couturiers. Significant digital presence is a new emerging concept.
Redwood National Park is amazing - one of the best parks IMHO. Walking along these trees is a humbling experience. Jedediah Smith area is highly recommended
My grandpa became a multi-millionaire even though he dropped out of middle school. Born into a working class German family where no one really valued education. Good luck doing that now.

Grammar edit, guess we still don't value education.
Play with GatsbyJS and Dimension design. A fast web app was born
Not all research is useful today/tomorrow.
The ID is for age verification, not Name or any other details.
Who is using Little Free Libraries to attack the necessity of actual libraries? I've never seen that. The one instance they talk about is a mayor of a small suburb putting up some LFLs because the metro area library system started to charge a fee for access.
Yeah, I suppose.

A few years back, I was blinded in one eye by a retinal vein occlusion (basically a stroke in the retina). They're actually pretty common, affecting 5-10% of the population, but unless it crosses your macula, you'll probably never know it happened.
Now do that same analysis with average/mean pay scales and compare. Then the article will make sense.
Virtue signaling is a made up nonsense phrase.

Originally an obscure descriptor confined to anthropology, it entered the mainstream via its use by self-righteous political and social commentators as a way of denigrating the thoughts, words, and/or actions of anyone whose opinions ran counter to their own.

By some of its many, constantly shifting, definitions using the phrase is an example of the phrase itself.

People who use it should be treated with the same level of incredulity that someone who uses the phrase "genetic terminator" when discussing vaccines deserves.
This was in fact the premise of Mr. X[1] (who certainly bears an uncanny resemblance to Corbu), so I think it'd be fair to say people have experienced large-scale urban modernism as 'nightmarish' for decades. Certainly Brasilia[2] comes to mind. I personally like modernist architecture, and find it comfortable, but grand plans to restructure cities have never been easy to make equally livable.

1: https://en.wikipedia.org/wiki/Mister_X_(Vortex)#Series_backg...
2: https://en.wikipedia.org/wiki/Bras%C3%ADlia#Costa_plan
Put your laptop in its "dock", and use a cheap, indestructible keyboard that'll be far superior to the laptop's keyboard.
So its good that macbooks break easily and are expensive to repair because it shows you are rich?

Riiiight...
Cathedrals were 100+ year endeavors and sufficient care was taken in design so that relatively few failed completely. Most buildings were not cathedrals and didn't benefit from such care.
Forest are much more than store carbon. Them affect the local climate, and maybe(??) the global(??). Help the local fauna. Clean the air of more than just pollutants, make the soil more fertile, combat erosion, help the river flow to not get so dry, and that is from the top of my head with my limited understanding of the subject.

Combined to NOT deforest so hard, and is a win.

Forest are a force multiplier.
He became a multi-millionaire in middle school?
Facebook security lapse affects millions more Instagram users than first stated
The diet of Joe Thomas – who no longer resembles an NFL offensive lineman
There are a number of features Fastly has which others (excluding eg Akmai) don't which make head-to-head comparisons more difficult. I have no doubt that Cloudflare is very fast in perfect conditions, but there were a much higher number of cache misses because there's less flexible configuration which did literally make the difference between 20ms vs 200ms in production.
- Social media posts/followers
- How many events you presented at
Sub-optimal cholesterol response to statins and risk of cardiovascular disease
This is the first thing that occurred to me when I heard about them a couple days ago. They may think they have discovered a utopia, but what do they do after they have something worth stealing and pirates show up?
This is certainly one way to look at it. Personally I see a lot of difference between the Axis and Allies, but I have a sense of proportion.
Good 30' boats aren't that expensive. We got our 43' sailboat for $49k, needed a little work, but moved aboard for 4 years.

The hut on a spar idea doesn't appeal to me at all. Boats provided mobility, are well established tech, and have legal protections.
> What are you protecting by making a throwaway?

Themselves. People will attack others on the internet for having an unpopular opinion that differs from their own. If your username is attached to your real name, then sometimes it's safer to post risky comments on an alternate account, instead of your real account. This is similar to when you have a public account and private account.

Also you can't edit/delete comments after a couple hours, and
you can't delete them after someone replies to you.
Not only are Thinkpad keyboards the most comfortable and satisfying on the market, you can literally pour water on them and it will drain out the bottom of the laptop without ever touching internal components.

After using my Thinkpad for about six months, I can't go back. The keyboard is amazing, build quality is rock solid, screen is 4k with 100% RGB, and you can actually upgrade the thing.

I buy a laptop because I need a mobile keyboard experience. Why on earth would I buy a laptop with a keyboard that feels awful and can't handle normal use?

Honestly, if I absolute had to have OSX, I would just buy a Mac Mini and deal with the stationary aspect of it. Macbooks are just that bad. If I desperately needed portable Mac, I would probably even be willing to deal with iOS on the iPad pro over a Macbook.
1. Are you sure that the average car doesn't cost $25k, instead?

2. What was the average wage?
Yeah, for service industries, it counts anyone not in a supervisory role, so it'd include them as well. :)
Nah. I don't think I've ever heard the argument that LFLs are a substitute for public libraries, except in this article. Library defunding is always done on an "everyone needs to share the pain" ground, we can't raise taxes, we need the money to deal with crime, stuff like that.

If someone wanted to argue that public libraries are irrelevant, the Internet is a better argument than LFLs are.
We do have a variety of problems with internet freedom in Canada, but it's not just children that the article mentions. It's about identifying high risk individuals in general. The article also talks about potential minority bias which is something worth considering—not as a justification for anything or with any particular implication, just worth thinking about—in that in certain areas indigenous young women are going missing and are often never found or are found dead and it's a tough problem. Hugely complicated though and you can't use any particular issue to justify mass surveillance because the consequences could be immense.
I have been very happy with my HP Elitebook x360. It has some user upgradability (ssd, battery), has been rock solid so far, has a great screen, Wacom stylus + touchscreen, and lightweight.
Most certainly meant to write 'even though he dropped out...'. Though that would certainly be something.
> If you take the next step from brain in a jar, to the brain on hard disk, (where there is unlimited opportunity to copy, to take snapshots and to reset the state at will) would you still think that torturing a brain is a big deal?

Yes. If something can experience pain, I think it's immoral to cause pain when it's unnecessary. If something is sentient, I think it's immoral to stop sentience without reason.

> Do you think that simply carrying out a computation can be immoral? I think no, and the difference between experimenting on a real person and a person in your simulation is that in the second case nothing would exist if you didn't spend your resources to run the simulation, (or in the original context spend resources to revive a discarded brain).

Yes. If you run a simulation that works on sentient AI's, then IMO mistreating them is immoral. I view them as life, and creating life comes with responsibilities.

Importantly, I think this view is important otherwise morality breaks down entirely. There's a chance we're all in a simulation right now. Does that mean nothing we do to each other can be immoral? What if we could prove we were in a simulation? That that free people form moral constraints?

> Interesting, i have never thought of this as a benefit, to me the hell seemed better because there you do not die, and logically have a chance to get out, because of love and forgiveness preached by some parts of the bible.

I'm not a bible scholar, but to my understanding, you go to hell for "eternity". Given the mystical nature of the whole supposition, I don't think it's useful to believe it existence is correct but the unescapability is not.
I’m not a lawyer, but Arizona’s age restriction law explicitly requires recording the details via mag stripe. Whether that applies to something not straightforward in the language I don’t know.

Either way, I routinely get comments about where I live, how my hair looks now, my birthday (coincides with a major date in the US). It’s very low level invasion of privacy, but most of the time I don’t want to small talk at the grocery store, I want to finish what I need to and go. N=1 and all that, but I get the point. At least no one under 21 ever drinks here.
> Are you implying that everyone who voted for Trump is a racist?

Not everyone who votes Trump/Republican is a racist, but if you're a racist you almost certainly voted Trump/Republican because you believe they're most likely to advance your agenda.

> Also, the argument that majority rule is what should elect someone is wrong for many reasons

If believing that every citizen's vote should be of equal weight is wrong, I don't want to be right.
I would assume the average rock climber is lighter and more athletic than the average tower worker, and they’re probably not also carrying heavy tools and hardware.
Nice PR piece :)

We need dramatic improvement in battery capacity to put machine learning in hearing aid, it's far away
The warranty on my MacBook expired, but Apple replaced the keyboard under their "Quality" coverage program.

So, to some extent I felt they "admitted" the mistake. But when the new keyboard fails, and the repair costs fall on me, I'll be looking for an alternative.

For comparison, my 2012 MacBook Air keyboard still rocks.
It doesn’t matter what it’s intended for, it matters what it’s used for.
I started using Bing maps for its own sake, after Google redesigned their maps site a few years back and made it far less useful; I've never bothered to use Bing search. The two functions have not been related in my experience.
For sure, there’s myriad factors. And the Bay Area has its own unique history. My main idea is that studying economic history has provided a rich layer of new understanding about the lives of my family.
And don't forget one of the most infuriating aspects of Apple community troubleshooting: The group of people questioning the premise of your problem and saying you shouldn't even want to do what you want to do.

Even worse than answers.microsoft.com. Ok, almost. (Let's not be too harsh here.)
Jose Valim has said that there is no plan for an Elixir 2.0, because he feels it is pretty much "done" in terms of major features. It's a refreshing change.
yetanother#
How do you know the 7% increase was due to Fastly and not some other small unrelated change to your web site? A few 10 ms makes no difference.
- Gravity manipulation

There were a few reports in the ‘90s of this, all involving superconductors.
Automation does put individuals out of work. The last industrial revolution had violent protests and resulted in a slew of new legislation and social programs.

Later we collectively have always recovered and found new ways to trade time for money but much like how evolution works, individuals don’t always fare well when the environment changes.
This. The best benchmarking for search engines is:

1. Does it return relevant results?
2. Can it handle complex queries?

2) is only required in specific use-cases, but when it's needed it's _really needed_.

1) is the main measure users care about, and in my experience is best evaluated by building a search in each system with the same corpus and giving to subject-matter experts.
Looks like the economy is finally turning good.
> I'm not sure happiness is the thing to think about. It's meaning that's important.

But they both are one and the same thing--and meaning is not exclusively derived from specific man-made institutions like family and work as you appear to discover towards the end of your comment.

To think otherwise, like Mr. Peterson and his followers do, is to risk fooling oneself into living a less than contentful life via becoming comfortably numb.
https://en.m.wikipedia.org/wiki/Mondragon_Corporation I assume they found a way to juggle employee ownership.
Are you real; standardized responses or just lazy copy paste?
> Easily the worst way to design a mouse, ever. I don’t understand how it was approved.

I do. It was on purpose. They do not want people using the wireless mouse as a wired mouse with a short, thick cord not designed for it. Which is totally what my parents would do.
Well, / is path traversal; I think + would be too easily conflated with the “similar but importantly different” string concatenation, especially since « + "/" + » is an idiom in string-based path manipulation. For instance:

p1 = "/a/b/c"
x = "d"
p1 + "/" + x == "/a/b/c/d"
p2 = Path("/a/b/c")
# If + replaced / for Path:
p2 + "/" + x == Path("/d")

Now if you've just reflexively written the concatenation the way you did before, the type signatures match up but the result is completely wrong. The current situation where / doesn't exist for strings and + doesn't exist for Paths is much safer versus that.
Show HN: Broadcasts – newsletter of developers looking for work
Is it curable? Has your eyesight been restored?
Story of how an immigrant’s hunger created the US’s biggest Indian grocery chain
And in the case of Sealand specifically, at least at the time, the U.K. didn’t even need to send in the military to end the data haven. A backhoe through their comms link would almost certainly have sufficed.