skysight-inc/HackerNews huggingface dataset:
This is a good point, I didn't know Alan Kay had said this.

Logic can sometimes be used to describe (to model) some minute aspect of thinking. But it is nearly always a massive simplification, discarding much of what happened during the thought process.

A couple of similar examples that might help:

- Thinking is not arithmetic (but arithmetic can be used to describe the result of some thoughts about stuff.)

- The solar system is not computing anything (but we can use the patterns as a though it were a program executing a timer/counter).

A related point is that thinking is not "executing an algorithm on a Turing machine".
That makes sense. Thanks. I wonder what thing will be like after people have had 10-15 years of daily music listening through earbuds.
The problem is that I'm a developer on a team of six. And my site is used by another five or six teams. It's a little tools site that does various SQL queries and such against databases other teams don't have access to. They're not going to allow me to push my signing certificate onto everyone's computers. I'm very low on the org chart.
A bit late to the party, but I will chime in.

- Every developer out there at some point in his / her life felt the same way as you do. Likely more than once.

- There aren't many developer who can look at their own code written 5 years ago and be proud of it; may be if you are John Karmack.

- Being able to write beautiful code is definitely valuable, but being able to make a product is even more valuable.

- The programmers you mentioned are kind of by definition exceptional. Otherwise they wouldn't get your attention.

You are not missing anything. You are just like the remaining 99% of us. And it looks like you are already trying to get better - so you WILL get better. Every piece of code you read, every book you read, every time you get a code review - you will improve a little.

Sadly, there is no formula to turn an average person into a prodigy. So don't beat yourself up.
Not all uses of extra resources are bad. A “good” use of CPU or memory is any added safety such as guards against memory corruption, extra checks at run time, cryptography, etc. It may also be that in order to add sanity to web browsing, E-mail, etc. you must devote cycles to spam detection or removal of other unwanted content. Some of these things are only being done now because computers are finally good enough.

Unfortunately, there are plenty of wasteful examples too. One seems to be pure laziness. There are programs, I’m convinced, that have some kind of gigantic VM in them just to ease porting efforts; probably emulating half a damned operating system just to save somebody a few weeks of coding (heaven forbid they learn something new about each target OS instead of just trying to make a quick buck). It’s disgusting on the desktop but even worse on mobile where every short-cut by a developer literally cost users money in data, battery life, etc.
It's not my industry, but I've been thinking about my health habits and a WaPo article made me realize I don't even know what a healthy weight range to target is[1]. BMI ignores bone structure and muscle and the most popular/affordable body fat estimations are +-10%. Is there something else out there to help make an individualized weight goal? Or any other health goal?

[1] https://www.washingtonpost.com/news/wonk/wp/2016/12/01/nearl...
Nice: so many we's in the last paragraph.
I think part of the frustration with the new MBP is the realization that the alternatives are kinda shoddy. The "state of Linux on Mac" article that hit the front page recently was really a reminder about the attention to detail that makes Macs great. Whereas other manufacturers keep dedicated GPU framebuffers powered up even when using integrated graphics (because the display is connected to the GPU), Apple connects the display to a custom multiplexer so the dedicated GPU can be completely powered down. Thunderbolt controllers draw 2W at idle, so Apple implements a non-standard ACPI function to power the chip down when nothing is plugged in.

I've been looking to replace a 2013 15" rMBP and nothing else fits the bill. I can get a T560 with a low-power dual core CPU that weighs almost a pound more when you configure it with a battery as big as the one in the MBP. Or I can get an XPS 15 where you can either get a Retina display or 10 hours of battery life, but not both.

Surface Book comes close but it's only 13". And Microsoft had a ton of execution problems with power management and sleep. Apparently building a good laptop is really hard. Even Apple seems to have fucked up power management and GPU integration in the latest MBP.
> Why would I want implicit laziness everywhere?

