skysight-inc/HackerNews huggingface dataset:
Sure. But those tool are estabilished (given the constrains of language that we use to formulate them and communicate them).

I'm finding it hard to see how you adopt such a way of thinking in a macro level.

Example: Person A says to me X. It is impossible to me to assert anything about it because I cannot _know_ the intent, meaning and reasoning by A to get to X. And even if I could totally and completely "be" inside A's mind, there would be problems involving language (for structuring thought) and sensory perception.

1 - Does this mean that X is totally unqualifiable? (true/false, valid/invalid, etc)

2 - If 1 is true, how does that that not fill you with epistemological dread? Anything can be anything. And anything can be or not be. Everything can be reduced to nothing including our own consciousness/ego.

And I'd like you to answer this previous point:

>> But "the universe is" is just tautological I.e it doesn't help you understand the universe any better...

> So what matters is not what something _is_ but what something _means_?

(And since this is getting big, could you point me to some resources to learn more about postmodernism? And maybe continue our discussion via email?)
These people get most of their income from working, not investing. It’s worth a lot of money for them not to be distracted by day to day business stuff.
The popularity of transpilers might help overcome that barrier. IDE's and task runners can watch for file modifications and run a simple program to convert to the old format.

But I'm curious what you mean by "in the wild"? If you're using (producing) it, something needs to consume it, and you would probably have control over both in whatever project you were using it for.
I just got back from a trip to Scotland and England and I had a chance to visit Bletchley Park and The National Museum of Computing. I had a discussion about computing firsts with the man demonstrating the Colossus code breaking computer. It's basically useless to claim any machine was the "first" computer without dumping a lot of adjectives on it. The Baby (which I must see, if I ever get to Manchester) is considered the first _electronic_ digital stored program computer. The Z3 was not fully electronic. The Colossus has a claim to "first electronic digital computer", with the caveat that it wasn't general purpose. The ENIAC is usually described as the first fully electronic, general purpose, digital computer. The point is that arguing over firsts in this business is pointless. It took a village.

I'd also like to give a hearty recommendation to anyone interested in such things that they take the time to visit Bletchley. The exhibits at Bletchley Park are fascinating and the working machines next door at TNMOC are amazing. In addition to the Colossus rebuild, I was particularly taken with the Harwell Dekatron, which has enough blinking lights and chattering relays to belong on a 50s sci-fi movie set. I was disappointed that the rebuild of the EDSAC wasn't ready, but maybe I'll get back there some day. I also hope to see the reconstructed Zuse machines if I get back to Germany.
>So I immediately hit a block as I'm struggling to understand why I need the notion of a Functor to understand what in the end looks like just lazy mapping of a function over a stream.

What you're calling "lazy mapping a function over a stream" is an example of a functor. To be precise the functor goes from "type a" to "stream of type a" (note that this isn't quite the same as a function since it operates on the level of types).

You don't need to understand Functors to understand how mapping over a stream works, however if you understand mapping over a stream then you can understand any other functor as being similar to mapping over a stream. Now functors are somewhat basic so it's hard to come up with a really nontrivial example, but you could for instance consider:

generate_b = lambda: function_a_to_b(generate_a())

to be pretty much the same thing as mapping over a stream, even though those functions can't be iterated over and could just be generating random data, or sample some time series etc.

Note that here we're transforming the output, when you start transforming the input you get something contravariant, like when you do something as follows:

class CoMapped:
# ... #

def __index__(self, a):
return self.object_with_b_index[self.function_a_to_b(a)]

it looks a bit weird to do this in Python though as there's no way to denote types.
Thanks for sharing. I enjoyed reading your comment. I am genuinely glad it all worked out for you. I can identify with not celebrating birthdays and the lack of toys. As a result it feels awkward when people wish me happy birthday.

