skysight-inc/HackerNews huggingface dataset:
<rant>
Ubuntu eases the transition because I don't have to think (too much) about partitioning the disk. As a "user", I really don't want to ever see disk partitioning software, ever! Although, now I wish /home was in a separate partition -- why wasn't that the default?

I continually trip over the Super key which brings up the Unity version of Spotlight. I killed Spotlight on my Mac a long time ago. I killed whatever Unity thingy the Alt key used to do. Was it the Alt key it hijacked? I don't remember. I don't even remember what weird UI it was trying to foist on me. It was annoying.

I killed the Guest user, but it reappeared with subsequent updates. I still sometimes get logged in as the Guest user, just annoying. And why does the login screen forget the state of the NumLock key? When we type in numbers that might be in our password, we get cursor keyed to the next or previous user in the list. Fun times.

I stopped using LibreOffice. I so much wish I could kill the office ecosystem, it is dreadful. Stop sending me .doc files. My solution is to use an ancient version of Word on an old Mac, and it prompts me so that I can avoid running those Word Macros.

My production server runs Linux (for years now), and I am surprised by how robust it is. A desktop is much more complicated to do well, to satisfy everyone's whims, never mind all of my strange choices.

Not even particularly a desktop issue, but: init cron rc rc.local upstart systemd runit launchd daemontools srvscanner inetd xinetd StartupItems grub2 SystemStarter (I am sure there are many more.) Do I care? No. Ah yes Linux, all of those choices, doesn't even have to be Linux, flavor of the week of BSD anyone? And if I don't like them ... it's open source, so I can "simply" fork my own turd. Not.
</rant>
What do you mean by regular page?

Try the source, it's pretty readable.

https://github.com/golang/talks/blob/master/2017/state-of-go...
All of those being moving targets...
I've always believed that blandness is the reason why the language was created.

Google has a ton of developers working on a giant codebase. If Google were written in something interesting and complex (eg scala or ocaml) then some parts of the codebase would be remarkably complex while others would be simply a ton of library imports and then something procedural. Whether you are in the former or the later would be developer dependent.

Now, say you're a Google exec, you know you're losing a ton of developer hours as people ramp up to different parts of the codebase and that some parts are so complicated that only a few (expensive) engineers could ever work on them. The more you can remove differentiation between engineers and commoditize programming the less expensive specialists you'll have to deal with and (hopefully) things will get cheaper. There's a size at which the investment in creating a new, bland, language will pay off for you - hence golang.
Ask HN: Are you rewarded for unit testing in your performance reviews?
I like that even less. If you haven't manually added an app association, it defaults to opening the app specified in the digital assets file without any notification to the user. This is the opposite of a sane default. The first time an app wants to run, it should always let the user decide whether they want to run the app or continue using the browser. Otherwise, this is a recipe for malware.
trakt.tv and TMDb are better options than letterboxd
Yes, I'm telling you to read a history book. Fascists in Germany and Italy frequently promulgated policies designed to keep people in line by bureaucratic means, such as threatening their job security, in addition to various forms of physical violence. The most comprehensive book that I always recommend to people is William Shirer's The Rise and Fall of the Third reich.. I feel it's entirely appropriate to make this observation int eh context of discussing whether someone's job can be jeopardized by their participation in lawful political activity.

When you ask 'how was the government involved in this', you appear to be claiming that fascism can only manifest through the machinery of government. But this is a nonsensical claim, given the historical existence of fascist political parties that later gained governmental power.

I am certainly not claiming that the shooter in Washington was an agent of a fascist government. But he was certainly a participant in a fascist political movement.

Fascism is a real thing that really happened and killed real people.

And it's a real thing that is happening again and is killing real people right now, even if you are not willing to label it as such. I've been monitoring the extreme right for about 15 years now, so this isn't some hasty conclusion I jumped to after reading an op-ed or listening to some talking head on TV; nor am I a member of any political or social group where like-minded people regularly reinforce each others' views.
The sibling comment is correct that e2e encrypted messages are not the default, but they likely weren't available at all in this case. They started rolling it out in July 2016[0], but that case started in June 2016.

