skysight-inc/HackerNews huggingface dataset:
IntelliJ is awesome for polyglot development.
> I can't get past the lack of currying.

Say again? Currying may not exist as a special form, but adding it is utterly trivial: [0]

Which I guess is where Lisp shines. Modifying the language to suit your needs is easy. You aren't bound by the limits that many languages force upon you.

That being said, I wouldn't say that Common Lisp or Ocaml have the same userbase. In much the same way that C and JavaScript don't serve the same domain.

ML languages are about safety, and correctness.

Lisps tend more to be about speed of development, and flexibility.

That being said, as just about any paradigm can be implemented in a modern Lisp, and perhaps older ones as well, there are places where they can cross over with this want of correctness.

Racket is an experimental Lisp that grew out of Scheme, and is basically a family of languages, or a Lisp-ish language framework for creating other languages. Among the inbuilt languages, is typed/racket [1]. It uses contracts or inference to ensure type safety at compile time. Due to Racket's language features, if you add contracts, typed/racket can use, or be made use of, by other Racket languages, like lazy/racket[2] and scribble[3].

Other Lisps can have similar things, as you saw with currying, Common Lisp can have compiler hints, or even static typing [4]. Clojure has a ML style matching library [5], inbuilt.

Basically, where you might hit a "I'm approaching this problem the wrong way" in most languages, you can simply write a quick, simple, effective macro, and carry on, in most Lisps.

As to what you may think a Lisp looks like... See Wisp [6]. Which, arguably, isn't a Lisp. But it is basically just a bunch of macros on top of Guile (a Scheme).

[0] http://cl-cookbook.sourceforge.net/functions.html#curry

[1] https://docs.racket-lang.org/ts-guide/

[2] https://docs.racket-lang.org/lazy/

[3] https://docs.racket-lang.org/scribble/

[4] ftp://ftp.cs.utexas.edu/pub/boyer/diss/akers.pdf

[5] http://blog.klipse.tech/clojure/2016/10/25/core-match.html

[6] http://www.draketo.de/english/wisp
Is it not possible that we could simulate a star though? Not in 2017, but at some point?
Again, it's a tradeoff against your dreams - if you work a lot now to work very little in the future, you may find yourself too old and weak in the future to finally do the things you always wanted to do.
The Salami Method
Coming from someone who's used Windows and Linux for years, but bought a Macbook a few years back when they were the only ones offering high DPI displays - personally I found the OSX UI really clunky - confusing file manager which seems to prefer keeping icons in the same physical place even if they overlap others, weird buried menuing system. I can't even figure out how to properly maximize a window, I find myself pressing every different combination of shift+click, ctrl+click, cmd+click, etc. It's very confusing and annoying for someone who's never used it before.

I couldn't even figure out how to shutdown via the GUI for the first few months of using the system and would always open a terminal and run a shutdown command until a friend caught me doing it and told me how.

So - in my experience, any decent desktop environment feels a lot better than OSX. Be it Unity, KDE or Windows. CLI is much better on Linux or FreeBSD than OSX, simply look to the clunky hack package management systems used on OSX.

Maybe I'm past the point now where learning is easy for me, or maybe I just wasn't interested in learning OSX that much. But with all the "oh the GUI is so amazing" reviews I sort of assumed it would Just Work.

Eventually I just gave up, I had to get off it - the GUI was too annoying on OSX to use on a daily basis and I found myself always running my Bootcamp'd Windows. Last week I blew OSX away and replaced it with Ubuntu, it took a bit of hoop jumping to get all the hardware happy, but it works now and I'm never buying Apple again. As for better hardware - I'm probably buying Dell next time, they ship 4k displays now, better resolution than Apple and have better Linux support. Also, cheap accidental warranty and a better GPU at a lower price.
Ten years ago it was much harder to find information on all of this - and even if you went in knowing it, there was little or nothing you could do about it.