I see the term surviorship bias quite a lot on HN and I sometimes feel it applies to me. When debates happen on Africa and poverty I tend not to be as sympathetic. I get impatient and rather want Africans to discuss how we can start building our own electric cars and solar power stations. Which is interesting because most of my cousins are still in the village and running water and healthcare are their biggest concerns. Having ended up in technology and living in a fairly modern city I have to consciously change mindset between understanding the latest features on Postgresql and applying my mind to getting basics such as runnning water to my village.

I "made" it because I am stubborn, had parents who believe in education and because I hate being beholden to someone. I am beholden to by boss but hey we can't have everything.
Lauren Southern and Faith Goldy on one side.

It's Going Down on the other. This one was due to pressure after banning Lauren Southern and "don't be hypocrites, if you are going to invent new rules on the spot, at least apply them consistently".
Many drivers get into a state of shock when SHTF, i.e. they are going into an accident and suddenly are paralyzed or doing some boneheaded moves (like bikers turning more which has the opposite effect). You can see it on many videos from China when drivers just can't believe what has just happened and continue, likely in a state of a deep shock. Or when you are face-to-face with a deer on the road, lot of space on each side but you still hit the deer because you were mesmerized by it. You should always predict what could happen even if you are a pedestrian or a biker (oh, cars surely won't open doors while I am on a bike path, right?). Casually strolling through a road with traffic without caring about approaching cars is simply irresponsible.

Ofc Uber driver was distracted, it was clear from the video. But I would put 80% blame on the victim.
Would you use an app like Instapaper for everything?
Always when I have an app idea, I write it down, then later if I have time to start implementing, I pick from them. Now I want to try something else: ask your opinion right after the idea was born.

How do you save a HN discussion to read it later? Do you revisit them to act on something interesting you read there? Have you ever felt there is so much music you don't have enough time to listen them all when they reach you on SoundCloud/Mixcloud/Facebook...? How about podcasts?

I imagined an app which is like Instapaper, but for every kind of content including forums, music, podcasts, even GitHub repos to revisit later. It doesn't really save the content, just create a preview like when you share it on Facebook. Then it can showcase these like a fancy bookmark manager.

Has a reminder feature which sends you notification to act on a content in a specific time. Content can be organized with hashtags, indexed so it can be searched.

Has an iOS/Android app and a bookmarklet to save, and a responsive web application to browse.

Would you use it?
Your website is a key to your business success. It gives the impression the way it looks to visitors. Website has to be catchy in terms of its design and contain important features that you want to show to your customers. This is why an effective website is a need of the time. The designer of a website plays a crucial role for its quality and professional excellence. Every website comes with a unique idea and needs a unique design solution. I will recommend you to hire Webbygiants for their agile web-solutions. They will design and build your website keeping in view that it should be considered user-friendly, easy-to-navigate and attractive. If you are seeking a quality Website Design services at http://www.webbygiants.com/, your right destination is Webbygiants.
Looking at Slide 7: doesn't LLVM do function-inlining, presumably with quite well-tuned heuristics? What's the advantage in having the frontend side of the compiler doing it too?

Or am I wrong, and does LLVM not do inlining?

Edit: I'm a silly person, Go doesn't use LLVM. I've been wrong about that for some time!
They're not self-auto-replicating. They need the host cell machinery to do so, thus they can not be the original stuff of life.

They are a very specialized DNA chunks that retains the absolute bare minimal needs to trick a host to replicate them. They are parasites.
Using a unified memory allowed for self modifying code. That's not something we do now, but those early machines had extremely limited memory and every trick was needed just to get anything done.
Ah again another article from publication in nation A with "Computer from nation A is the first X". Replace A with US, Italy, UK, Germany, ... and X with "computer", "electronic computer", "stored-program computer", "commercial computer".

I know why publications do this so their readers feel good, but I always hope HN could get above nationalism when it comes to computer history.
I think you all have overlooked that Kuhn used to be the Executive Director of the Conservancy, with experience in advocacy and public speaking.

