skysight-inc/HackerNews huggingface dataset:
I posted a similar comment above on how religious approaches give bicameral theory some plausibility: people genuinely do think God talks to them, even today.

[0] https://news.ycombinator.com/item?id=19567926
> But Calvin and Hobbes is even more accessible now than it was when I was a teenager in the mid to late 80s.

Not if, like the teenager in the original post, you don't have "a lot of time to care about the old stuff" because of ever evolving memes and conversations.

For people who simply don't have the time or don't care, it doesn't matter whether Calving & Hobbes is readily available or not.
Looks really interesting. Have you done any write ups on the type inference bits?

Flow sensitive type inference looks like exactly what I need.
Consider how things might look from the other side:

I'm getting a big push from a fellow co-worker to try TDD. He thinks it's the best thing since sliced bread, giving examples of random articles that validate his point of view. I trust him and he is a hard-working person, but in this case I think he doesn't want to get out his comfort zone and at the end of the day, just isn't seeing the bigger picture. I don't want to overrule him, but it may get to it, because it gives a bad example to newer team members. And because for some random reason I have weight to throw around and he doesn't.

It's like I keep trying to tell him, 'Yo -- Been There, Done That... back in 2003, bro'. But still he keeps pushing and pushing and pushing.

Do you see the pre-set bias here? "I'm the one who's innovative and well-rounded and following best practices; he's the one stuck in his comfort zone, trotting out random articles to support his point of view."
That's a fair critique, and I will edit the website to make that disconnect between current reality and aspiration clearer (more than the disclaimer I have on the home page). Because there is so much left to do, I have made no effort to market the language for any sort of use. So, I got caught flat-footed that a website I am still building up piece by piece, primarily for personal clarity and private communications, has gotten premature publicity. I will adjust accordingly.
Your post is sinophobic and racist because it's not based in facts but rather on your desire to push a false narrative. Komodos are NOT used in TCM at all, ever, end of story.

I'll pay you $150,000 for proof Komodos are being shipped to China for use in TCM. Accept or deny within 12 hrs of my post with your financial information and binding contractual agreement because if you fail to deliver proof you get to pay me $100,000. It's a fair wager since you are so incredibly confident the inane and vile racism you spout are facts. Put up or shut up. If you have proof I'll pay you and apologize and I'll even come to wherever you are and wash and detail your car. Accept?

I don't know who is stealing Komodos. Based on the price it's probably not the redneck meth makers who keep pitbulls and mountain lions. I'd suspect Saudi Arabians and UAE and Kuwait folks who love to keep bad-ass animals. In their case the animal will have a comfy life but that doesn't mean it's what's best for the animal and it's probably not.

edit: massive downvoting and flagging. Rather than a super easy $150,000 pay out if parent post can prove his extremist racist claims. Flagging and downvoting instead of proof. It's what I expected. The offer stands. And why does HN allow racism like parent post to stand when it can't even provide proof when are called out and highly incentivized to document their racist claims.
Let’s imagine, hypothetically, that a visitor came to the US and had a permit from their country of origin allowing them to own and travel with slaves. Would border patrol be justified in giving them extra scrutiny to see if they might have one with them?
Given the number of code injection vulnerabilities and escaping confusions we see, I disagree with the assertion that humans are good at understanding code in the same way that parsers are.

Also, any modern IDE already needs to parse the AST anyway to provide any half-decent inspection features. The grammars/specs of most popular languages are also readily available and well-maintained.

On the contrary, if you add search/replace style macro processing, you actually make the code more difficult to formally analyze because, then not even an IDE could build a meaningful AST without actually expanding the macros. (which in this case would mean executing arbitrary python code)
The standard work on flow-sensitive higher-order type inference proceeds from Olin Shivers's dissertation, but Oortmerssen has written a bit about his ideas on lambda-the-ultimate.
1915 Autopeds – first electric and gasoline motor scooters
That is the very simplistic explanation for prices that is great when talking to those that don't work in the industry, but in reality the impact of congestion and losses also factors into the prices as well as reserves in most markets (sometimes the impact is huge).