I knew enough then to discount options to 0, but I'm permanently jaundiced in retrospect by just how many outright lies I was told at interviews, and saw being told to my colleagues.
It's essentially a premade vimrc (.nvim/config) and set of packages.
"Shot and killed" is not "murder"; murder by shooting is a subset of those. However unfortunate it may be, the base rate of police shootings isn't ever going to be zero in a diverse country of 300 million or so.
"If his words had ... accountability for the implications of such a statement"

What does that even mean?
> These rants are typical but would be much better if people identified the glorious PC hardware they are using.

As someone who's never bought Apple HW (but used it, when paid for by employers, as secondary devices): There is no "glorious" PC hardware anymore (though, the top-of-the-line thinkpads from about 2000 were amazing (a20p, anyone?).

But today, compared to Apple's pricing, they are so cheap that I can get equivalent HW for half the price (equivalent wrt performance, not manufacturing quality!). I can have it serviced around the world without having to find a vendor-specific shop. And if it really is FUBAR, I can invest the 50% I saved on the initial purchase and get a brand new, next generation PC.
I think that it is true of implementing UBI decreases labor force participation a lot but I think it is a worry in UBI but it's an implementation issue and not inherent in the system. Welfare currently is giving money to people and inflation isn't out of control, even though welfare sometimes disincentives work. It's the same as the unemployment people talk about with the minimum wage, if it's poorly constructed then of course it will lead to lots of unemployment but in most cases it is fine.
The inevitable follow-up article that delves into training offensive banana peel usage should be interesting.
Maybe only a few pages remain as programs don't inherit memory from their parents. It could be done for those strings but consider that mappings are in 4k pages (so the rest of the page would have to be cleared to 0).
3-D Fractals Offer Clues to Complex Systems
Lots of cops have batons. It's surprisingly easy to crack some ribs with those things. I guess they could also just hit people with cars - car accidents are pretty common overall, so it might just blend into the noise.
Someone please correct me if I'm wrong, but I seem to recall Indian colleagues telling me that the India government sets maximum prices for certain basic foodstuffs, such as rice or flour?
I feel like Nokia sold HERE too early. I know they needed the money to engorge Alcatel-Lucent... And I do think it was a good plan to divest of HERE on top of the self-driving car hype wave.

But I think they executed that a bit ahead of time. Peak hype is still a few years away, and the mapping property is unique in the world (nobody else would sell theirs). Meanwhile Nokia was selling from a position of weakness following their near-death experience in the mobile phone market.
XQuartz works just fine
You don't even have go to Albert Park for the Grand Prix, you can hear it from the CBD! ;)

But I concur, I have never seen a city where all the major amenities are all so closely located to the city center, it's fantastic. Etihad Stadium, Melbourne Cricket Ground, AAMI Park, the Australian Open, Hamer Hall, Sydney Myer Music Bowl, State Library of Victoria, Melbourne Museum, National Gallery, Queen Vic Market, Federation Square, Birrarung Marr, Royal Botanic Gardens, concert venues, theatre district, Chinatown, Greek precinct, Little Italy, Little Saigon, University of Melbourne, RMIT, Docklands, South Melbourne Market, the list goes on and on...
Right, but it's worth mentioning that factorization itself is not known to be NP-hard (and it's suspected not to be, by most, I think).

Also, as others have pointed out, the constants involved in any "generic" algorithm for solving any NP problem in Polynomial type may be astronomical, so even if it turns out that P=NP, then it may not ever be feasible to actually such any algorithm for anything practical.
Depends, I won't throw dirt around but the old invoicing software I used to use took a (albeit ridiculously small) percentage cut instead of a monthly fee, and the whole platform was entirely free forever.
For an example of a great UI (and a good CAD program) see solvespace: http://solvespace.com/index.pl

It has nowhere near as many features though. I think part of the UI problem is handling a huge number of tools and features like in Inkscape and Blender.
LeoFS: a highly available, distributed, eventually consistent object/blob store
Offtopic: How far are we from shortening this trip from 15 days to say, 12 or 10 days?

15 days is half a month. But if this could be shortened to 10 days, it is 3 regular shipment in a month.