As such, why should anyone believe he is a "tech person" who is not also able to give a marketing speech?
Hi there,
First of all, thank you for the post! It really made my day to see us land on HN
I'm glad you like the idea. About the traction, I think I've got a mentality that makes it a little bit more bearable - even if it turns out nobody wants to use the project, I know I will so I'll always try to develop it and spend at least a weekend on it from time to time.

Regarding the questions:
1. It's quite a long story which I'd be willing to tell one day, maybe at some conference. Basically, the idea started from 'typed elixir' which was a small POC project of mine. The Idea was to introduce type inference and annotations using only Elixir's macro system. It had a type inference algorithm I wrote in Prolog (to this day I'm still amazed how easy this language made it) and a bunch of hacky macros. However, after about half a year into development, I realized it's not a project that can be done singlehandedly and that there is simply too many compromises and hackishness to it. Half a year later on a LambdaDays 2016 conference in Kraków, Poland during a rather boring talk I've wrote a simple transpiler of Elm to Elixir as a joke just to find an entertainment. But the longer I developed the joke to more apparent it started to be it's actually something completely doable and with a great potential value.

2. Unfortunately no, not yet. It is being developed by me and sporadically by two other members of my company, but it's in no way supported by any big player. We'd love to get an interest like that though. If by any means some company representative is reading that and considering, please don't hesitate to mail me!

3. Depends on what we mean by production - is it running as a node of a huge Erlang system? - no, and probably won't be for some time. It's still a relatively young project with a lot of space to develop, it is slowly approaching maturity though and I think after we introduce an official way of handling side effects it's going to get much more traction.
If the question is of "Is there anything big written already in Elchemy?" then kind off. I'm pretty sure that the biggest project written in Elchemy today is... Elchemy itself. Being self-hosted was very important to me and it is even a part of the CI pipeline right now. The moment of it being able to compile itself and execute in Elixir was a huge milestone in the development and a definite point in time when the project stopped to be just a Proof of Concept.
We are currently working on a demo game written in Elm on the frontend and Elchemy on the backend. Its purpose is to demonstrate the maturity of the project, but also pinpoint some possible shortcomings that we might have missed.
That's the main reason for starting the Elchemt DevBlog on Medium (https://medium.com/elchemy) to share on the progress and possibly discuss different choices we still have to make

As it's already becoming quite long-ish feel free to join our Gitter chat (https://gitter.im/elchemy-lang/Lobby) or to mail me!

Cheers
Ask HN: Is there a legislative equivalent to unit tests
Taking a look at the similarities between drafting legislation and computer programming, it strikes me as odd that legislation seems to have no corresponding notion to unit tests or integration tests.

The closest I can see (from a laypersons view) would be case law as one could theoretically look back at old decisions and determine if the same decisions would be made under new legislation, but that's not how it works. It's way more nuanced and case law actually sets legal precedents.

Is there a more direct corollary between unit testing and legislation?
I'd hate to see CR go. While it's not the be-all end-all, they've been fairly transparent about their testing methods and experiments.

In order to stay away from ads, I wonder if they can do something like give free copies to coffee shops that younger people frequent to attract a different demographic.
Unfortunately, it seems it's not the case in Arizona: "Pedestrians must yield the right-of-way to vehicles when crossing outside of a marked crosswalk or an unmarked crosswalk at an intersection."

http://www.ncsl.org/research/transportation/pedestrian-cross...
So the basic gist is Consumer Reports is trying to find a younger audience by building a new website to compete with The Wirecutter for attention?

This was a very long and convoluted article to get to that conclusion.
How does basketball get popular amongst a shorter population for widespread playing - according to this chart http://www.wecare4eyes.com/averageemployeeheights.htm average height in PRC is one of the bottom few.

I'm above average in UK but playing basketball or volleyball my height was always a major disadvantage. I realise you can improve your jump game (plyometrics ftw!) but still ...
ISO 8601 has you covered:

Year:
YYYY (eg 1997)
Year and month:
YYYY-MM (eg 1997-07)
Complete date:
YYYY-MM-DD (eg 1997-07-16)
Complete date plus hours and minutes:
YYYY-MM-DDThh:mmTZD (eg 1997-07-16T19:20+01:00)
Complete date plus hours, minutes and seconds:
YYYY-MM-DDThh:mm:ssTZD (eg 1997-07-16T19:20:30+01:00)
Complete date plus hours, minutes, seconds and a decimal fraction of a second
YYYY-MM-DDThh:mm:ss.sTZD (eg 1997-07-16T19:20:30.45+01:00)
where:

YYYY = four-digit year
MM = two-digit month (01=January, etc.)
DD = two-digit day of month (01 through 31)
hh = two digits of hour (00 through 23) (am/pm NOT allowed)
mm = two digits of minute (00 through 59)
ss = two digits of second (00 through 59)
s = one or more digits representing a decimal fraction of a second
TZD = time zone designator (Z or +hh:mm or -hh:mm)
I subscribe to Consumer Reports. (I only use their app.) As someone who spends two weeks researching a product category so I never have to think about it again, their data are a godsend.

That said, I find Wirecutter to be a better fit for urbanites. I don’t buy heavy appliances or cars or Swanson chicken broth. I do want to know about robotic vacuums and cat scratchers and speakers.

Consumer Reports could market a premium city-focussed product at a higher price. I prefer their brand to Wirecutter's, in part because it attempts to bridge our city-dwelling echo chamber.
Healthcare organizations (insurance and delivery) see data as a competitive advantage. I don't foresee this happening any time soon.

In addition to large datasets, this protectiveness extends to data specific to an individual patient. Consider this scenario: You need to see a specialist, and have the choice of providers; specialist A is within the same system as your PCP, while specialist B is with a smaller, independent practice. Specialist A therefore has access to the same EMR as your PCP, while specialist B does not. This has a direct impact on your experience as a patient: at specialist A, it feels like their office "knows" you; your visit to specialist B, however, would include filling out a bunch of forms (demographic info, insurance, medical history...) that you've filled out countless times before.

Of course, it's in the patient's interest for their data to flow freely between providers, no matter which healthcare system they're on. And many healthcare systems recognize this, and strive to share data. But they are often going against their own economic interests to do so.
I always thought this was a neat trick:

http://www.archimedes-lab.org/Maths2_Multiplication.html
private browsing with no cookies allowed = same issue :(

The "web" is so much broken with cookies disabled... (techcrunch, any 'large' news site - except the Guardian!)
Yup. They started the "rails don't scale" narrative.

Something something, a good craftsman doesn't blame his tools.
> Now, it's just a giant subsidy for Amazon.

But it's not. This line is reasoning is very outdated.

They have built a massive network of warehouses all over the country, and that's the physical presence that a state sales tax collection clause needs to come into effect.
Amazon has been charging people sales tax in many states for a few years now. (I wish I had a number of states, but top jazzy to look it up.)
This is not an either-or situation. Both the driver and Uber are fully culpable for this vehicular homicide. Both of them have to be aware that any mistake on their part may result in somebody's death and act accordingly.
how about 80 vs 443? :)
Interesting, it doesn't seem to work here because my employer's VPN blocks the torrents.
You cannot be serious?! PKK & YPG would have gotten absolutely crushed without american airpower. Nevermind that USSOF is on the ground, if I remember correctly there are Rangers and some USMC artillery in Syria as well. There were hundreds of airstrikes in the Siege of Kobane alone. You seem to completely misinformed.
Show HN: Papers with Code – trending ML research with available code
Cool stuff. It's nice to have a somewhat mainstream language using its own backend instead of llvm. You can in fact get pretty far by tailoring your compiler to your specific needs. You end up with much less code, it's also easier to make it fast.

You do cut yourself of from the more advanced optimizations simply for man-hour reasons. I'm guessing it's a trade off they are willing to make.

I have to say that I really dislike the kind of large pattern matching they added for the hash table clear. C compilers do that as well for e.g. memset/copy or bit rotate instructions.