[0] https://newsroom.fb.com/news/2016/07/messenger-starts-testin...
The Innovators by Walter Isaacson
Even more to your point: 26 years!
How's that different from typing `for`, `switch`, or any other way of using a language?
I am currently working on point 3. Don't have any experience in community building, but really excited at the topic and scope of the project.

I have been thinking about the relative merits of anonymous posting vs identity-tagged. On the one hand are the suggestions you make that people may be hesitant to critique or applaud ideas because of political backlash. This would favor an anonymous system. On the other hand, I want to know what certain figures think. There is weight behind what a member of the National Academy thinks, and if they are weighing in, then I am going to pay more attention to those statements than some anonymous poster's.
That NSA was tracking flight data was no great reveal. When we fly we share that fact with countless international organizations. Government boarder services. Airport secuity. Credit card companies. Insurers. And certainly the airlines. Anyone who thinks that air travel was ever private, pre or post-911, doesnt appreciate the number of information systems involved with moving people across boarders via aircraft. The data was always open to whatever organization could express a reasonable need.
you can have discussion in comments on trakt.tv or try to convince admin of TMDb to enable it again

https://www.themoviedb.org/talk/5894e6e0c3a368089b000e1e?pag...
That is exactly what parent meant.
That is a wonderful news.
Just came from a nice presentation on the PG backup fundamentals, I highly recommend watching it when the video comes online: https://fosdem.org/2017/schedule/event/postgresql_backup/
These days when people say "audio broke" it is most likely the pulseaudio layer that is acting up (and their devs blaming bugs in alsa for the breakage).
I think by adding the axiom, they mean considering the axiom system with the old axioms, and also the one being added?

So, assuming the initial system is consistent, adding the godel sentence, or its negation, produces a new consistent system, iirc. But in the second case, it would be omega-inconsistent ?
Question: who is going to remember all these conversion rules? By the second bullet you lost me.

Simply run the command below:

go tool fix -diff -force=context state-of-go/tools/gofix.go

How is typing 59 characters simple?
Well, no but there are other things that are often forgotten:

- Monoclonal cultures are highly suceptible to diseases like this one
- there is a much higher pesticide usage associated with GMO fields around the world (for what reason whatsoever)
- people have been sued because their crops contained genes from GMO companies

I am not really against GMO (I studied biotechnology) but I can understand why people have massive problems with them. And if Monsanto says that they want to monopolize food production around the world, I will oppose them, even if they do sometimes good things. It is not GMO that is the problem, its monopoles and big corporations that are associated with that and thats what people fear and rightfully fear.
Trump as Nero – Europe Must Defend Itself Against a Dangerous President
I think this phenomenon is starting to extend to every field.

For example, My wife's car would sometimes fail to start. However, later it would start with no problems. After a while I noticed it had a much higher no start rate when it was raining outside. We took it to the shop and I explained the situation, so they did a "wet test" and it turned up nothing. They explained that they were powerless to fix it without being able to reproduce it.

I wasn't satisfied with that answer so I did my own research on google with the make/model of the car and concluded pretty quickly that the distributor cap was the problem. I took it back to the shop and specifically requested that they replace the distributor cap. They did, and the problem was resolved.
A DIY M&Ms and Skittles sorting machine
For me, Go is the most fun language I've ever used after 15+ years of programming. I like how simple and consistent, yet powerful it is.
I really didn't want to be that guy, But you should really try to think about what you write before you post.

"...even if the next Hitler would get all my Facebook data I still don't care personally."

