skysight-inc/HackerNews huggingface dataset:
>It's something we can't prove

Edit: TL;DR: An axiom is not something that is provably unprovable, it something that remains to be proved.

Yet you assume the axiom could have been proved wrong by aliens, which would give the opposite of the axiom as new universal law, which would be paradoxical. Thus, the axiom couldn't be wrong nor right, for it's not a statement, it's a paradox devoid of meaning. If that's what you implied, I might as well just be missing how that is useful. I understand that Hilbert's axioms of Geometry work the same way, so I am not dismissing the idea of axiomatics. I'm just saying that the axiom defines space and time under the presumption of an understanding of laws. Thus I think, obviously the conclusion, universal laws wouldn't exist or could be broken is rather unpractical, to put it mildly.

However, I am not (ever) sure what I am even saying. So take it with a pinch of salt. On the one hand, if axiomatics are part of our logic framework for laws, an axiom couldn't a priori define laws. On the other hand, I'm tossing the idea around for a while, that our understanding of logic arises by proving itself into existence, so we prove axiomatics a viable framework simply by using it to axiomatize.

In the likely case the the previous paragraph is written ineligibly: all I am saying is, that axioms should be self evident, so it isn't really worth the many words, except as an exercize in formalizing unfinished ideas in a dialog. Just to see if get any immediate push back, in case I am wrong, or ignorance, in case the topic is really self-evident or absurd or whatever.
That's an interesting point. I've never tried to build it directly from source. I'm not sure if this actually addresses what you want to do, but maybe you could start with the prebuilt binaries and then do `stack upgrade`, which will fetch and build the latest release from source?

I will say that I won't touch the Haskell platform with a 10 foot pole. I had nothing but issues with it in the past and it drove me away from using Haskell for years prior to finding stack.
I agree that rolling back an image to a "known good" state is not the appropriate solution; if you can do it efficiently, what's stopping you from doing it very regularly?

Attacking a system that disappears and restarts on a regular basis is a nightmare for current attackers; it's not something that they have the tooling to deal with yet.

I believe some of these ideas were discussed by Dino Dai Zovi in a talk[1] he did which combined a whole bunch of rather out of the box ideas on defense.

[1] https://www.youtube.com/watch?v=_A6Y62AcQ2g
You aren't fortunate for only knowing people who are like yourself.
You can copy links as text (at least in Chrome): just right-click and choose "Copy".
If "low carb" and "gluton free" diets can be fads, then "fart free meat" can be a fad.

https://www.youtube.com/watch?v=dQBrhfN4uYc
I downvoted you because you talked about your downvotes.

Don't interrupt the discussion to meta-discuss the scoring system.
Los Angeles has a large homeless population, and, if this sounds unfair, well I apologize, but, a significant fraction of LA's homeless people smell bad. I'm not trying to criticize homeless people and I'm sure there are good reasons for that fact such as lack of bathing facilities and access to clean clothing.

If LA had a program paying cafes and restaurants a monthly fee to allow the general population (which would have to include the homeless) to use their restrooms, I predict that the vast majority of businesses would not participate. A restaurant owner would simply not want a smelly person parading through their dining space to get to the restroom.

In short, I don't see a way to make this work in Los Angeles.
It's interesting how much of a safe space some people want work to be, isn't it?
Show HN: A poor man's data pipeline
What do you think of the idea that learning to programming improves one's ability to think critically, but that doesn't automatically mean one makes better choices? Putting garbage into a decision making process will still lead the output of garbage.
> assuming that an attacker cannot break out of a container is, at least, optimistic.

Agreed. However as long as you don't look at it as your primary line of defense, it increases the cost to an attacker. And that's currently the best we can ever do.
For a more rigorous treatment (and many other gems on the border of highly practical and highly theoretical), see Richard Hamming's great book "The Art of Doing Science and Engineering", available for download from Bret Victor's website:

http://worrydream.com/refs/Hamming-TheArtOfDoingScienceAndEn...
Look, if I a company owns BAR.COM and they delete FOO@BAR.COM they could recreate that account. Any other service in the world tied to that address will be recovered, except Google's own service.

You have knowledge the account belongs to BAR.COM company, why not contact them? How about a warning to the person deleting the account, telling them that a particular GC service is dependent on it? You know exactly what you plan to delete, after all. How about requiring at least two emails on the GC account so that there is an escape hatch? Can you think of any other ways of preventing this disaster?

Yeah, I get it, the user should have avoided that mistake. People make mistakes, it's the fact of life. You have built a minefield for your customers and left them to sort through the carnage of the explosion.
Thanks, I guess. I don't mind at all.

Although, if you think I'm cool, you should probably know that I'm a highschooler, not somebody actually working in the industry.

I don't know if you care, or if that changes your opinion, but it felt like a relevant disclaimer to put beneath anybody saying really nice things about me based on my online presence.
> I know the whole hotspot JIT thing was maybe pioneered in Smalltalk though?

As far as I'm aware the ideas used in hotspot began with Self[1], which was also the inspiration for Javascript's prototypical inheritance. Strongtalk[2] adapted these to the class/instance programming style of Smalltalk, then Sun bought them for application to Java.

[1] https://en.wikipedia.org/wiki/Self_(programming_language)

[2] https://en.wikipedia.org/wiki/Strongtalk
I've written about this many times in responses here on HN. Removing myself from Facebook, Reddit, Twitter, and what not, was the best thing I've ever done. For any remaining sites, I've installed comment blockers, so I don't have a chance to get sucked into negativity. Someday HN will be on the chopping block, but for now, it provides real dialogue. There really is nothing of value gained from wasting time on those sites. Now I have more time to read, hike, finish personal projects, whatever I want. Dating since Tinder has been completely ruined. Relationships are disposable, while everyone is just looking for the next big thing.

I'm really looking forward to a post social network world. Though I fear something even more addictive, and destructive will come around.
Why do fruit farmers hire foreign labour rather than American labour? I suspect the reasons are similar even if the paperwork at the border is different.
If you read the article, you'd notice that this reference is made in one of the first few sentences.
Yes; that argument actually has to be experienced and no only heard.

In my experience, the parens nonsense comes almost entirely from programmers with no Lisp coding experience.

It's based on "that looks as if it might be hard to edit".
"poor refugees" is left-wing propaganda. Right-wind is anti-islam, terrorists...
if they keep it up then it will be beach front property before long...
It is useful and relevant. However, just because something is good for you doesn't mean it can't be used as a distraction from another task.
Because you are now selecting for that which is untreatable, assuming access to finance and an education of the parents are the primary factors in treatable deaths.

If that is the case the interesting comparison would be the rate for the populace excluding those people.
Corruption is a vague term, borrowed by old sayings.

Personality characteristics, like "The Dark Triad/Tetrad," do a better job of explaining tendencies for misbehavior.

https://en.wikipedia.org/wiki/Dark_triad
Have you ever had a legit email marked as spam by rspamd?

And is there a way to (manually) double-check those?
Bandwidth pricing, bandwidth pricing, bandwidth pricing for all the big cloud providers that charge by the bit rather than a fixed price; all of them are too expensive.
Yes, that's at least technically possible. On the other hand, there's enough work that I believe it very unlikely that anything would be rejected like that provided it works well with the rest of the language, and is reasonably documented and tested. I also know the people involved; we're more of the "You're doing the work? Let us hold your coat for you." persuasion.

The bounties are not large enough to pay someone to solve them. The ones that are fairly low value are likely to get picked off rapidly by the existing community by just focusing their attention slightly differently. The high value ones are in the class where you'd need a team of expert programmers to take them on, and would expect to be supporting them for an extended period of time; that can burn through $100k in pretty short order. (Yes, I'm working on that particular bounty, but I was doing so before the bounty was announced. I know how exactly difficult it is.)