Also, the adding up of offers from cheapest to most expensive doesn't actually happen. In reality, there is complex OR software running an optimization algorithm behind the scenes. I fully agree though that what you're saying is fine from a conceptual point of view. This is how it was done a long time ago btw, but that was indeed long ago. I'm talking about the US markets btw... I'm sure some place in the world still uses the method you refer too.
I strongly agree. This video of a cave diver describing a near death experience adds a little color to what's at stake: https://youtube.com/watch?v=or92IMcLoIc
Sigh...Python indentation? I thought we'd moved beyond that as an industry...
They already use buildpacks, switching to this new and improved version is presumably straightforward.
How would I go about that? I'm just a clueless engineer. What little I know of how the world works, is that they would just steal the idea if it were really attractive to them, and maybe give me a free T-shirt. Am I too jaded?
Hi Keith, have a look at https://mysafe.io and business.mysafe.io
We are the first privacy and data protection ecosystem -
With data and infrastructure owned by data subjects. Keen to get your thoughts.
WeChat doesn't have a significant presence in Western markets, and Facebook doesn't have a significant presence in China. They don't really compete with each other, even though they provide a lot of the same features.
It's a good way to get a collection of throwaway email addresses
Earler discussion on HN:

https://news.ycombinator.com/item?id=19340638
Awesome, that makes a lot more sense to me. I'm a long-time fan and reader, keep up the great work!
Agreed that it's no great crime. And of course, I'm missing out on all kinds of stuff. Not because I'm too busy with ever evolving memes to pay attention, I hope.

The mentality that only today matters, that the past is old and boring, that only the "ever evolving" should grasp your attention, and that who cares if what interests you today will exist tomorrow is distinctly a teenager's mentality.

It's something adults usually -- but not always, of course -- grow out of.

This is no criticism, by the way. It's ok that teenagers think and feel this way. It's also expected that they grow out of it as they mature and become adults.
I'm sorry but let's not dress this up. The content with high engagement in facebook is almost exclusively lowest common denominator crap. It's not quotes kant and satre - it's quotes from LadBible and Kim K.

I think we can all agree that quantity isn't the right metric for this - whether that's number of posts or amount of traffic on a given post. What we're really trying to do is gauge what the conversation is.

Having said that, there are clear distinguishable problems we can point to that have an interesting quantifier. Anonymous 'Campaign' groups run by individuals that have previously been associated with Brexit campaigning are currently spending millions on Brexit advertising. There is no indication of where the money comes from to pay for these (we know it's not from the people who are associated with the page because they're just staffers).