Sorry, i'm downvoting your post as you clearly seem to be trolling.
Yep, good catch, though the "I CAN SEE CLEARLY NOW" title seems clickbait (even if it is the original, University one)!
Oh, very cool. Will definitely check out guru. Thanks for the tip.
A German co-worker was in Paris recently. Her wallet was stolen while she was in a train station. One or two days later she was informed by the Police that the wallet had been found. The money was gone, but she got back all the rest (credit cards, id card, ...).
At my company, leaving at a reasonable time is encouraged, if not insisted upon. Facilities locks down the building and parking lots in the early evening and doesn't like people staying late.

Practically speaking, there's no way to put in >8 solid hours of programming or engineering work, day after day. Like a lot of people, I have a handful of solid programming hours each day before mental fatigue sets in. The rest of day is spent handling the related work - planning, emails, background reading, etc. More than 8 hours would be an absolute waste of time.
Women report being driven out by men hitting on them and sexually harassing them.
Most of the Russian and Chinese money is being laundered out of their respective countries.

Your ethnicity isn't being discrimated against, just your country's economics circumstances. No reason to bring the SJWing into an economic argument.
I think the parent's argument could rewriten as:

The numbers induce a probability distribution in the adjacent tiles. But you also should take into account that the remaining mines are uniformily distributed.

In other words, consider the prior.

I couldn't write math neither in favor nor against this claim.

1. Maybe for uniformly distributed mines the numbers have all the information you need.

or

2. Maybe using the fact the the mines are uniformily distributed, in addition to the numbers, has impact on the probabilities distributions
EDIT:

you play a 10x10 game with 20 mines.

your initial move in a non-border tile reveals a `1`.

you now know that around that `1` there is a 1/8=0.125 chance of hitting a mine.

ITOH there is a 19/91 = 0.20879 chance to find a mine in a tile not adjacent to the `1`
Stop Looking for Top Talent
Do you believe that you have or can quickly acquire the specialized domain knowledge and experience necessary to accuately describe your conditions for the expert system? Do you think you can sufficiently document your findings in your medical record? Do you foresee any problems in occupying both the patient and diagnostician role?

Automated triage systems are already used at intake for urgent care clinics. They suck, partly because GIGO.
Yes, really interesting video - I watched the whole thing (and it was good), but I think the first 20-odd minutes are the best for HN... makes me want to try this at my work!
it has board created already for every single obscure movie?

i think better option would be enable forums on TMDb as they discuss here

https://www.themoviedb.org/talk/5894e6e0c3a368089b000e1e?pag...
It's illogical, but surely you can see that it's a rhetorical device in the service of his message.

New knowledge comes from asking novel questions.

I haven't yet seen a computer pose an interest question, something no one has ever thought of yet. I don't mean questions about art, or meaning, or "What happened in 1750?" but novel questions in mathematics, cosmology, physics, etc.

They do seem to be answer-calculating machines.
>If some people don't want to use Go, that's fine with me. But I strongly reject the criticisms that Go is meant for "mediocre" programmers, for programmers without experience in functional languages, or somehow an inferior language because it lacks feature X or Y from language Z.

I think such complaints are the predictable backlash that's correlated with the final stage of its hype-cycle. Tech hipsters always need a hot new thing to tout so that they can pretend to know what they're talking about.

