skysight-inc/HackerNews huggingface dataset:
Adding to what tel said:

Alloy will tell you where things are over or under-specified. You can ask the system to generate you scenarios in the "world" so you can see a graphical representation of states. You can test/check your assumptions or operating criteria against the structures/rules of the of the "world" and it'll find and show you counter-examples where things fail. I especially like working in Alloy because it's incremental and interactive, like a REPL for you design work, providing some of the benefits of property-based testing in the design portions of creating your system. Simply put: It helps you think through and explore your design!
It's unfortunate that so often the constitution is defended in cases where there's clear wrongdoing, but I sure hope the fourth is upheld, and law enforcement learns to - and is forced to by court rulings - knock it off with massive orwellian surveillance
Are there languages that model proofs as pure functions? I.e. instead of modifying some implicit state, you pass existing proofs as arguments to other proofs that define these existing proofs as assumptions to itself.

So, a proof would be a pure function, taking a number of assumptions as arguments, and in order to write this proof you must first pass proofs of the assumptions to it as arguments (and then you can reference these proven assumptions in the body of the proof when needed).
If you make your content only available for paid subscribers than it doesn't get talked about. If you don't get talked about you lose the importance of being the so-called "newspaper of record". And if you don't get talked about you lose the new subscribers that come from word of mouth. In the old days there was just a few options available in a city and a handful of national papers. Today there is an almost infinite selection of available content. They also had the classifieds. This allowed business models that are not possible today.
Nah I gotta be honest. I didn't really try at all.
This is a very good article, and certainly has a lot to say about being self-taught.

I started developing like this but I went for the college degree after, and there is a lot to learn in academics that self-studies will not bring to your attention, so you cannot really say that you don't need to go to college if you don't know what you missed.

There is coding, and there is coding. There is a huge difference between javascript and websites and embedded programming or compiler building and optimization. There is a big difference between a program that runs, and a program that runs efficiently. There is a big difference between my portfolio website and a bank customer service website. And there are many more differences if we slice software development in many other contexts.
A brief history of computer icons
Is there a pdf version of the slides? slideshare blocked here.
Ah, pardon my imprecision; gambling, unlike reproduction, does not have any expected benefits for its sufferers.
The Japanese were in Nanking as part of a strategic decision to bring the war to a quick end, does that justify that massacre of civilians?
Also liked this one (referring to sicp too):https://www.amazon.com/gp/review/R2C7L5KHUVHOR2?ref_=glimp_1...
If you get them crammed into one hour then yes. In your own time they are quite easy. I required a bit of tutor support if I'm honest but if you can get over the basic calculus hill you will be fine. There's a lot more material out there to support you than there was in the mid-1990s! No having to fight for the last copy of referenced text in the university library either.

I have literally never used anything I learned on that part of the course however.
He didn't design it to exploit later adopters, he designed it so that the output was consistent regardless of the network size.
The Millionaire Next Door is a good read on lifestyle choices and changing perspective on what it means to be wealthy.

Random Walk on Wall Street is a great book on investing (spoiler alert: index funds).

I actually really found value in Tony Robins’ book on finance, even though it’s couched in a bit of an infomercial style. (And he advertises for some of his own companies, albeit transparently.)

You Need a Budget (the app / company) also made me think differently about budgeting. But, I still use the old version of their app and have no idea how well the new web-based version works in comparison.
How to Exclude Mortgages Paid by Others from Your Debt-To-Income Ratio
I agree.

I started programming at ~12 (early 90s). My jobs where limited until I went to uni (graduated at 29).

The actual coding taught at uni was minimal and outdated, and I wouldn't trust some graduates with a calculator. If you're good at coding, then you'll probably know it before you enrol.

But with my degree I was able to progress out of the sweat-shop type places.

It's hard for those who haven't been to uni to understand the benefits of it. It's more than just "experience vs study".

Here's my challenge to those who are "self-taught" (like I was): If you think you're so good, then why not enrol? (even P/T)
They are moving toward 1 billion USD in funny illiquid non-money. Try actually moving all that out of ETH and get back to me.

They will however manage to extract something... probably millions. Then you will never hear of EOS again.
Wow, I haven't seen that before! Just stunning how distorted the Guardian's editorial board has become.

Their hatefulness must have become so deep seeded that they are unable to tolerate anyone out there who does not wanted to get instrumentalized by their 'either you are with us or you are our enemy' crusade.
> Also invest in your life insurance; Usually you pay about 20-30 years then you get money just like social security (and some you can cash all with a big bonus).

Some of your other points I agree with, others are debatable, but this here is just objectively incredibly bad advice. A life insurance is one of the worst investments you can possibly make: You'll pay huge fees (hidden, of course) and get very limited returns (far worse than an average stock) just for the peace of mind of not having to see the value of your investment go down (which should not matter over a 20-30 year timeframe).
I take a issue with her post. Let's break down her "daily life":