In that way I agree with you - the thing to worry about is where the ad dollars are spent, but I don't think that's the only thing we should be worrying about.
Komodo dragons would seem to be very poor choices as pets. Fast, aggressive, not very affectionate, and their bites can cause major septic problems: http://content.time.com/time/arts/article/0,8599,133163,00.h...
Interesting, didn't know. It felt like high-tech to me, anyway, since I had not seen or heard of train ferries before, although I did know about ferries that can take cars (automobiles) on board. Been on one such ferry in Goa, and my parents had been on some while visiting the US and Canada, I forget in which city.
Sorry, the tone seemed accusatory in your original post. As if the US and Europe were somehow morally above poaching, but I understand that is not the intention.
Right, makes sense. You made it sound like any suppression of free speech (i.e. by gov't or mob or whatever) was detrimental to a free society, when there are some forms of speech that should be curtailed (and not based on opinion either).
This is huge news.

The implications of cheap C02 extraction are immense.

See this paper on what it means.

https://sciencepolicy.colorado.edu/admin/publication_files/r...

The key thing is that in 2100 to keep C02 ppm at 450 ppm it would cost 0.6 % of global GDP.
You should also check out Cockta from Slovenia. It was introduced in 1953 in Yugoslavia.

https://en.wikipedia.org/wiki/Cockta
>I have made no effort to market the language for any sort of use.

Didn't you say it was mainly for the 3d web or something?
Aerogels are extremely good thermal insulators. For a good heat sink you want a really good thermal conductor.
The hint, "Give them the exact hashtag that you use" seems rather easy to brute force. Maybe I am just young, but there are only a small number people who would send me hashtags like "#reunite" or "#wannaGoOut".

As others have mentioned, without this hint hashtags are rather sparse.
One reason these attacks will continue to grow is because authorities are not looking for these individuals because they are white. So when they start planning and collecting weapons the flags that would be raised, for say a dark skinned muslim, are not raised for the white extremist. The sad fact is that white privilege applies to extremist mad-men just the same.
Just wondering how you would know that they do or do not do that?
From pg's excellent <http://www.paulgraham.com/say.html >:

> Do you have any opinions that you would be reluctant to express in front of a group of your peers? If the answer is no, you might want to stop and think about that. If everything you believe is something you're supposed to believe, could that possibly be a coincidence? Odds are it isn't. Odds are you just think what you're told[....]

> The most important thing is to be able to think what you want, not to say what you want. And if you feel you have to say everything you think, it may inhibit you from thinking improper thoughts.
What is not supported In Safari?
Seconded. It's absolute pain, have to look it up every time I need it (i.e. new computer) but between times it's zero maintenance, and great.

On occasion I've un/re-plugged to convince myself that it really is secured. (I do use a passphrase too, but I've already entered it in a given session I can git/ssh/etc. even to new remotes without re-entering it. I don't think that's configurable to be per-remote, since I've unlocked the 'card' (yubikey) for that session.)
Quite hard to do. Just followed pg, some other vc's and then Twitter started suggesting others (Tech VC's, Stock traders) in mobile explore tab.
Agreed, it looks like the driver is just trying to keep MateBookServices.exe alive in a dumb way.

My guess is someone had a hard time deciphering MSDN rather than some malicious motivation. I've had to wade through the CreateProcess and svchost docs before, the options and security restrictions are labyrinthine. I'm not sure how some Chinese engineer reading a translation could much better.
There is no connection. I was unaware of the similarity to UCF's logo until recently. It is something I will need to replace, as much as I like how it looks.
> PassivHaus response is to get regulators to ban that option

Can you clarify what specifically this refers to - i.e. a particular law or regulation?
I disagree.

Consider a language which has float types, but which also allows you to declare vectors floats. However in v1 of the language, you can only initialize them and operate on their elements. So if you want to add two vectors, you'll have to write a function vector_add() which does the element-wise addition.

Then v2 comes along and adds addition, subtraction and scalar multiplication of vectors as a new feature, using the normal operators. Suddenly your code can now read like the math it represents.

You've added a language feature, but it makes it easier to read since there is less useless clutter and the code matches the original math more closely. And it's actually less to learn since you don't need to know if the vector library you had used vector_add or vectorAdd etc, you re-use the same operators as for scalar types, just as regular math does.
Not quite. I think for it to be a more apt comparison, Facebook would need to be pushing a narrative to it's most popular users to promote on their channels, the same way that Sinclair group does:

https://www.youtube.com/watch?v=hWLjYJ4BzvI

I don't think there's evidence of that right now with Facebook.
Good idea.

But this requires too many assumptions on participants.
Human Input to Computer Systems: Theories, Techniques and Technology (2011 WIP)
Nope! Beyond a lot of clicking :)
Heh. You got me thinking on that one!

I do know that with the floating point standard, NaN ≠ NaN returns True. But what does it mandate for NaN == NaN? Is this always false? If so, you're right. If not, I'd argue I'm still right, as that means that NaN + 1 == 1 + NaN would still be true.
I wonder how much of the mental thought process is genetic vs learned, because I can totally relate to your description.

You mention colour, which is interesting, because I was never attuned to colour until I worked as a photographer for a decade where it actually matters beyond just symbolism (ie blue sky = nice day, red light = stop). Now it is often prevalent in my thought process.