IOW, these are all rewards for success, not pay for doing.
Instead of deleting or otherwise cold-turkeying, I've been experimenting with freedom.to to manage my social media usage. It has been pretty effective so far, though the mobile experience is still somewhat lacking.
Using LINQ to abstract Bitwise operations
(referencing http://news.mcdonalds.com/corporate/news-stories/2013/mcdona... )
I guess that could work.
I have the same problem. I found editing my hosts files helps.

127.0.0.1 news.ycombinator.com

When or if I try to go to HN I get an error in my browser and instantly reminded. Then I get back to work. One time I went 6 months without visiting HN.
For this reason, I always end up reading HN and Reddit after work. I'm usually mentally exhausted and need half an hour or so of nothing mentally taxing to recover. I imagine other things might fill this role for different people.
> I've recently been finding it really hard to concentrate on my work and I genuinely think this might be the reason. I find myself compulsively opening twitter and tumblr and scrolling through for ages before realising that literally none of it is interesting.

LeechBlock has helped me out of this habit. I'd recommend giving it a shot.
Absolutely this. As somebody who primarily writes Scheme, I can't imagine using anything other than Emacs: paredit, geiser, and flycheck are better than any IDE for that.
>>[Smalltalk is] the perfect instructional language for teaching programming to both children and adults alike. It’s very easy to learn and extremely versatile...

Where's the data to support this? Has anyone done a randomized double-blind study on new programming students using smalltalk vs groups using Scheme, JS, or Java? Why is someones biased opinion enough to justify this claim? We need to hold ourselves to a higher standard than to accept unsupported arguments (meaning they havent been tested empirically) [1].

[1] https://www.youtube.com/watch?v=uEFrE6cgVNY
300 books in 4 years, basically it's one book per week if my math is correct. But still it seems like some kind of consumerism, where the main goal is to scrape together as much information as possible, hoping that you can use some of it in the future.
Absolutely. There are lots of good, interesting, and useful things to spend time on, but that doesn't mean they are always the right use of my time right now.
Probably not; the ancient Greeks generally didn't allow their slaves to have children of their own, so few were born into slavery.
Clinton received a lower share of the vote among young voters (ages 18-29) than Obama received in 2012 or 2008.

http://www.pewresearch.org/fact-tank/2016/11/09/behind-trump...
I almost always here some version of this from the crowd that is really unhappy with the 16GB limit. They seem to be running a lot of VMs. Out of curiosity, what is is you do that necessitates the creation of so many virtual machines?
Great article, it pinpoints the issues that leads devs to complain about "politics" and "bureaucracy" in a company. I think the lack of introspection can really wear engineers down.
What is Lobsters? I'm curious about the thing that's helped you wean yourself off tech news, but googling it hasn't helped.
Calling All Call of Duty Fans – The Ultimate Battle Is Here
> You can even put a market spin on it: None of the risks involved in starting a small business in Australia have to do with health care for myself, or for people who might consider joining my small business as employees.

Though you may have heard politicians in the USA profess their love of small business, in general, their actions are contrary to it. Both parties regularly do things which are good for big business, but which do hardly anything to 1. reduce the tax burden on small businesses, 2. reduce the paperwork/bureaucracy burden on small businesses, 3. make it easier for a larger percentage of society to engage in the creation of new businesses. Even though ACA (Obamacare) has been somewhat of a step in the right direction, it's still the case that if you want _good_ insurance, you better be part of a group healthcare plan (i.e. not an individual plan.)
Movies and TV yes (there's ample research to show it actually rots your brain). Books, no. There's also ample research to show it has several benefits, even if you're reading trash. The medium is the message, as Marshal McLuhan would say.
Not really in keeping with the idea of a gift suitable for a niece.
Thanks. I post stories about it secretly on HN through anonomous accounts. I mostly get downvoted as it's usually controversial and counterintuitive. It is to be expected.

I don't teach 'defence against the dark arts' as the techniques are more likely to be exploited if more widely known and I'd rather not help it spread. Thankfully we're already seeing a cultural pushback with people logging off. I expect to see much more of that in the future as society gets better at understanding addiction and individuals get better at optimizing for their own happiness.

As for me; I have my own software product company now and I am free to optimise for the user. I don't need the money but I do like making the world a better place.
Nokia (snake forever), Pantec Duo (what a shitty phone), Palm smartphone, LG Android, Motorola Android x2 (Dropped it which destroyed the screen. Liked it enough to buy another one which was cheaper than a screen replacement), Windows Lumia.

Since roughly 2003.
Until bandwidth pricing is fixed rather than nickel and dimeing us to death; a lot of us will choose fixed pricing alternatives to AWS, GCP and Rackspace.
This is definitely not a ridiculous idea. Basically, this will make politicians have more "skin in the game".

Otherwise, there is a misalignment of incentives for the elected representatives as you point out.

For an (unrelated) example of this misalignment, N.N Taleb outlines in his works why most financial "news" or "recommendations" are completely useless - the people peddling the "news" are trying to sell a story. If they actually put their own money (like their personal savings account) based off their recommendations, a lot of them would disappear very quickly. At the moment, most of them have no "skin in the game".
I don't think it has ever marked any legit mail as spam. The rspamd web UI has an overview of recent history which has the date/time, message ID and score, but there are no full headers/content for things that qualify as outright spam.
Win9x actually looks more similar to the Linux layout, with ring0 only occupying the highest GB, but has an additional area from 80000000h~BFFFFFFFh which is shared across all user-mode processes and used for things like DLLs.
More than the farts, hopefully.
These are supremely confusing if you have never encountered one before... Thankfully, a helpful French man was able to explain the situation to me before I tried to enter one as it was starting it's wash cycle.
What this article doesn't mention but should very seriously be considered, recruiters often look to disqualify candidates based on controversial ideas or standpoints that might not agree with the company's cultural mindset. Definitely need to be mindful of how your views will be analyzed before you have even been considered for an interview or offered a job.
All this is based on the wrong premises.

The reason why spam is an issue with email is, anyone can send emails and it's not always possible to identify the sender. Once encryption is deployed then the sender is associated with a public key and it's possible to establish a web of trust. Gmail could also manage identity-based scores based on all it's user's trusted connections.
> Marcus Aurelius started each day telling himself: ‘I shall meet with meddling, ungrateful, violent, treacherous, envious, and unsociable people’

In other words: every day I will meet with sinners - but additionally "just as I myself am a sinner"

Christianity understands this much better than the stoics. The problem of the world is sin and what is the remedy?

Jesus Christ

> he is the propitiation for our sins: and not for ours only, but also for the sins of the whole world.

or

> For after that in the wisdom of God the world by wisdom knew not God, it pleased God by the foolishness of preaching to save them that believe.

The foolishness of God is wiser than the wisdom of the world
Your point on evidence is dead on. This is an entirely anecdotal piece which is why I titled it "Programming Has Changed My Life" rather than "Programming Can Change Your Life Too".

The latter claim requires a lot more research because it is a huge leap.

Whether I would have developed critical thinking skills naturally can be up to debate. The argument for programming being the factor is because computers are black and white in the early days. Code works or code doesn't work. We don't always get that direct feedback in human interaction.
This sounds like a fun project !

Have you looked into PID controlers? The basic idea is stupid simple and uses no big math.
Eh, I don't know. I think Nazis are categorically and fundamentally different than, say, anti-vaxxers. I mean, if you don't want to vaccinate your child, fine. I don't agree with it, but I can live with it. If you identify with a group that literally burned people in ovens though? Yeah, I can't live with that, sorry.
I use both clouds extensively while google cloud is cheaper in most cases. But DynamoDb in AWS is still cheaper than Cloud datastore or big table
> insurance agencies wouldn't cover you if you came into their plan with an existing condition.

Before ACA I went through a period of unemployment and had to buy my own health coverage. I had been on Kaiser previously through my employer, so they had my health records. And they rejected me for a pre-existing condition -- eczema. Seriously. A decidedly non-fatal skin condition, in my case a minor annoyance, and they won't cover me at all.
30 Day Billionaire Challenge. (update: dismiss #13)
I was always leery of Facebook and what it did with data. After the Snowden revelations, I only used LinkedIn for career related reasons. I make sure to never post too personal, identifiable information on forums. My real name returns google results, but they are very sparse. It's crazy out there and the consequences are real.

As for the premise of the article, I can see how your brain craves immediate relief from boredom. That's really what it is, right? My work is fairly interesting to me, so I've never had the overwhelming and constant desire to distract myself from it. Perhaps a few articles here and there for a mental break.
You could also say reading hacker news is somewhat of an addiction as well. It's easy to become fixated on seeing what the latest trending stories, repos are. Everything in moderation.
Note that this study is about "in vitro" analysis. High iodine contents and toxic compounds might make this algae not suitable as bovine fodder.

Furthermore this is tropical algae and it traditionally hand harvested making it very expensive to produce. I don't know if it could be mass produced in sea farms.

Source:

http://uses.plantnet-project.org/en/Asparagopsis_taxiformis_...
> What's PoMo?

PoMo refers to Post Modernism , which is afaiu , "Literary/whatever Theory" that, I think, seems to embrace reletavism
It's weird, I remember a similar option being there, but it's not (neither in Firefox nor Chrome)

http://imgur.com/a/ncvyt
Contractors vs. Employees – which one is likely to boost valuation and ROI?
I don't think whether or not it happens (or has already happened) depends solely on whether the other languages are better. Isn't it a lot of it a co-ordination problems? People want to write in the languages that are widely used and have a lot of libraries; people write libraries for languages that are already widely used; that sort of thing?

You're right about Ice Ice Baby, though.
I agreed with everything in the article. However I have also seen no shortage of job posts for tech - backend dev, where employers asked to provide links to any social media activity. So there is a fair amount of tech jobs that seem to expect you to have cultivated an online brand. This has always made me uncomfortable because I am of the same opinion of the the author and I generally won't apply to a company when I see this being asked for in an open job post. For things like "evangelist" I understand asking for this but otherwise no.
There is a difference between retrospectively determining that an injury is minor and doing so prospectively. It might not have looked all that minor when those tests were made.
> I guess I'm just sad that the JavaScript+HTML community have been taken over by people who don't really seem to like JavaScript+HTML much.

I'd always hoped there would be a sensible way to incorporate other languages into the browser natively, like Python (I'm aware of things like Skulpt, but they're not Python Python, they're JS Python). It would make sense, given the ease of installing new languages on systems these days. However, I get that it would be a major PITA keeping all the languages synced up with all the development going on in the browser.

Alas. Thus endeth my old man rant.
I'd recommend reading absolutely everything that's on this website. Everything from CS-related stuff to Feynman is worth the time!
If this topic interests you, Tim Wu's latest book, "The Attention Merchants," might also. He chronicles the rise of attention-monetizing by the media and the various rebellions against them.
See http://shop.oreilly.com/product/0636920028970.do
>Whether I would have developed critical thinking skills naturally can be up to debate. The argument for programming being the factor is because computers are black and white in the early days. Code works or code doesn't work. We don't always get that direct feedback in human interaction.

Glad I refreshed before I posted a similar comment! Feedback in programming has quick and usually exacting results, giving you more feedback per unit time to tune your critical thinking process.
Apple hasn't updated the Mac mini and Mac Pro in years.

The iMac is okay, but it's painful to buy a 2015 computer at 2015 prices, and I don't really need a 5K screen.