Now that we have a new iteration of hyped languages in Swift, TypeScript, and Elixir, Scala, Go, and node.js are on the hipsterdom downtrend (which often also means they're on the mature user uptrend). That prior generation of languages are now at least semi-widely known, so they no longer serve the purposes of the talentless hipsters, who base their self-worth on the esoteric nature of their preferences and need something that most people don't yet know much about to hide their ineptitude.

I think Python is a great example of a community that built a real niche for itself and legitimately earned the respect of mature, senior engineers by repeatedly proving and improving its utility and stability for many years. Giving Go the opportunity to develop this same type of sustainable, consistent, healthily growing ecosystem without a flood of 0.1x programmers and other hipsters is really the best thing for it. I'm optimistic for Go in the long term.
A beautiful example of NIH syndrome in the real world.
> out of band, e.g. via ioctls

You seem to be assuming terminals designed to support Unix, when in fact it's the other way around. None of this stuff is Unix-specific; it's just ISO 6429 / ISO 2022 / ASCII (or ECMA-48, ECMA-35, ECMA-6 if you want free copies).

Out of band? Do you suddenly double everyone's wiring costs? That won't fly. How about multiplexing control and data streams onto the same channel? Yeah, that's exactly what ISO 6429 / ISO 2022 / ASCII does.

If you want to express terminal control using function calls rather than inserting raw multiplexed control sequences into text — Yeah, that's a good idea… which Unix has had since 1978.
How so? To "automatically" focus on different things? Maybe with some eye tracking and foveal rendering? Seems like it'd be a more immersive experience.
> the simplest UI for VPN tends to be pre-shared keys

that's what wireguard is doing.
`staticcheck` will statically analyze your code and suggest all places where the new conversion rule can be applied.

All the other rules are same as the last 7 years, you know them through experience after using Go for a week. Way simpler than most other languages.

That go fix command can be typed once and update millions of lines of code. Pretty simple.
It's extremely complicated -- far too complex to effectively tax every aspect, especially with a scheme like the one proposed. It matters whether you're making turns into traffic, where you're going, length of time on the road, how many others are on the route you chose, how quickly you accelerate, how alert of a driver you are, the type of car your drive, whether you're a pedestrian who rushes to go at the end of a signal, etc. But I don't like the idea of taxing people for "being out" when it's a stretch to fundamentally link that to infringing on the rights of others in a way that truly needs to be regulated. They already paid for the roads, and should be able to use them as they please. The petrol tax captures the necessary incentive.
I'm yearning for the Golang of functional programming. That is, excellent std lib, clear documentation, awesome tooling, active community.. and after typing this, maybe that's Elixir? Though I do love static typing.
I wonder if there is zircon in asteroids. Specifically the large volcano being coincidental on the same spot. That makes me wonder if the presence of basaltic zircon could also be explained by the impact of a large body that punched its way down through the crust to the mantle. Essentially creating a tube which allowed magma to flow to the surface creating the volcano. The resulting dislocation of material causing it to subside below sea level.

That could account for the additional gravitational mass (especially if it was a very dense meteorite) but that then starts me thinking about ways to falsify that hypothesis. What would have to be true if the origin was an impactor vs what could rule out an impactor. The dating sort of lines up with the Permian-Triassic extinction (231MMyr)
it's really helpful
For me, I imagine the dropwizard guys sat round asking each other what the best servlet container is, web MVC tool, ORM, DI framework, etc, etc. and they choose the very best they can think of for a dev to work with.

Then a couple of years later that company comes along where they ask the same questions and but there's a guy with Tourette's in the corner and Every. Single. Time. the answer to the question is SPRING!! SPRING!! SPRING'S THE RIGHT ANSWER!! SPRING!

From the moment you boot spring boot and discover how much longer it takes to boot it's a struggle not to question the motivations of a place where the answer's the same no matter the question.

Sorry. I know some people love it!
OK. So you get an arbitrary number of blockchains, you check which one is the longest, it wins. Doesn't matter if you have 50 against 1 that are shorter and on a different path?
Nitpick

>Something cannot be "useless" and have a use. Even if a thing has one single use, it is not and cannot be called, "useless".

Thats not true; if its only uses are themselves "useless", then the object is also useless.

To be not useless, it implies useful, in which case its use has value. Not that it has some use whatsoever (since anything can be given a use, the term useless would have no meaning)
Icaza has no right to complain when he was the instigator of the DE feud with Gnome just as KDE was on the rise.

Ts'o on the other hand, in the comments, puts the spotlight on how it is userspace that is the problem. Userspace devs keep breaking APIs and ABIs at whim, effectively playing out "perfection is the enemy of good" in real time.
Not a type safe one that works on your own types.
Google Sells Its Satellite Imaging Division
Support the Judicial Branch in the Fight Against Executive Orders with a T-shirt
It's mostly-impressively backwards compatible, I'll definitely agree there. It's clever, and in many cases it'll do the right thing automatically. Since it seems that's their goal, they achieved it quite elegantly, and that's a tricky thing to do. (edit: and quite quickly! seriously, this is an example of a healthy community at its best)

But personally I don't agree with the decision - it adds surprises when you try to convert times to other types and then compare things. Or convert to something else and then back to a time instance. I've watched things like this become the source of bugs many, many times - this will only make that worse, since now a "time" is two values but you can really only access one of them (the one that's equivalent to wall-clock, which is causing the problems). And they're particularly painful bugs, because the cause lies in implicit conversions and behavior. That seems to run counter to the "minimal surprises" that Go seems to prioritize.
> So rather than penalising all car travel across the relatively sparsely populated country,

Everyone has brought up this point, but I think a higher city petrol tax would cover that.
How does a prisoner know where they are in the pre-chosen sequence?

Seeing only an infinite number of hats ahead, which match some pre-chosen sequence after an unspecified finite number of hats, how do they know if they are in position, 1, .... i-1, i, i+1, etc?

I mean, even if you know which equivalence class the sequence belongs to, you won't be able to guess at the color of your own hat without knowing your position.
There are other examples of mathematical late bloomers. Check out https://en.wikipedia.org/wiki/Stephen_Smale

He almost got kicked out of graduate school. Later went on to win the Fields Medal.
I like this challenge. I'll up it:

If anyone shows me an example of the US government in action, I'll show how the people, laws, policies, or circumstances involved were responsible for government-caused violence, oppression, and lies. I really don't understand how you're more willing to condemn activists for the bits of random acts of violence without a word toward our government that promotes and legalises the violence they use on people all over the world. Already in the last month Trump and Obama tag teamed to kill nearly an entire innocent family, including children: https://theintercept.com/2017/01/30/obama-killed-a-16-year-o...

As for your challenge, here's Portland Oregon police confirming one of the largest marches in the history of the most liberal city in America was "100% peaceful": https://twitter.com/PortlandPolice/status/822958708980260864
nothing with such scale at moment, can only hope that TMDb takes this opportunity, you can write them here

https://www.themoviedb.org/talk/5894e6e0c3a368089b000e1e?pag...

other than that only place to discuss movies are comments in trakt.tv but they are pretty dead
Denuvo (DRM) internal leaks
Motor neurone disease man given Yorkshire voice
> How many real numbers are there?

2^ℵ₀

Which I just managed to encode using a finite number of symbols :)
No, maps are conversions between types containing other types. Maps are much more powerful than just doing something over an array in languages that support a functional style.
One cannot appreciate an orchestra one piece at a time. It is an interesting acedemic exercise but there are good reasons that such pieces are still recorded in one room, in one grand take. Digital cannot mimic the communication and timing between instruments playing in the same room.
Are you serious? Yes, exceptions exist. But they are rare.

I spent a couple months in northern India (Delhi and some nearby regions) about a decade ago, chaos was everywhere, all the time. Just need to step outside to experience it.
This can be, and IMO ought to be, generalized to "People have a lot of potential, and society needs to stop being a lottery".
It would be producing the most fuel efficient SUV's on the market, and it wouldn't be allowed to compete... Some people are going to get SUV's or trucks no matter what.
check trakt.tv comments and support this feature in TMDb discussion

https://www.themoviedb.org/talk/5894e6e0c3a368089b000e1e?pag...
Good point. I got the data from here: https://www.bls.gov/cps/cpsaat11.pdf
The government-backed mortgages are capped below $1M though, aren't they? I thought jumbo loans were portfolio loans, so government criteria didn't apply.
I will relate to my observation in Harry Potter books. Harry Potter universe has time machine which we know scientifically are impossible while in the same HP universe, Hermoine has to physically go to the forbidden library to read books. JK Rowling couldn't think of wikipedia or internet which both exist in real world but not time travel.
Can someone scrape all the boards material and make it available?
WHO IS a HACKER?