skysight-inc/HackerNews huggingface dataset:
Adding a type namespace to Hackett
you would just type "fstar json" instead, just like you'd type "fsharp" instead of "f#"
Generating code from hand-drawn sketches
> Functional is OK. Imperative is OK. Both in the same program are a mess.

I guess you're referring to languages that are not-quite-without-side-effects, but I'd say the biggest influence the functional paradigm has had on other (imperative) programming languages is actually the addition of higher-level data manipulation operations. The functional utility libraries you see for languages such as Python and JavaScript exist solely because sometimes functional idiom like "map this onto this" or "take that only if this holds" or "let's make a new function by pre-filling these function arguments" is more intuitive than having for loops all over the place. And it mixes just fine with other imperative code.
What I find shocking is that nobody among the big names who should be conscious about security seem to give a rats ass about that. If I was say a high profile banker and someone told me that all my computers contained code that could be used to spy on me, my data, my business and my personal life, that would drive me crazy.
Good work!
I did this project as well about a week ago. I will shamelessly also share my writings on this project: https://medium.com/towards-data-science/teaching-cars-to-see... .

The HOG + SVM method is quite slow and not as accurate as a deep learning approach. Before jumping onto semantic segmentation, I recommend re-implementing this project or more generally solve this problem using a Regional Convolution Neural Network architecture (R-CNN) like Faster R-CNN[1] or YOLO[2] for instance.

[1]: https://arxiv.org/abs/1506.01497
[2]: https://arxiv.org/abs/1506.02640
UWP is the future of Windows APIs, in case you missed Windows Developer day earlier this month.

So if F# doesn't speak UWP, the community keeps tweeting that GNU/Linux is so much better than Windows, and that we enterprise devs just don't get it, should we bet which of those technologies will last longer on MS roadmap?
I'd done this awhile ago with https://github.com/ryanmcgrath/react-iconpack (haven't touched it in literally forever, at least insofar as time is considered in the JavaScript world - probably doesn't work now), too. Never caught on for whatever reason, but was fun to hack together.

I do feel like (and I think another commenter somewhere in here noted this) that actually fully converting SVGs to JS has a lot of detriments in terms of ability to edit and such, so the loader approach is better.
Please please please can we stop with the Rustacean/Gopher/etc crap? You don't need a cutesy label to identify that you use a tool.