IME it's really brittle and would be more beneficial as some kind of a lint ("you could replace this bunch of code by a call to clear()").

It makes the code simpler and won't inexplicably slow down next time someone does a tautological refactoring.
It's sort of similar with very hot things. I'm a blacksmith, and I rarely wear gloves. Steel is a poor conductor of heat, so if you grab it just a few inches away from the red-hot end you're fine. If you hold it too close, you realize it instantly and let go before any serious damage happens. But if you wear cotton gloves for a while, you'll grab the steel closer to the heat without realizing how hot it is, and then the accumulated sweat inside the glove suddenly vaporizes, and you get a nasty steam burn before you can get the glove off.
The text is jumbled up on Firefox/Windows :(
Yep just after some cheap good publicity
Hi all,

Sharing a project I’ve been working on in spare time: Papers with Code.

Papers with Code links the latest machine learning papers on ArXiv with code on GitHub. It allows you to see “trending research” allowing you to keep up-to-date with what’s popular in the ML community, as well as the most popular historical papers. Additionally it shows the framework the implementation was coded in: TensorFlow/PyTorch/MXNet/etc. Lastly, you can search for papers and choose a code implementation of your choice.

Links are automatically scraped from arxiv papers and github repos, so in some cases e.g. the SNIPER repo there are three entries because this library implements three papers.

Let me know your thoughts, and if there’s any other feature ideas you have for the site,

Thanks!
Robert
Extract from http://www.inf.fu-berlin.de/inst/ag-ki/rojas_home/documents/...

"We can therefore say that, from an abstract theoretical perspective, the computing model of the Z3 is equivalent to the computing model of today's computers. From a practical perspective, and in the way the Z3 was really programmed, it was not equivalent to modern computers."
It wouldn't have helped in this case, being a test driver for the technology she should have been paying full attention, and the same goes for all of these development drivers - but for the general populace when they release a product, I'd say it would.

"Autonomous" and "self-driving" (and "autopilot") are incredibly loaded terms, and manufacturers know it, and really do change the context of the interaction the customer can expect to have with the car.

"Driving Assistants" help you drive, "self-driving" means, well, it drives itself, and no matter how many caveats you apply to it, you've just primed your audience with your headline.

If the manufacturer expects you to be in control, then I really think they shouldn't knowingly sell it as something else.

I like a good analogy and I've been struggling for one, but let's make a tenuous link to the World Cup: if I as a football team buy an "autonomous" or "self-saving" or "autogoalkeeper" goalkeeper, my expectation would be what I bought would stop balls going into the net by itself. My expectation would not be to have to position a back-up defender next to it at all times because it jumps in the wrong direction when presented with an attacker coming at a certain angle.
Show HN: Tophat – Open source Bootstrap 4 themes
The title is kind of clickbaity. TLDR they found some dead bodies and amputated limbs at the site of a field hospital where a major civil war battle took place. It’s an incredible find, but doesn’t paint any real picture of civil war era surgery, much less a “grim” one beyond what we already knew (that amputation was common).

Interesting fact contrary to popular belief: the vast majority of civil war surgeries involved some form of anesthesia. The notion that doctors were going around lopping off limbs of wide awake soldiers is a myth.

http://www.civilwarmed.org/anesthesia/
Tails, you win
Go doesn't use LLVM as far as I know.
README badges are vulnerabilities
Curious of the ramifications of the fact that companies normally only have a handful of vendors relative to their employee size, but have tons and tons of "vendor" end-users.
>I'm not. Millions of people are visiting Twitter daily to check out if Trump has declared trade or real war against yet another country.

This is true and not just for Trump, most politicians are finding out they can bypass the media and go straight to enough people to control the message, especially if the message is bombastic or controversial.

Why rely on the faucet when you can drink from the fountain?
> People-first language ... is a type of linguistic prescription to avoid marginalization or dehumanization ... when discussing people with a health issue or disability.

The argument for "autistic person" or even "autist" is that it's not a health issue or disability.