* Streching 15m a day.
* Watch online courses 2h a day.
* Personal projects 4h a day.
* Read 2 articles, let's go with small articles without too much techical detail, 30m in total a day.
* 5 Code Wars Kata, for them to be of any value, 10m at least each, let's call it 1h a day.
* Sleep is important, so we say 8 hours of sleep and at least 1 hour getting ready.

This totals to 16 hours and 45 minutes. Add a commute and a work day and you are past 24 hours. And I haven't even mentioned the healthy food she wants to make - getting groceries and cooking takes time. 1 hour every day is not unreasonable either. So far this workweek needs to be less than 30 hours for her schedule to work out, probably closer to 25 hours.

Lets put this into the context of a carpenter - do you expect them to spend nearly 8 hours a day of their free personal time, to improve on their trade? That is called personally funded education outside of work, and usually rewards you a title.

This post, indirectly leads to stupid requirements at interviews and burnout. Some of my best developers love to code, but they know not to spend every wake moment coding or something related to coding. All developers that have called in sick or left due to a burnout all worked on, and stressed over, big personal projects to show the world. Developers need to learn the difference between work life and personal life - the former cannot be allowed to consume all available time.
Which Digital Agencies do employees love the most?
> The Guardian way looks more like the Wikipedia one

Have any newspapers experimented with crowd-funding stories? This Niemanlabs report suggests none of the big names had as of Sept 2016 - http://niemanreports.org/articles/crowdfunding-the-news/ - wonder if that's changed?
Everybody knows about AIMA (Artificial Intelligence, Modern Apporach) but Norvigs PAIP (Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp) is also a gem.

It's elegant learn programming, history of AI, and simple old school Common Lisp in the same package.

AI methods include GPS, Eliza style chatbots, symbolic math, constraint satisfaction, logic programming, natural language programming.
Including the Spring-Cloud config server would have been interesting , because it has all the mentioned features, but is running on top of git. If you are on AWS, you can use one if the free CodeCommit repos.

The cool thing is obviously the spring integration, which pulls the secrets on app startup and overwrites or augments the values in the application.(properties|yml)

It can also run kind of serverless by embedding it in your app.
Because at the point he started the network the coins were worthless, he got paid less per block than someone who mines a block today even though the mining reward is 1/4 of what it was in 2009.
Makers or breakers?
An update on webassembly support for golang
My family of doctors and scientists definitely think of software as blue-collar work. Especially anything www.

My other family of nurses and factory workers definitely think of software as white-collar professional work. Especially anything www.

I think the same thing happens with engineering, except engineers have a bit more social capital due to their guilds.

More-over, the answer isn't static. E.g., a couple hundred years ago, we could've had this same conversation about whether carpenters or silver-smiths are laborers (or whatever other blue-collar-label-of-the-time).

But the answer also doesn't much matter. What matters is that your compensation makes you happy, will keep you happy in the future, and the work is interesting enough to make you feel sufficiently fulfilled (or the pay high enough that you don't care about that).
Tmux in practice: local and nested remote tmux sessions
World is a better place because of people like you.
Analysis of the Search UX Behind the Top 5 Cyber Monday Destinations
Support Vector Machine (SVM) Tutorial: Learning SVMs from Examples
An 11th hour rally for net neutrality
> On nights when it was just the family at home, we played card games and board games. We also went for bikes rides, went out for ice cream, went on hikes. We threw frisbees, played soccer and football, on the weekends, we'd go skiing, fishing, camping. We spent many evenings out with our own friends as well, once we turned about 7 or 8, and the neighborhood kids would all run around in a pack together.

I'm pretty sure I'm doing more of that with Facebook than I would without it. Hiking trips, cycling trips, spontaneous picnics, parties, trips to a concert - Facebook makes it easier to organise those things, and means you stay in better touch with people with more common interests. Pre-Facebook it was easy to do the common things that a critical mass of people liked, but much harder to do any kind of slightly niche social activity.

The time that I spend on Facebook is time that would have been wasted otherwise (mainly on my commute). It's not taking away from quality time.
Even if that were possible (and with this codebase, I don't think it is), I don't see any code in this function that would print the atom in such a case. It seems like it would just print nothing.
America is about to kill the open internet – and towns like this will pay
But I would want to sit twice as far away from the 48" screen, so that much pixel density isn't so necessary. (Actually, I have trouble actually picturing working on a 48" screen, the distance would be awkward...)
I bought the Kindle DX when I was in a masters program. I loved the screen. I did not love the PDF rendering speed. At times it could take several minutes to turn the page on a PDF.

Basically, any PDF that had vector-based statistical plots would bring the poor thing to its knees. I wished at the time that there were a large screen PDF reader with modest computational umpf.