I enjoy Doctor Who (though it's been getting worse for the last 5 or so years) but I do NOT want to be called a Whovian.

What's the first image that pops into your head when I say "Trekkie"? It's probably not someone with good health and hygiene, is it?
Venn diagram of people who are interested in type theory, and people who like Javascript...

OO
raises hand

There are dozens of us!
(1) There is a massive difference between a bad article and fake news, which is completely fabricated information (e.g. pizzagate). Also, learn to differentiate between good journalism (e.g. NYT, WaPo) and tabloids/other rags (e.g. Fox News, Independent, Daily Mail)

(2) Mainstream news is already regulated to some extents
Many a developer has an Android phone but a MacBook
InstallGentoo Wiki
>I'm the voyeur.. Wishing to see what kids post (of their kids).

That sounds really creepy if you phrase it this way.
Lock-Down Serverless OpenFaaS for the Public Internet
But in my experience, we try and pretend that we did the reading, and not complain to the overseas teacher that it was unreasonable to expect classroom discussion time to hinge upon having done the readings.
What is F#? (audio)
Just curious where does Elixir fall in this scheme of things? Any experienced devs who could give a qualified answer, please?
That's immediately where I saw the value of this as well.
Unlikely, but to be sure, you have to read all the boilerplate, attentively.

If your language generates them behind the scenes, so that nobody can modify them, that doesn’t happen.

Also, if a developer overrides one particular example, it stands out in the source, as it (ideally) is the only code visible in the source.
> slippery slope

Oh come ON.

> I'm not saying anyone is obliged to give them a platform.
> using our power as consumers to pressure companies to remove such things

Those two are contradictory.
"that Huxley not Orwell was right"

Implies only one can be right. There doesn't have to be only one answer.

Some say the world will end in fire,
Some say in ice.
From what I’ve tasted of desire
I hold with those who favor fire.
But if it had to perish twice,
I think I know enough of hate
To say that for destruction ice
Is also great
And would suffice.

Everytime we avoid one possible dystopia, the possibility for another will surface. We just have to hold them at Bay faster than they can arrive
> A focus on programming languages in my opinion, masks the real issues we face.

Indeed, major problems of programming languages can hardly be solved in the area of programming languages itself as it is being done now.

I would say that one needs a new programming or computing model so it is not about languages. At least it is my conclusion after 10+ years of research and attempts to develop such a new programming paradigm. And although I have quite significant progress (concept-oriented programming), the more I do and the deeper I go, the more fundamental problems I meet. And these problems are not about programming languages at all. It is more about "how a system works", "what is a system", "what is computing" etc.
Google, as in Go?

"Type system tyranny", page 8 - https://talks.golang.org/2009/go_talk-20091030.pdf

"Programmers working at Google are early in their careers and are most familiar with procedural languages, particularly from the C family. The need to get programmers productive quickly in a new language means that the language cannot be too radical."

https://talks.golang.org/2012/splash.article
Mistakes happen. Especially with things one has little control over. Where is the benevolence and greatness we are striving for and searching in leaders?

There are many ways to solve this with everybody saving face from my point of view.
He probably wanted to say "plain JS object", which is denoted in JSON. You can put JSON in a string, but the syntax is called JSON as well.
Absolutely no. Random search does not work in high dimensions because of the "curse of dimensionality" - the number of directions to search grows exponentially with dimension. Gradient descent avoids the problem because it knows the right direction.

Evolutionary strategies are doing (natural) gradient descent using an estimate of the gradient. Here's a good article: http://www.inference.vc/evolutionary-strategies-embarrassing...
I'm not on Twitter, and so cannot contact Jonathan Turner (whose website this list of facts is on). On this page, some of the links to the Rust Survey results are broken - they have a prefix of jonathanturner.org and have the actual survey results link within parentheses. [1] They should be corrected to link to the Rust Survey Results. [2]

[1]: http://www.jonathanturner.org/2017/10/(https://blog.rust-lan...

[2]: https://blog.rust-lang.org/2017/09/05/Rust-2017-Survey-Resul...
Kind of, you can achieve something similar with SPARK.
All 4clojure problems on PicoLisp:
https://bitbucket.org/mihailp/tankfeeder/src/default/4clojur...
What would the point be in advertising a burn cream to someone that just bought a burn cream? It's not like it's a common reoccurring purchase (like Toothpaste for example).

Like the article says, it's probably just the Baader-Meinhof phenomenon* at work. It's like when you buy a new car - you suddenly start seeing that same model of car everywhere.

* https://www.damninteresting.com/the-baader-meinhof-phenomeno...
I see the tower on a chessboard as more of an illustration than an illusion, the point being that we don't really observe absolute colour because it's not terribly useful for making sense of space (which is what sight is for).

The dress is sort of a variation on the same theme, except it divides people by how they extrapolate the rest of the scene.
Slack and Fastlane = One of Continuous Integration Puzzles
In Denmark, 16 and 17 year olds can buy alcohol with a strength up to 16.5%.
React Native – 4 steps to improve your workflow as a mobile developer
The article never really explains why you'd want to be a CEO. Are most CEOs satisfied with their job?
Boy Sings WTF
Ah thanks, I thought you were saying it was spelled with "ou".
I also thought of that problem and I created language for representing agents in these systems. https://github.com/romankierzkowski/langner Unfortunately, I didn't carry on that work, so I haven't evaluated that kind of representation yet. I would love to know your opinion on Langner.
Well, a fun fact: there is nothing funny about that list :). It should have been called "Some facts about Rust's growing popularity".

Now, my predicament: I love Rust's type system and tooling, but it's really hard to justify to myself the pain of writing correct Rust code (borrowing, lifetimes, etc.) when I know I can get almost the same effect by using a GC language + immutable messages.