For someone like Apple, this could be extremely cost efficient. Rather then paying the high price to book every single possible fright from China, they could now do it via train, at least to everywhere in Europe.
I'm quite sure it's not true. There are at least 2 engineers from the React team who have dropped out of "normal" schools/colleges in their first years.
I just fund out about Pinta yesterday - and it's a pretty nice alternative for folks who don't like GIMP UI.
ConstraintLayout: It Can Do What Now?
> Unlike a distro package you can also just -not- pipe it to the shell immediately and actually read it.

IDK about other distros, but for the one I use (ArchLinux) it's trivial to inspect the install script, and they (PKGBUILDs) are usually well structured and easy to read.
For CAD work get solvespace: http://solvespace.com/index.pl
As a VR dev I'm seeing a lot of users spending significant time in my game. It's, AFAIK, the longest dedicated Vive story-based game, so that might explain some of the longer play times.

(Left-Hand Path - http://store.steampowered.com/app/488760 . Horror RPG with a heavy Dark Souls influence).

But still - it's clear that there are a lot of people playing VR games consistently.

(I also play VR games quite a bit, but I'm just a single data point.)
The report shows far more than signs of intrusion - modules for credential theft, data transmission, persistence mechanisms, keylogging etc. were all discovered. I'd call that hostile.

I'm not sure I get your analogy, but no, I wouldn't expel anyone for "radar touching my planes", but in this case that's the equivalent of browsing the DNC website. If someone had broken into my airforce base, stolen security badges to get into other airforce bases, was photographing planes and stealing and leaking blueprints then you better believe I'd take action
Since you're looking for a desktop OS, you should test PC-BSD instead of pure FreeBSD.
> My experience is with Inkscape is quite different; it certainly doesn't feel intuitive to me.

You haven't even tried to learn the software and still open your post with a statement like that??

Maybe you should watch some tutorial series on YouTube first?
> Heroism is a virtue at some other companies; at Google, it's a sin.

This is not entirely true. I've seen many people being promoted for "jumping on grenades", especially in SRE. A culture of heroism is unsustainable, but individual acts of heroism (when required) should always be appreciated.
Common Lisp isn't a language particularly focused on FP, in fact, since pretty much everything is mutable, eager and dynamic, you might consider it downright awful at that. CL has more in common with Smalltalk than with Haskell or ML IMO. It's strength comes from a different way of looking at things: macros, a powerful live environment that's unmatched by pretty much anything, an absurdly stable spec you can rely on, one of the best approaches to OO I've encountered and an scary attention to details in certain parts of the language.

Because it's so flexible and multi-paradigm, you can pretend it's an FP language and maybe get away with it, but you'll have to bring your own bondage and discipline rather than rely on the compiler, or write a language on top of it that does that(check out shen if you haven't).
Even more perspective. Let's say hypothetically the salary difference came down to being able to afford to buy a starter home in London versus renting for that period. The tax free property appreciation would dwarf the return on the options.
Are you using a new version of it? The tool configurations migrated all into the toolbar, and when they require some extra panel, there's a button for opening them there too.

That's fixed. But last time I used it the gradient dialog was still bad (there's an "edit" button on that edit window that only changes one color, you must click on it) and I also could never make sense of symmetries.
I think he means to say the article is hyperbolic
Yup, or at least when you have access to a "closed timelike curve" which I think is close enough to what you're asking. See, e.g., this -- which is a transcript of a lecture given by the author of the survey article in the OP. http://www.scottaaronson.com/democritus/lec19.html

With the help of a CTC you can solve any problem in class NP in polynomial time; in fact you can do better and solve anything in PSPACE in polynomial time; and the capabilities of quantum and classical computers are the same.

(The last of those is a result due to Scott Aaronson -- author of the survey article in the OP -- and John Watrous.)
Sandboxing has proven pretty weak in mobile products (definitely in the case of Android; the iOS sandboxing has had a better track record).

Additionally, not all malware needs to escape a sandbox. For instance, there are a bunch of fake apps that simply capture credentials, or that make expensive phone calls or texts.