Nowadays, it sounds like the Sony reader is great, but costly and the Remarkable reader wasn’t vaporware after all... but it’s similarly costly. $350 feels like the right price to pay for such a device. I have no idea if that price makes them worth manufacturing.
Agreed. People here act like, because you don't do CS research, you have a blue collar job.

I have some news for you folks, most white collar jobs (account, finance, etc) are more boring than a job as a enterprise CRUD developer.

If development is blue collar, then 95% of jobs are blue collar...
Just to put things into perspective:

According to [1], 25k/year is about 21k take home wages per year, or ~$1755 per month. $5.5k/year is ~$460/month, so you budget is essentially $1300/month for everything: living expenses, food, transportation, everything else. In other words, you’re living on what is pretty close to minimum wage.

I’ll leave it up to you to make your own decisions about that, but I question the practical utility of having a million dollar retirement fund when you’ve spent your life living a minimum wage lifestyle, even if you have the fortitude to save that much at those wages.

[1] https://www.taxformcalculator.com/tax/25000.html
I know the subject may be a little gross, but this sort of invention, assuming it works, could have a big reduction of household waste, as well as saving quite a lot of money for women. It's also worth considering how this may help in third world countries, refugee camps, or for aid workers and female service personnel deployed into areas where getting sanitary products may be more difficult.
Remarks on the Decline of American Empire
It doesn't explain whether the neuronal firings cause the subjective experience or visa versa.
Like the Ponte 25 de Abril vs Gold Gate case, is often used as an example of underselling, USA is so good at it, might be the movie's effect.
I feel like you haven't lived on $25k/yr, at least not without the help of student loans or family.

You take FICA out, some federal/state taxes, you've got less than $2k a month. That doesn't stretch too far in some places.

Also, since you're lower working class, you're not going to be buying in bulk. You're not going to be avoiding late fees. You're not going to have economies of scale available to you on a $100k annual income.

So, the ability to save $5.5k is much different for someone earning $25k vs $100k. I'm not saying it's outright impossible, but it will have measurable impact on lifestyle for the lower income worker, whereas not so much for the higher income worker, since each marginal dollar you earn provides less and less utility. But the first $25k you earn really is your lifeline to meet basic necessities in life.
That much latency would be annoying while typing.
How to Get Your Mind to Read
Show HN: Reddit-powered TV annotations
It's a start, but the real problem is that the data exists in the first place. Modern "surveillance capitalism" is the underlying cancer, and warrantless government snooping and targeted ads are just symptoms.
The Guardian is 'centre-left' and the most left wing (it's the only one that is left of centre) broadsheet newspaper in the UK [0].

I don't think your comment about hating Corbyn is that correct either. There clearly were some negative articles about him and there was a columnist who was attacking Corbyn but who has since apologised [1].

[0]: https://en.wikipedia.org/wiki/List_of_newspapers_in_the_Unit...

[1]: https://www.theguardian.com/commentisfree/2017/jun/10/jeremy...
They own Twitch. They want to expand the games market so there are more people to stream and watch games.
I don't think scarcity necessarily correlates directly to value. Land values are a good example. New land is not getting created, you can subdivide it down to small pieces, yet it's worth more in some areas.

Since Bitcoin is divisible down to a small fraction, and you can trade it for whatever price you'd like, it makes more sense to me for the two parties involved in a Bitcoin transaction to take some tiny fraction of a coin and use that as a token to transfer the value from one party to another. You'd convert fiat -> BTC fraction -> fiat almost immediately.

You would have the benefit of the decentralized network to make completing the transaction much easier, and by using a fraction of a coin you'd remove risk caused by exposure to fluctuations in the value of a whole BTC.
Ripple. Its more stable and is being adopted by financial institutions (AMEX being one of the biggest so far). I honestly think it'll be the first widely used crypto. Its a little different from Bitcoin, but I think it'll do well in the long run.
Ah I see. Makes sense. I wish all stacks of adtech can give high priority to performance. The current online ad landscape is an abomination.
You can find it in some supermarkets too, at least in Paris. There is even a chain of stores named after bellota that mostly sells it (and a little caviar too): https://www.bellota-bellota.com/en/magasins

It is, indeed, an exceptional product. IMHO, nothing comes close (in that category of products).
That's not the way the economics works. If they sell you a half price unit with a defect, they have potentially lost a sale at full price. So they don't.
It's not really a question of the church's "business". It's that I do not believe in God, and lying to people about something that central to their identity seems like a bad thing to do. I'm skeptical that I'd be accepted in the vast majority of churches as an open nonbeliever without continual attempts to "convert" me [1], particularly in the area where I live. I've heard of churchgoers and even priests/pastors who are atheists, but very few ones who are actually open about it to their congregation.

[1] Incidentally, it's not that I'm not open to changing my beliefs, it's that (in my experience) believers are aggressively awful at converting nonbelievers. In many cases they don't even accept that it's possible to be a nonbeliever, immediately falling into "angry at God" tropes.
Yeah, we have the same features with the strongbox-spring-boot-starter, it injects all secrets as properties on application bootstrap: https://github.com/schibsted/strongbox/blob/master/spring-bo...
Hmm. What about an escape mechanism for its people at least? Or scarce mineral resources that could be brought back?
The business argument isn't there. Drupal for example has over a decade's lead and a developer community and pace of innovation that no private company of any size can match, let alone a startup. They are now competing with the last man standing in enterprise, Adobe. Even IBM are MS aren't really in the space any more. For business lower end, you cannot compete with Wordpress for price and developer availability. For personal, you would have a very tough job to even catch up with the mindshare of Wix and Squarespace, let alone exceed the products sufficiently to take their market, which is super low value unless you can bag most of it. You mention security a few times - do you think any privately funded CMS has a dedicated security team covering both core and community code as Drupal does? I will bet you a bridge that a private company's development resources get diverted to adding features in favour of security to sell the next upgrade.

As for IA/schema, one of the major reasons to use a dynamic CMS is that you configure your own because there is no such thing as a generic 'good IA' for any non-trivial content (recipes are probably the closest but even there most schemas are too limited for professional use). If you are working off a fixed IA, you may as well just use a low end SaaS. Drupal is particularly strong in IA, offering nested object modelling, workflow authoring, content versioning (now including staged sets of content so you can version sections or hub landing pages).

You then need to start adding considerations like BigPipe, or offline first access with eventual consistency for edits, and how all these play with access levels for granular pieces of content which may sit within pages depending on who's viewing, ditto contextual content. These are just a few things off the top of my head which CMS's start needing to provide.

If I was creating something in this space, I might look at small serverless modular apps performing simple use cases in a very polished way which could be used alone, or very easily integrated with major CMS's (including building, maintaining, and promoting those integrations). But possibly better to look at SaaS layers which sit on top and address digital experience and orchestrate content from multiple backends across multiple front end channels e.g. gamification, recommendations etc. A lot of money there and few open source solutions. (Even something as simple as buffer which just publishes from its backend to major social media channels has very little competition and is quite expensive. I'd imagine something which could simply manage a flow of content to and from social media, sites, apps could do well, even before you started adding in any intelligence around that content and your users.)
How does SecretBox compare with Vault [0] or BlackBox [1]?