For the same reason you want automatic memory management: so you can fob off the job of figuring out where the thunks should go onto the compiler, just as you fob off the job of figuring out where the calls to malloc and free should go. At least that's the theory. It seems plausible to me. I think it's an open question whether my failure to grok Haskell is due to a problem with Haskell or the ossification of my brain.
They do, which is why, for my personal list, I have an addendum: "and a future for the model line." The non-touch-bar Macbook Pro has no future and after using the touch bar I really don't like it in a way I've never had an Apple product bite me. The reason this matters is that I'm at a good point in my professional life to switch away from Apple and to fully Linux for development and Windows for Adobe and other media tools--which is why I probably am going to.
Thinkpad X1 is a great machine, have you used one?
Well, to be fair, clickbait and yellow journalism far far predates Buzzfeed (e.g. Hearst's apocryphal "you supply the article and I'll supply the war"). And the muckrakers were also click baiters.

But I see your point.
Doesn't the XPS 13 come with Kaby Lake? My understanding is that the new MBP does come with the previous generation.
Safari has an awesome runtime code coverage profiler
I'm also not thrilled with the current round of Apple hardware. The main thing that will keep me on MacOS for this round is that I really like the extra modifier key. Dropping it means I have to change up all my keyboard shortcuts and/or reconfigure everything to use the windows key as super or hyper. I'll overpay this round and see what's up in 5 years.
Don't just ignore, mark them as spam, especially if you're using Gmail or another big email provider as this will train their spam filters.
But isn't that exactly what Chapman is saying? That there is no RIGHT answer, that there is no certainty, that each view has merit but isn't universally true, etc.
Thank you for the feedback! Yes and good point, it dawned on me after I posted this that the intro page has basically only served as a placeholder during my development. I'll fix that!
You may be right. You are missing something.

The way to build big things is to build small things right. Small functions/classes that work correctly, no matter the input. Next up, you wield them to build up a layer and so on. Long story short, you may be missing the concept of abstraction. I say that because you mentioned code interactions; that tells me you are looking at things so closely, the bigger picture seems much larger than it is.

Also, understand that people have different perspectives; that they came up because of some random events. It is a mistake to think people who do a lot of work, think a lot. They don't - They usually have a simpler/more powerful perspective than you have ie, they refactored the thinking required to do a job into smaller number of steps. This is what chess players or the mathematicians do.

Also, you may be aiming too high without background knowledge.
An object cache layer for SQL?
- Who said this was easy?

Automatic code gen via YAML?
- Did you write a toy interpreter before?

MIDI over Wi-Fi? Audio destuttering?
- I don't even know what those mean, and Im working as a programmer for more than 10 years, and now in a "big" company.

Do you read a lot? Many of the successful people (coding or other fields) do

May be you can start by reading SICP. It certainly cleared a lot of cobwebs for me.
That argument is too broad, because it could be used against /any/ effort to get code into the kernel by a large corp.

Linux is no longer in the weak position it once was. It has won the war for server market share (at least to a degree where using it has nothing to do with being a "hippy" programmer), and it has lost the desktop war so thoroughly that at this point it really doesn't matter anymore.

In this position, Linux can live without AMD drivers, probably more so than AMD can.
You should maybe learn a bit more about OSX and Ubuntu first.

Sierra is the latest OSX release (so not sure why you are talking about El Capitan). Apple deliberately broke up the OS into a lot of smaller processes to help with scheduling and isolation. It's a good thing. And given they are background daemons not sure how they would clutter your screen or distract you. As for ZFS you can use OpenZFS.

And Ubutnu has APT which is what Homebrew was based on so it should more than meet your needs. And as for drivers I've never heard of a situation where fans weren't working in Ubuntu.
Is there a business model behind it or just prestige? These types of articles definitely lose money for BuzzFeed.
> Thunderbolt controllers draw 2W at idle

Shit, seriously? Do you have a cite for this? 'Cause that's wild.
Yes, but they also said:

>I want a stripped down OS X, there are so many processes on El Capitain that just take up memory, distract me, and clutter my screen. I want zfs, not apfs.

I've lost so much time to wrangling with OS X to get it to behave the way I want, to get it to do things that would be trivial if I were running Linux. The two biggest reasons I've stuck with Apple are hardware build quality and the fact that Adobe CC is not available for Linux.

>Apple literally sells this configuration

The new macbook pro without touchbar is only available in 13 inches (which is the preferred form factor of many/most but still, it's a limitation), is only available with a slower cpu/gpu/memory (no really, even its i7 option is slower than the i7 option of the touch bar model--I have no idea why you can't just get it with the same internal hardware as the touchbar model), and only has two USB-C ports as opposed to four. For reasons I do not understand at all, it's very clearly a second-class product, which is a shame because if it could be upgraded to be otherwise identical to the touch bar model I would probably get one.
I suspect that as early as the next version, they’ll add tactile feedback to the bar; they already know how to do it, they probably just made a judgment call to release on time. With that addition the bar would feel essentially like a keyboard and solve the biggest issues I think.
I'd prefer to see NVidia style drivers, personally. I don't give a rat's beans if optimized video card, nic, etc drivers are open.

I just want a system that will work properly without them. Not 60FPS on Ultra settings in <game> work, I mean boot and function as a normal user's desktop.
I for one can attest that there are times when I'm feeling down and some large drinks from a pepsi does make me happy. I get a high from it. I believe it is the gas bubbles that give you that rush.
>The problem is that programming is so attractive because the barrier for entry is so low that anybody can get into it without problems.

I'd wager that it's easier to be a quack doctor or a lawyer than fake being a programmer. Most people cannot just grasp the needed details.

Not that it's a competition, though.
Off topic: Would it be possible to get updates on your project? I've seen your comments regarding it, and I'm quite intrigued!
Inmarsat uses a Lisp application (G2) to monitor their satellites and to provide a high level overview of the status of all Inmarsat services in real-time.

http://www.inmarsat.com

If you would run a Cement plant, an oil pipeline or a coal terminal in South Africa, then you might also be using G2 to control and diagnose technical processes in real-time.

The product used, written in Lisp:

http://www.gensym.com/wp-content/uploads/Gensym-l-G2.pdf
I wouldn't consider purchasing a laptop with a non "retina" screen in 2016.

Back a few years ago when I bought a 15' retina pro the leap in usability was tremendous. Other laptops' screens and displays looked terribly outdated in comparison.

Give me a slower processor, even a smaller hd - but I need the super-high-res screen.
You might want to find an audiologist who knows how to diagnose/exclude Central Auditory Processing Disorder. It mimics some ADHD symptoms that aren't specifically hearing related, but also has as a hallmark not being able to separate foreground from background in noisy places and "hearing" people but not parsing the speech.
Does anyone use linux on a laptop and mind mentioning the battery life they get? I joke that I'm trapped by apple because it's the only way to get battery life and POSIX on the same machine.
I've also been looking for a replacement to an aging ThinkPad. My favorite option right now is the fashionably boring p50 from Lenovo. It's heavy and ugly. But you can get it with Xeon processor, multi TB drives and 64GB RAM.

Swoon.
Not necessarily: your browser caches a different version of font-awesome for each website you visit. There's no way for it to tell that site1.com/static/font-awesome is the same as site1.com/resources/font-awesome until it makes the HTTP request and downloads it.
“Idea Makers: Personal Perspectives Some Notable People” by Stephen Wolfram
No, for a long time starting with the new deal, we had high finance with a much less toxic culture. The change happened because a bunch of conservative politicians persuaded the government that high finance is natural self-regulating and so it would be just fine to gut many of the key regulations. The crash of 2008 was one consequence. And Trump is very much on the financial deregulation side.
Indeed. I've got a set for range use and they work great (esp. on outdoor ranges).
Hmm... first this looks pretty, and free is nice. That said as I recall sweepstake/promotional contests laws are a kinda crazy patchwork, both in countries other than the US, but also within the US.

Restrictions don't just differ state by state, but industry by industry, and age of contestant, method of entry, and value of prize are all relevant.
You missed the bit where AMD chides kernel maintainer for attacking AMD's corporate culture rather than technical merits, and then goes on to chide maintainer culture in the same paragraph.

And it's not even true what AMD says - that to commit to the kernel you need to be a funky part-time hacker or an immense behemoth. There are tons of small hardware shops out there with drivers in the kernel, written by paid developers. True, a graphics card is much more complex than any other appliance, but the characterisation is extremely wrong - the most active part of the kernel is the drivers, and they're not written by "redhat + movie-style hackers", but largely by the companies that make the hardware.
Weird. People were complaining about those models too.

And I honestly think Sierra is a great OS and improving with every point release. I am on the final beta for 10.12.2 and it's by far the best OS release I've used so far.
Spoiler Alert: Artificial Intelligence Can Predict How Scenes Will Play Out
There isn't a combination of laser scanning and/or structured light projection scanning that can accomplish this? Or is it a speed/quality control issue of the output?
Eve's player-based economy is really badass, to the point that they have an economist on staff to generate reports like these. CCP found a great way to combat RMT (real money trading) rampant in MMOs where you buy in-game currency with real-world money with the introduction of PLEX (aka Pilot License).

Basically, you can pay ~$15 for an in-game PLEX, which when "used" adds 30 days of game-time to your account subscription. But this is an in-game item just like any other, which means it can be bought and sold in the in-game markets for the in-game currency (ISK).

Hence, it gives a legitimate way to purchase in-game currency with real-world money, without inflating the economy (because no ISK is generated and added to the economy at any time during this transaction, it simply changes hands until the item is "used" and therefore destroyed). In addition, it allows dedicated players that are cash-strapped an avenue to play for free by using currency acquired in-game to fund their subscription.

It also had the side-effect of giving an approximation of what the virtual exchange rate is between dollars and ISK, which makes for very attractive headlines when larger ships and assets get destroyed in the game.
Not everyone who robs a bank ends up in prison. That parenthesis about being careful enough was not an accident.

But by all means let's replace those examples with others where it's less surprising for the actions in question to be optimal. A politician voting in ways that they know aren't best for the country, because they know it will help them walk into a nice job after they leave office: optimal for the goal of getting a comfortable life. This makes no difference to the point, which is that "It was effective for his goals" is no defence against a complaint that's about values rather than effectiveness. hellofunk was not accusing Schwarzenegger of acting ineffectively, but of acting immorally and unpleasantly, and "it was the most effective way to get power" is simply not responsive to that criticism.
Not sure what this solves. I'm a huge proponent of Bitcoin/Blockchain, but how is this a better solution than say, one centralized national database?

Blockchains are useful in situations where centralized trust can't be established or would be less valuable. If you can't trust the government that's running the election process, how would a blockchain solve that?

Too many blockchain proposals just boil down to building a slow, expensive to maintain database.
Don't hate on the email outreach because it's automated. If your going to hate it, do so for sincere reasons: namely that you're not interested in their services. And, if you are interested and you reply, then you should be grateful they reached out to you.

I wouldn't mind an automated message if they had something I really really wanted. The problem is, 99.9999% of the time, automated message or non-automated messages aren't offering me anything I actually want.

Case in point: if an automated message offered you a mansion in your neighborhood for sale, at 200$, would you really be upset that the message was automated?
Do we know that they don't mind doing it? I suspect most people don't like it, but do it anyway, because they see no practical alternative. People sure complain about Facebook a lot.
I run stripped mirrors with ZFS. 2x2. RAIDZ is simply to slow in comparison. Like A LOT slower. Ill just eat the storage loss with mirrors. Disk is cheap.
seriously, been using it for years, one of my favorite tools
P.S. I'm sure you've looked into it but any plans for graphing capabilities?
>should never be for profit.

That may be, but -- as other commenters have noted -- the definition of "for profit" is colloquial and subject to concept creep. A more specific prescription (heh), I think, would be that medical care (or at least involuntary care) should never be subject to fiduciary duty in the sense of Dodge v. Ford.
When I realised the cheapest 15' retina pro no longer included a dedicated GPU I was forced to look for alternatives.

I liked the idea of a touch screen and a believable stylus input - got a Surface Book with the dGPU - pretty happy.

But yeah it's 13'
https://www.youtube.com/watch?v=N8K18S_RNEQ

This video shows how grid bombing was done, sadly i don't play EVE anymore it's a great game lots of different Players/groups
It's not tactile feedback, for me. It's that I can't touch-type on it because there are no keys. I really do want function keys, not widgets, for how I use a computer. I don't look down at the keyboard when I'm typing, I'm not going to want to do it to change brightness or volume or whatever, to say nothing of trying to send F-keys to parallels or whatever. And I also use vim. Blindly mashing at the top corner of my keyboard and having to wait until I can register "OK, I'm in command mode now" from the status bar was gross.

I think that the Touch Bar exists only and one-hundred-percent because Apple doesn't want to hurt the iPad. It doesn't even theoretically offer improvements over an on-screen toolbar with touch capability.
> I'm surprised nobody here seems to care.

I'm going to get skewered alive for saying this, and I do believe their intentions were noble, but I honestly think Let's Encrypt has done a lot more harm than good.

It's completely deflated the opposition to the CA racket, but not given a comprehensive alternative.

There are servers that can't run certbot for a variety of reasons (including administrator policies that people running the webservers can't control.) The 90-day expiration is the most arduous of any CAs out there by far. Not only are there no wildcards, but there are strict limits on the number of subdomains you can register per week.