A well-run store that can run tools against images is a decent first line of defense against malware. A store also provides reliable information about code publishers. These are not a complete defense, but they appear necessary.
> ... making every building strong enough to withstand a nuclear war and calling anything less "unsafe".

Yes. Except the equivalent in software is using something like Coq, where your intention is proven to be correct. (You even mention provably correct software in the next paragraph...) And yes, it would be awesome if we could prove every program, because all we would be doing is proving that the programmer's intent is correctly coded into the software, which doesn't limit freedom of expression at all. (I would argue that such is actually an even stronger form of expression, as it's afterwards impossible to misconstrue your intent.)

> Given that there are attempts at even prohibiting Turing-completeness[1][2], I would not be surprised if that eventually happen...

Rust is not one of these, and no one but you seems to have this in mind. So it's a bit of a strawman to be throwing it out here, no? But yes, obviously such a language would limit your freedom of expression.
Yeah I saw that article at the time, though I didn't read the comments carefully. Good reminder.
Aside from the name, I love HERE on iOS. It's easily my favorite navigation/maps app.

The UI is simple, quick, and looks much better than either Google or Apple's offerings.
Even the basic rucksack optimization problem is NP-hard. I'd dare say that a huge class of optimization problems maps very naturally to this particular one, https://news.ycombinator.com/item?id=13316776 for starters.
My Ergodox arrives tomorrow. A little nervous but keen to migrate from a Microsoft Ergonomic to a mechanical with programmable and macro combos.
I took a look into linux recently, as a Mac user for the past 10 years. Ended up buying a Chromebook to mess around with it and it is pretty nice, but desktop linux is still missing so much software that I use regularly in macOS.

Also, finding suitable notebook hardware to run linux on is still a nightmare unless you enjoy spending time debugging the device that is supposed to improve your productivity. All the unique hardware is missing drivers (SP4, surface book) and things like touch screens and wifi drivers across more "normal" hardware is still finicky.

My main gig is iOS dev, so I obviously can't completely swap, but there just isn't any comparable hardware out there that can just run ubuntu out of the box (minus some exceptions like that dell developer edition xps.)
Especially since most cop shows these days are just "murder of the week" drivel. I would like another Barney Miller type of show.
Now they notice? Voter efficiency (the number of voters needed to get a legislative seat) has an all-time high partisan divide, especially thanks to gerrymandering designed to ensure the party in power in 2010 can just win everything this whole decade. The two "political parties" have effectively become regional groupings that set rural against urban.

The term "working class" has been racialized and regionalized to somehow refer exclusively to white people in rural states, even while non-white and/or non-rural people work most of the low-wage jobs in the country. Meanwhile, actual class politics is regularly preempted from above, preventing localities and states from improving their labor laws, health-care programs, or the like.

Norms around the Senate filibuster broke down years ago when it was changed into a mere procedural maneuver that allows for blocking literally anything without a supermajority. The bargaining process of nominating Supreme Court (and federal court) justices has turned into a stonewall.

Oh, and most so-called ballots in the United States don't actually have more than one candidate for each office, which contributes heavily to the >90% re-election rates for incumbents.

In short: we live in a de facto one-party state, with the only real variation being whether the Blue neoliberal capitalist party or the Red authoritarian nationalist/identitarian capitalist party has one-party control where you live.

And now the New York Times call it a threat to democracy?
This is why I moved from Linux to OS X. However, dear Apple are getting me concerned about their future because:

1. The main innovation in the newest MBPros is... an Emoji keyboard accessory? Okay, that might actually be useful but:

2. Worse, said newest laptops have battery issues to which Apple responds by removing the battery ETA indicator? That was actually useful since I knew how much battery life I could rely on while doing the same task.

3. Since 2013, they don't have a desktop for desktop (not web) developers any more.

Minis are too underpowered, iMacs are noisy under load and who knows how long they will last when kept heated the whole time, the Mac Pro is a video editing machine and little else.

Right now I'm doing fine with a MBPro and a hackintosh, but if they keep making dubious decisions about the laptops and not offering a developer's desktop, I'll have to consider Linux again.
> If you could die using your real name on an internet service, you are much better off not using that service at all

Classic. "I'm not at risk, so we need not change anything. Your behavior is therefore at fault."

> Use of a particular service or website is not a human right.

Of course not. Would you say that being able to freely live your life without threat of death (as you most likely already do) should be?

Allow me to extend your conclusion:

- People harass me at the laundromat because of my appearance, to the point where I fear for my life. "Don't go to that laundromat ever again." OK, I'll now have to go 30 minutes out of my way every time I need to do laundry. And suppose that this other laundromat is no different?

- People shout threats at me at the grocery store. "Don't go to that grocery store." Or, better yet, maybe I should just perfectly change the color of my skin and facial features to match theirs, so that the problem is solved!

I know you guys are going to hate this, but this attitude is precisely what is meant by "white privilege." Please let me know if I am misunderstanding your attitude, or what you think about this.
1Password Using Intel’s SGX to keep secrets even safer
Same. I'd never trust Kickstarter for anything worth over 10$
I worked for a public healthcare company with a lot of red tape and new development in Visual Basic as recently as 2012, that also had developers leave and come back.

Reverse attrition doesn't mean anything.
It often happens. And they generally try to hide it by claiming it is some sudden fatal illness that appeared right at that moment.
Package managers on Linux work better than brew IMO.

I used Linux on the desktop for many years (1994 to 2007) and until now on servers, but I have to disagree respectfully. It's great that on macOS package management of third-party software is decoupled from the OS. It means that one can upgrade third-party software (per Homebrew) without upgrading (and potentially breaking) the whole OS. On Linux, it is normally a choice between a stable OS and stale software, or fresh software with an unstable OS. Of course, things like Snap, AppImage, etc. are changing that.

I found it easier to rebind keys in GNOME than Mac OS.

More important to me are consistent shortcuts. On macOS virtually every native application uses the same keyboard shortcuts. With Linux it's all over the place.

Are there many truly Mac-only apps these days?

Yes. Omni{Graffle,Focus}, Little Snitch, TweetBot, etc. And then there are many applications that are only available on Windows or macOS, besides Adobe software, the Affinity apps, Microsoft Office, 1Password, etc.
Show HN: Avoidting – Avoid meetings by appearing busy
That could be a glorious thing.
I think a better indicator would be year over year changes in sales- but you also have to figure product cycles into that.
I don't think I could work in an open plan office. I just can't concentrate well enough to do really good work in an environment like that.
The Trello clone.
Yes you are: s-expressions, i.e. code and data are represented the same way, which makes it easier for programs to manipulate code. A language could be created that combines the type system of Haskell with the syntax of Lisp. You would trade away a bit of the human readability that the Haskell/ML syntax gives you.

Also, as you have probably seen in other discussions, some people believe dynamic typing gives them more flexibility and power, and they find the Haskell type system frustrating. My perception is that it takes a lot of discipline and deep understanding to make Haskell work, and that's not for everyone, but I won't argue that it's not worth the trouble. I think you will always find some people who prefer discipline and others who prefer flexibility. Each approach has its advantages and difficulties.
> You have to realize that MacOS, Windows, even typical Linux Desktop is not an optimal environment for a professional programmer

It is pretty subjective though. And what you can create is pretty much irrelevant to what platform you are using, it more about your brain.
> Have you see the crap (including Nokia and Sony) that passed for smartphones before the iPhone and Android devices came along?

I have to disagree with you here. The first iPhone was awful and the smartphones and PDAs of the time were in my opinion way ahead of the iPhone. I will concede that the established players failed their market, as people in general (as opposed to techies) wanted a sleek device with nice UI over the features that people took for granted until the iPhone.

I know it's not to be taken seriously, but this neatly expresses my opinion at the time the iPhone came out:
http://www.thebestpageintheuniverse.net/c.cgi?u=iphone
I'll be very blunt: In situations like this, they are far far closer to the code than an armchair observer like you. I trust their engineers far more than I respect your pithy complaints.
Why I Dodge Speeding Cars to Save Rattlesnakes
Deep learning: building a cow detector