I would say my own thinking is a wild mix of language, maths ('just' another language really), graphs and other visual representations. Nigh impossible to form it into a coherent linear narrative.
I wish we'd call them what they actually are: "freelance marketers".
On the other hand a reliable backdoor that also looks like sloppy code is better, as most of us are familiar with truly awful code it’s a nice layer of plausible deniability.

As the full saying goes.

Never attribute to malice what can be explained by stupidity...but don’t rule out malice.
Or via a proxy if you're in Australia, as archive.is is blocked.
I see no reason to cancel it or not, but those numbers seem pretty small relative to google's general user base and revenue.

I have no idea if or why they would cancel it or not, just saying that the numbers you gave seem like small potatoes. Then again Google really needs to show alternatives to advertising revenue (e.g. why Nest was brought onto Google's balance sheet).
From Microsoft’s blog post:

Inspecting MateBookService.exe!main revealed a “startup mode” that revived the service if it’s stopped – some sort of watchdog mechanism meant to keep the Huawei PC Manager main service running.

I agree that it’s hard to prove malice, but why should any PC management software go out of their way to ensure that it never gets shut down?
Russian trolls pumped out malware along pro-Trump messages. Venezuelans helped
Western democracies with hate speech laws are less democratic because the range of legally permissible opinions is smaller.

If mere functioning is your goal for the country, then certainly countries without strong free speech protections can function. They can even function without democracy at all.

But most people want more for their country.

Western democracies with weaker free speech protections do function, but they also have a substantial pressure outlet in the form of websites hosted in other countries that don't kowtow to oppressive governments.
> or they're distributing so much content the rights-holders claim it distorted the market

Sorry, I heard about the case years ago and don't have a link handy. However, that point by itself would be enough to undermine the original claim that only for-profit distribution is considered criminal.
That's only where a mountainous area is close enough. There are limits to how far transmission losses allow you to go.
I don't know why you're asking me this. You should reformulate your question as a response to 'jcranmer's comment. All I'm saying is that the parent comment missed the point of that comment.
Nuclear cost more because of the extreme regulations put around it, not because of the actual creation of the facility or the production of the energy.

Neither solar nor wind can deliver anything close to the amount of energy we need and they aren't reliables which means that you either do coal or oil.

Solar and wind worldwide is less than 1% of the actual energy consumption.
Note that a lot of people in the 90s used WYSIWYG editors, both Netscape Gold (later Communicator) and Internet Explorer (as of Windows 98) came with WYSIWYG editors (Composer and Frontpage Express respectively). Personally i had my own site since the mid-90s (initially on Geocities, later on Tripod) and always used WYSIWYG editors (initially Netscape Composer, later Frontpage Express and after that Mozilla Composer) and AFAIK most people i know used and most oldschool sites i remember were made using such editors.

TBH i never understood, even at the time, the point of writing static pages by hand (i remember even proud web buttons like "Made in Notepad" :-P) - the main explanation i was given was that the WYSIWYG editors created messy code, but to me that never sounded like a good reason since the entire purpose of such an editor is to not have to bother with the code.

I only started making sites by hand when i got into (classic) ASP (i made single pages before, but mostly for javascript demos or learning HTML and the like) and later PHP. Even then, the first time i used ASP was for a hobby site i worked on with some friends over the net about (point and click) adventure games where we'd put articles and such and the articles themselves were written in Frontpage Express for formatting and such (with the code just copy/pasted into a textarea i had in the "admin" section :-P).

I'm still using Seamonkey Composer and Frontpage Express (well, more the latter than the former since i'm not using Seamonkey much anymore whereas the latter is just a 1.5MB zip file i carry on my external hard disk that works out of the box anywhere) for very simple pages like [0], [1] and [2]. Although my "bigger" sites (that is, sites with more than a couple of pages and a need for a theme) are made using custom generators (usually in Free Pascal or Python).