[0] https://github.com/hashicorp/vault

[1] https://github.com/stackexchange/blackbox
No, in Sweden you don't need to be rich to afford this. Perhaps the secret is, be born in Sweden.
I second this. It's interesting and informative to watch him break down programs and to see his code. Plus, you get treated to selections from his Hawaiian shirt collection.
What exactly is wrong with owning "only" one gun?
They list the current price of BTC at $2,456.15 on that page. Hope it's out of date and not the exchange rate they use ;-)
I'm 20 years old, and my story is pretty similar. I never wanted to go to college, because I didn't like the atmosphere and I never liked school anyways. Then I got interested in programming and basically obsessed over it and it was all I did. Then I got an internship at 17 for web development with some friends. Just recently I moved on to a larger company that I prefer more. I have enough money to support both my wife and I and more, no plans on going to college.

I know college is right for some people, and statistically and practically you'll get more money. But I didn't want to throw a ton of money and 4 years of my life down a hole when you can enjoy life just fine without college.
I think you've kind of missed the point the posters above are making. Facebook is impersonal. That's why it's convenient - it takes no effort whatsoever to share everything with everyone. As a result, the value of shared information to people who care about quality relationships is much lower than if two people deliberately communicate with only each other about something.

Put another way, if your family/friends can't be bothered to actually communicate with you one-on-one about things in their lives because it's less convenient than posting to everyone, then those relationships must not be very valuable. To those of us who care about maintaining quality relationships, convenience is a non-factor. I would much rather have lunch with a friend a few times a year than read their stream-of-life facebook posts on any kind of regular basis, even though the former is several orders of magnitude less convenient.
These characteristics are also annoying, but not "product-killingly annoying", for e-readers. So if they're going to be fixed, I'd expect them to be fixed in the e-reader space first, and then applied to laptops. Putting out an e-ink laptop before the tech is ready would just be throwing money in a hole.

I just wouldn't expect what's going to be essentially a mid-'80s word processor (Xerox Memorywriter, not WordPerfect) style user experience, complete with the screen with the really low refresh rate, is something that would sell.
> isn't too fussed about making more money than he already has

To be fair, he's already beyond set for life
Am I the only one who thinks that posing with code is really ridiculous?

Seriously, I can't read a word of what you programmed there, so what's the point?