And I don't need that last drop of performance either.

So if you just want a native language with a good type system and a growing ecosystem, where do you go? Still Rust or something else?
Lightweight job scheduling for Node.js
You might want to give this a look: https://github.com/Microsoft/TypeScript
Fiction has always focused on heroes, but organizations used to play a bigger part, especially for the generation that remembered WWII.

Take the Star Wars franchise. Most of the original trilogy is about a bunch of heroes helping a huge resistance movement against a bigger empire. In the end, the heroes are the drops that tip the scale in the rebellion's favor, but the rebellion had to push all their might to make that possible.

Look The Force Awakens: a bunch of clueless heroes, dismissing the while rebellion, manage to make a big thing go boom with almost no external help.
I certainly don't want to underemphasise the huge contribution of Smalltalk.

Nevertheless, consider a couple of modern widely-used languages. C++ in terms of object-orientation, is based on Simula, and Java's object model is entirely based on Simula.

I argue that it was Nygaard and Dahl who first introduced those language's key concepts (objects, classes, sub-classing and virtual functions) in a coherent and programmable form. This is why Nygaard's Turing Award page states "Kristen Nygaard is internationally acknowledged as the co-inventor with Ole-Johan Dahl of object-oriented programming and the programming language SIMULA", and why I stated in my parent response that you named the term others invented, notwithstanding that today's common use isn't necessarily consistent with your coining of the term.
No, by default.
Not just that. F* is convenient for code-level specification, much like Ada SPARK, JML/OpenJML for Java, and ACSL/Frama-C for C, but it's quite hard to specify global correctness conditions in it, like "the database is always consistent", or "no data is ever lost", which is where TLA+ shines.

The gap between local, code-level correctness properties and global ones is a hard one to cross. I am not aware of any tool that can do both (i.e. end-to-end verification) in a way that isn't excruciatingly hard.
Volvo's Polestar 1 is the car Tesla should be really worried about
I came to write that facebook is just a carrier, and that people can lie to the masses via a printer, or a radio, or any of a million web outlets or non-FB social networks.

But I was wrong, facebook doesn't just post what you say, they choose what you see. So it's not necessarily that you're seeing stuff that people said of their own volition, it's that perhaps facebook is _choosing_ not to show you contradictory claims because it would make you use facebook less, and cost them money.

So then perhaps yes, some kind of regulation about what kind of choices facebook is allowed to make when choosing what will be shown to whom, and some oversight that that actually happens.

Still, though, it scares me to try legislating speech, since legislation is easy to pass and hard to repeal; hard to get right, and not debated long enough by smart enough people hardly ever.
> Was the contract award really corrupt?

I can't speak to the actual legal definitions of that but the optics are incredibly bad - e.g "Zinke [Interior Secretary], a former Montana congressman, knows Whitefish chief executive Andy Techmanski, and Zinke’s son had a summer job at a Whitefish construction site."
> work on inconsequential work (thinking Google hired so many to lure people clicking ads).

I'm not sure if it's what you meant but working to make people click ad is probably the most consequential work that has been done in SV in the past 40 years... It's the thing that enabled everything else.
Curry.py – Haskell-style currying in Python
Why in AbstractCollection and not in Collection interface as a default method?

Apart from that I still miss the fact that Iterable doesn't have a `stream()` method, it would make it much more useful in post-java8 world.
Tricks for Playing Blu-Ray Movies on Nvidia Shield Tablet K1
Direct link to the image:

https://i.imgur.com/vRBtL.jpg
TOP 3 E-COMMERCE PLATFORMS FOR STARTUPS
I had a similar experience in June when I was on a car journey and we got a crack in the windscreen. My phone was out (was using it to navigate) but it wasn't touched at all. It was a Sunday, and I didn't bother researching how to get it repaired.