And FWIW one of my favorite software that isn't developed anymore is Apple's iWeb - i haven't seen a tool as easy to use for making static sites as this one. Sadly Apple cares much less than Microsoft ever did about backwards compatibility and i'm certain my copy of iWeb will stop working soon (and there isn't any Wine equivalent to fall back on whereas in the unlikely even that old Windows programs stop working, i can still use them via Wine) so after Apple abandoned it, i stopped using it myself.

[0] http://runtimeterror.com/tech/jtf/

[1] http://runtimeterror.com/tools/gopher/

[2] http://runtimeterror.com/tools/ol/
"Current national average price is 10 cents per kWh"

That is amazingly cheap compared other places around the world.
It is memory safe in the same way as Rust is. Rust allows you to de-reference a raw pointer, but only within an explicitly de-marked `unsafe` block. Cone will require a similar explicit mechanism. If you want the compiler to check your code for memory safety, don't use this mechanism. If you do use it, the responsibility for safety within rests on you, the programmer.
So more accurately: nuclear is dying (slowly) in OECD countries.
...because it's the hardware management service and if it goes down you're no longer managing the hardware?

Like this stuff is usually designed by EEs and they love their watchdogs at all levels. Having a watchdog is very standard for this stuff.
Without stating a judgment one way or the other on the organization...

Epoch times is run by Falun Gong.

The Chinese official government line is that Falun Gong is an extremely dangerous cult that should be repressed. I've seen people on the English language internet intentionally comparing it to Jim Jones, David Koresh, etc.

In reality it seems to be more like a Chinese version of Scientology.
> Such a proposal would mean

But who actually proposed what here?
But having a CC permit is an announcement that you own firearms, and you’re in the habit of carrying them on your person. It makes sense to check this person for firearms, even if to make sure they didn’t accidentally bring one out of habit.
> MXN to GBP : I can't do it.

Both https://www.currenciesdirect.com/ and https://www.smartcurrencyexchange.com can do it.
f# has white-space oriented formatting.
> Right now when things escalate

What do you mean by "escalate"? I hope you are not using the word "escalate" to describe the murder of hundreds of innocent people by extremist terrorist.

> to people who are already triggered.

These killers are not "triggered" they are just crazy, bigoted, racists who somehow feel the need to kill. Your words sound very sympathetic in suggesting that the solution is to give these killers "time to cool off". The solution is to identify them early and get them some mental help.
What is so complex about it? This is a very simple code injection technique ported to kernel space. Only, of course, there is essentially no use for code injection in any sort of production software.
That's correct. If you're curious about the architecture: the vision part detects a chessboard, then corrects the perspective and restricts the image to just the square of the board, then looks at each square and has some simple thresholds to decide if it's occupied by a piece, and of what color. From there, the camera is treated as a black box sensor that continuously streams two 64-bit masks, for where it thinks it sees white and black pieces. There is a second program (controller) that turns that stream into a stream of chess positions (and a Unix pipe in between). The sensor is faulty of course and the controller has logic for ignoring bits from the mask where there cannot possibly be pieces etc.
> the plastic pollution in the ocean

I read in the press that the Philippines is one of the primary producers of plastic pollutants that doom the oceans.

Example: https://www.bbc.com/news/world-asia-47608949

It's an amazing claim that that modest sized country was the source of much of the global problems given that plastic bags and six-pack rings etc are routinely used across the globe.

Maybe it's true. Perhaps Filipinos are vastly more likely to discard plastic bags than most of the rest of the world. But how were these assessments and rankings really made?
But there isn't much private sector money in windmills either and solar isn't going to deliver enough energy.

So that leaves us with oil and coal and wood. Whatever the third phase of clean energy will be it won't be disrupting anything fundamental, it can't and it isn't as clean as we like to believe.
> ... by socialists ...

No, it's done by Americans who don't fit the previous definition of "American identity". Picture the "ideal American" and see who that excludes; and you'll have an idea of who these people are.
How does it deal with DRM?