And if you don't like it ... too bad. There are zero free alternatives.

Most of us are hackers and can work around these limitations, but not everyone can. You can't expect most people to set up certbot, let alone write their own version. You can't expect them to build some system that automatically batches and registers new subdomains and maintains all those certificates.

> I guess HN is popular with techies who have root access on their servers

That's a lot of it as well. I'd go so far as to say the majority of internet sites out there (by number, not by traffic volume) are little commodity hosting firms that give you a web GUI version of an FTP client, and maybe if you're lucky charge you $10-20 a month for SSL as a checkbox feature in the payment options.

> At this point though it's very unclear how Google will find those "insecure" password fields.

It will probably just look for <input type=password> and if that exists, show the "Not Secure" message.
You are overlooking a crucial fact: very often people who want to use Lisp are not allowed to by their management precisely because "no one uses it" and so the experiment never gets done.

I was the lead engineer on the first release of AdWords. I wanted to write it in Lisp, but I was not allowed to, being forced against my strenuous objections to to it in Java. So now AdWords is a Java success story rather than the Lisp success story it might have been not because Java is better (it certainly wasn't -- it was a disaster) but because my boss issued an edict.

This has happened to me many times in my career. The one time I was actually allowed to use Lisp in a project that I did not have direct control over (the DS1 remote agent) it was an overwhelming technical success. In fact, management tried and failed to get the software rewritten in C++, so this was actually a controlled experiment.
http://en.wikipedia.org/wiki/Kids_for_cash_scandal
Awkward person who was in the video here

The issue you're looking for (since an ask for HKTs typically means that Typeclasses are the ideal feature) is here: https://github.com/fsharp/fslang-suggestions/issues/243

Please leave opinions, commentary, and vote if this is something you want! F# language design is done completely in the open, including motivation for features. Thanks!
Do your part and mark these as spam. If enough of us do it, the emails will stop, either because they're in spam now or the marketers learn better.
(IOS only)
Came to the comments to say this. Slightly awkward use of cheap classical marketing tricks, for such a big company.

It may still work for emails, because people might be unsure of how many mails are actually sent out, but this is cringe in 2016.