Later on when I checked my phone I started getting ads in the Facebook feed for windscreen repairs.
“Both of my great occasions in life happened by accident simply because I showed up.” Loving this quote. It´s so true actually. If you don´t put yourself out there and go network or go to events, it´s quite difficult to stumble upon new opportunities. You might just get the chance to get your foot in the door somewhere. This can also be referred to the "online and social media space" - if you don´t put yourself out there (eg.on Linkedin) people are never going to recognize you and your work. In my opinion, you can work as hard as you want, if no one actually sees it and values it, it´s still a waste of time.
October eCommerce News
I dont think the people who withdraw into the world of comics do it for quite the same reasons as " Religious hermits and ascetics, and moralists".

This seems to be a newer phenomenon, possibly because we now live in a time where it is possible to contribute little and still survive for the majority of a population.
If you use a Mac, I suggest MacPass: https://mstarke.github.io/MacPass/
The fact that you don't need your fitness function to be differentiable is a big advantage :) if you had the gradient it would always help to use it.

In reinforcement learning: evolutionary algorithms work by applying peturbations in the parameters space, not in the action space. If your problem is sensitive to action-space perturbations (requires consistent strategies) it might not be possible or efficient to use "standard" RL. Evolutionary strategies (ES) are quite competitive in RL, especially paired with some dimensonality reduction technique (unsupervised VAE).

Local minima are not really an advantage. ES are nearly local - they sample the space around the current solution to approximate the gradients. They'll get stuck in local minima sometimes too (if there are any). Bayesian optimization is more interesting, as it's actually global.
equals/hashCode is useful in tests also when you want the check that the returned object is what you expect, instead of doing field by field comparison:

Foo foo = bar.foo();
Assertions.assertThat(foo).equalTo(new Foo(1, 2, 3));

instead of:

Foo foo = bar.foo();
Assertions.assertThat(foo.getFirst()).equalTo(1);
Assertions.assertThat(foo.getSecond()).equalTo(2);
Assertions.assertThat(foo.getThird()).equalTo(3);
A few months ago I did a Google search for my name as i do once or twice a year just to see what comes out. This time I had mixed reactions because among first results there was full text taken from a scanned old magazine dated 1978 or so with my name complete with street address. That was long before the Internet was publicly available and having such data into a magazine would not hurt anyone because people expected it could be useful to get in touch with others with similar interests (electronics in this case), and it surely worked for me because I got a free subscription and some job offers which I would have gladly accepted if I wasn't only 12 years old:)
But nearly 40 years have passed, the ubiquitous magazine called the Internet is read by anyone for free, and having your address and/or personal data there isn't that safe anymore. Luckily I relocated a few times since, but what if I didn't? Technically speaking it's great to see an old magazine brought back to life, but what about unfiltered personal information one would expect to remain buried that will instead remain available forever in other contexts?
I'm not bashing Google's bots crawling around to turn anything into searchable data, and I surely would never ever want laws to limit what can be searched, but pay attention if you shared personal data on printed material because if until yesterday we said "everything you put on the internet stays there forever", today there is more.
1000km water diversion tunnel planned
> WYSIWYG web design (a la Dreamweaver) died off ....

Which is why what we actually need is a la Delphi
"Pythonista" wins hands-down over "Rustacean" outside of English-speaking groups.

How do I even properly pronounce it? "Rah-stah-kyan", "Rah-stah-see-an", "Rah-stah-seen"? Complete non-starter if you can't talk about it.

I'll keep my "Pythonista" business cards - this rolls off the tongue easily and ignites conversations with non-techies.
Not sure if it is so far fetched to do some lightweight voice analysis (client side) and store significant terms in the same way that you would store search history.
"Current status - We generate a C library, but the verification is not complete."
Build a team that doesn’t need you
All of my job opportunities have come about because I just happened to be in the right place, working with the right people at the right time.

Luck is an enormous part of success, despite how much people would like to think it's all hard work and determination.
Fascinating, and great to imagine that given the sheer number of start in the known universe, there is a chance that somewhere out there such a thing exists right now.
I found this article really intriguing as someone new to this field.

If I'm understanding this right, it seems like most approaches up to this point are focused on evolving a single "unit" or brain / person.

You have the concept of "nature" that selects which units will advance to the next generation and passing on "DNA". First based on fitness and now the new approach is novelty.

This may seem a bit naive, but has anyone explored adding a social dimension?

For the robot walking example, you have nature choosing novelty and those that made progress.

A basic social dimension could have units observing other units and sharing information.

But then there's a variety of other dimensions - a unit blocking another unit from walking (cheating), a bigger unit destroying a smaller one, maybe success via misc factors like physical symmetry / popularity.

Idk. Just curious to learn more and where the research is at.
AutoValue beats Lombok hands down. Not least because it is pure Java so no extra IDE support is needed.
> Javascript everywhere is a function of low barrier-to-entry for it, but almost everybody agrees it is flawed as a language

Everybody is everybody who has used other languages intensively or is into programming languages or, the most negative parties against JS, people who are into formal methods. But 'everybody'; I get often downvoted to hell for being negative on JS on Reddit. And i'm not using a baseball bat; i'm subtle about it as I don't care for language wars. Use what you want, but please don't say it's the best thing to happen to humanity. But no; 'everybody' (as in headcount) thinks it is the best thing that happened to humanity and that other languages should die because you can write everything in JS anyway.
People like to label shit and themselves. No reason to fight it.
"It's like automating astronaut application forms."

Good potential astronauts could get tired of filling application forms for everything and just choose another career.
Most of those graphs are straight out of Excel.
I always thought they were up front about that being true. At least for the 1% off cards that supermarkets offer.
Is messenger an installed app or through the browser?
> I don't use ad blockers, due to my development work in web apps etc. I like my browsers to be as stock as possible, and I do actually at least glance at nearly all ads I see in FB etc. just to see how their targeting is being skewed by my search history or messaging online.

You are doing yourself a disservice. Have two users (or at least two browsers), one for work, which you keep ad-blocker free, and one for life, which you shouldn't.
I consider it likely that this is merely just another example of people underestimating how much data they're leaking. I would wager to guess that there would have been far easier methods of deducing that new connection other than listening to your conversation and somehow inferring it from that stream of noise. You just don't know which, but it's not unimaginable that that certain information was leaked in another way as well, and probably in a more structured format than unlabelled audio.
Looking at the 2010 Haskell report: most of the committee members come from 'Academia':

https://www.haskell.org/onlinereport/haskell2010/haskellli2....

How is it an 'industrial' language? Haskell is the main 'academic' language for a branch of Functional Programming.

'industrial' is just another weasel word.
> they manipulate people in controlled experiments to extract as much money from them as possible.

You just described A/B testing. This is a technique used by every successful company. The only thing unique about Facebook is the data.
Saddle points are not much of an issue too: https://arxiv.org/abs/1710.07406
Try Not to Laugh Hilarious Movie Parody
Are you claiming that "GDP objectively, universally, and precisely maps to real-world value" is non-falsifiable? Unless you reason is that nobody can even tell you what real-world value is, that proposition can easily be falsified.

If you ever observe a trade that changes GDP in a way that does not correspond to the change in real-world value, the belief is shown to be false. Of course that isn't just a thought experiment, you have to actually do the observations.
There's rarely a need for a language with anything "new".

There's a strong need for a language that brings the best ideas recently developed and puts them together in a new language that does not have baggage from the past, (e.g. D).

I've never used Lombok or any other code generator with Java.

I think the important features of Kotlin are:

- Null checking

- Proper lambda/function types

- Not everything has to be a class

- You can specify parameter name when passing to functions: specially useful when constructing objects.

- Simplified constructors (member fields can be specified in the argument list).

These were some of my biggest pet peeves with Java.

That, and the weird stream APIs.
> Drivers tend to get fixed far faster than Kernels do.

In windows world; but in my experience that's 6-12 months for driver, to 12-24 for kernel.

In linux world, kernels (and drivers) get fixed much much faster, in the order of a couple of months.
How to write awesome tech specs