skysight-inc/HackerNews huggingface dataset:
>Yes, but, say, in Haskell, that's not an option.

Haskell does have the ST monad, which lets you encapsulate a non-pure algorithm (as in, one that relies on mutable state) within a pure function.

In fact, any monad will let you write imperative looking code (whose behavior is determined by the semantics of the particular monad), the standard library even provides for and while loops as functions.

You can also look at OCaml, which is very clearly a functional language, but has 1st class support for side effects and loops.
"...all of these genes have been vetted by millions of years of evolution, so we know they're rock solid."

You haven't talked with my knees recently, have you.
https://news.ycombinator.com/newsguidelines.html

What to Submit

On-Topic: Anything that good hackers would find interesting. That includes more than hacking and startups. If you had to reduce it to a sentence, the answer might be: anything that gratifies one's intellectual curiosity.

Off-Topic: Most stories about politics, or crime, or sports, unless they're evidence of some interesting new phenomenon.

I too normally dislike things disappearing from the front page in 5 minutes but I made an exception for this submission and flagged it because such stories are dime in a dozen and this one brings zero new information, solves nothing and mainly just perpetuates hostility.
Peter F Hamilton writes very optimistic stories that paint a picture of humanity continuing to mature
There's an intriguing but hard to prove theory that some popular religions (Christianity, Buddhism) arose as cities became more populous, and in response to that. Part of your "social technology".

Perhaps we'll soon see a new religion?
I ran into this exact problem and figured out you can fix it with StateT and Lenses. You can reproduce imperative code exactly, but in pure Haskell. You can even write things like for loops, no problem.
Pretty much Australia Post's Parcel Lockers.

http://auspost.com.au/parcels-mail/parcel-lockers.html
> The answer for her, therefore, IMO is to get the hell out of France

Regional and cultural differences are real, and have a much larger influence on Hacker News than is commonly realized. But bringing that up as you did in this thread, by pouring national flamebait into a gender flamewar, is definitely not using HN as intended.

Moreover we've warned you repeatedly and asked you to fix this and you haven't. Therefore I've banned you again. If you genuinely want to use HN as intended you're welcome to email hn@ycombinator.com, but would you please stop creating accounts to break HN's rules with?

We detached this comment from https://news.ycombinator.com/item?id=14868502 and marked it off-topic.
(Spoilers)

The arklet population goes from 1500 to 7 after a civil war. The first thing the mole people do after coming up from underground is kill someone. After the timeskip, the majority of the text is about the cold war between the new factions, resulting in a brief battle.

There is a subplot about a hope for a better future, but after ten thousand years of constant war, the book doesn't produce much evidence that it's even possible.
>$5 a day is a LOT of money and I am outraged.

Sounds like someone is desperate to feel oppressed. That's a Facebook group, check it out.
Sure it is: https://github.com/nextcloud

Nextcloud is a fork of Owncloud: https://github.com/owncloud
If he's a partner in the LLC then they would have to speak at least once a year for the annual meeting.
"One could argue that Internal DSLs are not really a separate technique from #2 (Tree Building) and #3 (Templates)"

JSX doesn't strike me as that much different from JSP. It's still mixing markup and code together.

There's another #4. That was Apple's WebObjects. WebObjects was unique in that it provided bindings between the two languages. In one file, you have HTML, in another, you have Java. Then in a third, the .WOD file, you had bindings between the two.

The HTML was really XHTML with one extra tag, the webobject tag, and it had one name attribute. Nothing new to learn there.

<webobject name="NameFromHTML"/>

The java file was just a java object that implemented the WOComponent class.

public class WOComponentClassName extends WOComponent {...}

The WOD bound the two together like

NameFromHTML : WOComponentClassName { key1 = value1; }

If you needed to reuse a chunk, you could just reference it twice with another <webobject name="NameFromHTML"/>.

Then at runtime, the webobjects application read in the html templates, and associated the key with a WOComponent getter/setter or field, and the value was either hard coded, or came from the java component as well.

HTML templates quickly boiled down to a handful of <webobject> tags. You could express entire, complex pages with just a few tags.

Later on, developers with bad habits tried to add in things they were familiar with from other lesser solutions. WebObjects slowly degenerated into something that looked more like JSP with bindings being set inline in the html, executable binding values with OGNL, the whole works. It turned something beautiful and still more advanced than any template language in use today, into your standard template language garbage pile.

It's fortunate that server side rendering went out of fashion, Apple promptly dropped support, and WebObjects was allowed to die a somewhat dignified death in obscurity.
While at my last job, my apartment office's hours were also my work hours. Luckily I had Mondays off. It felt like some cruel joke, where ordering anything meant waiting almost a week before it was effectively delivered.
I think it's due to the fact that no one stays with the same employer for more than four years. Back then, you could look forward to a decades-long career with the same company (my father-in-law was with IBM all his life) - you joined Dow out of university and could expect to stay with them for 20 years. But who would even consider moving to Midland, MI nowadays? It's a godforsaken place an hour north of Flint! You can't risk buying a house in a one-company town! So we all submit to the Boston or Bay area commute madness.
Behind the trees you don't see a forest: Half-Life used 32MB of memory on 1024x768 display. By 4 or even 2 byte color it is 2MB just to store picture output. Modern apps work with 4k2k*4byte color, which on itself is 8 times more memory.
> the Matrix protocol is even worse

Could you please elaborate on this?
Although stalking can be done by any gender, it does seem that obsessive behaviour and social maladjustment are more masculine traits in general.

That's not to detract from your suffering - I am sorry to hear of your terrible experience at the hands of this creepy, awful woman. I hope you get this resolved somehow.
2 people, 2 meals.

I'd say the pasta was probably enough for 1.5 people. The empanadas were more filling.
BAT, Tezos, EOS, PrimalBase, Civic, SONM – a Digest of Passed ICOs
Floyd Mayweather promoting ICO ahead of McGregor fight
It doesn't matter if they make these jokes to their coworkers. Here's a very contrived analogy: Imagine I'm 6 feet tall, standing in front of someone 4 feet tall, and I punch the air in front of me for some reason. No harm done, the guy's short so I don't hit him. Now imagine I'm standing in front of my new 6 feet tall coworker, and I do the same thing, but I hit him in the face because he's my height.

Should I have changed my behavior just for this guy? Isn't that pandering, shouldn't he have to adjust to my behavior if everyone else is ok with it?

No, I should have taken into account the obvious fact that my actions would hurt him, even though nobody else minds. Not caring about that makes me an asshole.

In the case of the blog post, it should be abundantly obvious that someone who posts an article about sexism in the work place will not think "we don't give a fuck" and "just get over yourself" is funny. Not caring about that makes them assholes, and the fact that they didn't respect her at all in this scenario means they probably don't respect her in general.

And while "Move over, I need room for my big dick" is dumb in any context, it is common sense that it might be received especially poorly by a woman you don't know in an overwhelmingly male-dominated environment, and not caring about that is grossly disrespectful.

Treating people equally is not the same as treating them as equals. And treating people equally is not something to aspire to; it's trivially easy to come up with scenarios where equal treatment produces unequal results.
Functional Programming is a big tent, too big to be very useful. All good programming provides some proof of correctness, through test coverage, the type system, or a bit of reasoning done to the side (worst case). Ease of reasoning from FP in the large is not very valuable but does eliminate some cognitive overhead. There are no disadvantages to higher order functions and referential transparency except those we impose on ourselves with our choice of hardware. Type systems are where the meat is at, and a good type system clearly states the advantages and disadvantages in its design.
Wait a sec. If this dystopic future you cite is able to genetically engineer embryos, then wouldn't everyone be able to reproduce? (Less-fit people would obviously pass on less of their genes.)

And while your complaint about skin color is certainly valid, why do you abhor making humanity smarter on average?
Pragmatically speaking, most non trivial programs consist of functional and, yes, even object-oriented styled code. Doing functional programming over those nounish state-indexed things doesn't make them non objects even if you prefer to call them "entities" instead, while most OOP programmers use lambdas freely without any feelings of regret.
I'm not certain of their use of the word "webview", nor exactly how multiple rendering windows work in Electron. In theory it should work the same as multiple tabs in a single Chromium instance. In any case, the Slack app is very heavy. You should be able to manage all your teams in one tab with a single instance of the app rather than a separate tab with the entire single-page app having to be loaded over and over again.
The article only states that each received, "a few million", so it's ambiguous. I can't easily find a clarifying number on a quick search, so it looks like it's not public info.
One of the things that I really love about Erlang, is that it unrolls loops and recursion like:

count_to_ten(n) ->
count_to_ten(n+1);
count_to_ten(10) ->
done.

which is much cleaner than how the same code is presented in 99% of functional programming languages.
USPS/FedEx/UPS dropping off your stuff at your porch has the exact same problem though.
It seems that she knows who he is. So I wonder why she hasn't gone on offense. Maybe organized a group to target his family, friends, employer, etc. Why just be a victim and whine about it?

Consider, for example, how Andrea Shepard aka puellavulnerata (ironic, no?) took down Jeremy Becker.[0]

0) http://charon.persephoneslair.org/~andrea/pandorasts/jeremy_...

Edit: OK, so "target" wasn't appropriate. More like "inform", to enforce accountability.
That really doesn't mean much.

Let group S be sugar eaters.

Let group A be all people w/o mental disorders.

Let group B be all people w/ mental disorders.

We have the main correlation between sugar and mental disorder:

p[A/S] <= p[B/S]

Using bayes rule:

p[A]p[S/A] <= p[B]p[S/B]

We also have "men and women with mental disorders were not more likely to consume more sugar":

p[S/A] >= p[S/B]

Comparing the inequalities gives us:

p[A] <= p[B]

So you're more likely to have a mental dissorder than not according to this study???
Which are actually quite handy!
Yea, I usually browse in Firefox and keep the Slack desktop app open, but when I'm on battery for more than a few minutes I'll kill both and switch to Safari with the Slack web app opened in a tab. That practically doubles my battery life.
Those honestly sound like small issues that can be worked out, especially with tighter integration with Amazon. The solution doesn't necessarily have to be "let me leave packages in there forever". If there's good customer communication and support in the Amazon app, it could be a real nice solution to a major problem with urban deliveries.
Foxconn deal may cost Wisconsin $230,700 per new worker
Is Twitter adversarial about it, like so they try to prevent people from doing that?
All apartments or all packages?
CIA 'Aeris' Implant Targeting Debian, Red Hat, Solaris, FreeBSD and Centos Users
Hopefully at some point in the future apartments/houses just come with privileged access entryways that you can manage, and delegate time-gated access to delivery services. That way the delivery person can just let themselves into your "airlock", put the package there, and leave without getting undue access to your private home and without it being a public space (like a porch) that requires a social contract to not be broken in order to remain secure.

Today's too early though, since IoT (eg. a connected doorlock) seems untrustworthy. What are some solutions that could be used to approximate it, I wonder?
They do none of that now; they provide nothing of value; they only ride on the coattails of prestigious venues and on the backs of reviewers' hard work.
Higher-order functions and indirection in general can lead to increased cognitive overhead. Try reading or debugging a deep points free functional expression and it's obvious there are limits.
Or maybe it is just more socially acceptable for men, so they make less effort to hide it and are more willing to turn it outward rather than inward.

At this time, we cannot possibly separate out what is the result of biological wiring and what is the result of how people are socialized. There seems to be some evidence that as women gain power and social status and so forth, they start exhibiting some of the same negative traits that are deemed to be stereotypically male.

It may not be that women are more virtuous. It may just be that women get enormously more social pressure to curb certain tendencies, or at least hide them.
Creating a new account called "uselsswhre" and making a comment like this is like running up and down the street screaming "I'm a troll! Look at me!"
My apartment in Tokyo has a similar system, and the apartment before that. I'd guess that most modern buildings within the 23 wards have it too. Don't know about other cities. You use the same electronic key that you need to get into the building foyer.

All domestic delivery companies (Kuro Neko, Sagawa, etc) will drop into them without a second thought. FedEx are a bit more annoying that you have to call ahead and authorize them to use a bin, but that's ok.

I only have trouble with some things through Japan Post where a signature or ID is required, which is annoying but understandable when they are delivering something like a credit card.
The companies do not recompense the reviewers or editors meaningfully. They ride only on the coattails of prestigious venues, with all the work done by volunteers.
Is Slack well-behaved when it runs out of memory? Or does it just crash?
> in Haskell, that's not an option.

I'd say you have at least three fairly straightforward options.

1. Mechanically translate the loop to a recursive call. Not always idiomatic, but easy and pretty much guaranteed to compile to the same/similar assembly for a tight loop.

2. Use StateT and lenses. Your code can even look almost exactly like C if you want, with for and while loops with the same semantics as in C. I often use this when implementing heavily imperative papers in Haskell. It's still pure and everything, but looks just like an imperative language and performs well (if maybe not always full C speed).

3. If for some reason neither of those approaches work (e.g. If you're writing an algorithm that really benefits from mutation), you can use IO or ST for mutable variables. ST is really cool; it provides local mutability, but uses the type system to ensure that mutability never "escapes" into pure Haskell.
Does anyone know if Jeff has made these types of investments in other companies? The return rate he got is really good. Granted, most other SaaS companies are not as successful or stick around as long as Basecamp but I wonder if that would be different if others worked out these types of investments vs taking VC.
NOAA Weather

Reuters News

AP News

Facebook

Hacker News

Science Bulletin

http://www.mrboffo.com/wdaily.html

(I know, that's not 5, but I have those bookmarked and open them all in tabs at the same time and peruse them all most everyday.)
Show HN: (FPath syntax) Extracting content from very broken html in python
That article describes this as a misunderstanding:

> The official definition of “open source software” (which is published by the Open Source Initiative and is too long to include here) was derived indirectly from our criteria for free software. [...]

> However, the obvious meaning for the expression “open source software”—and the one most people seem to think it means—is “You can look at the source code.” That criterion is much weaker than the free software definition, much weaker also than the official definition of open source. It includes many programs that are neither free nor open source.

> Since the obvious meaning for “open source” is not the meaning that its advocates intend, the result is that most people misunderstand the term.

That is, Stallman is criticizing "open source" for being, among other things, easy to misunderstand as not requiring free software licensing — even though it does, in fact, require free software licensing.
You are right, it is not just males. There are many romance movies and dramas that reinforce this way of thinking for both men and women, and young women often chase after pop stars in a similar manner.
Why not just prepend "Hi, " to your question all in one line?
> x86-64 is another

Inferior to what and by whose standards? Itanium?
Glitch was my favorite MMORPG ever - I'm really sad they ran out of money to fund it (though I guess I'm glad they made Slack).
Is it possible to rearrange the feeds?
Why?

I'm genuinely curious why you think that it's worse in functional languages than, eg Python or C.

It's not like you don't specify all of those variables when using a loop in C -- you just have a special syntax to. I was outlining the actual recursion mechanism, not showing what you'd have to code....

You can make it look basically the same, with a signature like...

loop (idx test update) fn acc

...which in practice will look like...

loop (0 (\ x -> x < 5) (+1)) fn 0

The only annoyance is the slightly verbose lambda syntax for the test, but if you're using a function as a test, it becomes a smaller issue.
I don't know about the personal OneDrive offering but on OneDrive for Business it's pretty much impossible to fill 1TB because the client will crash and burn far before reaching the limit.
> The best product that can be made will never be made with cross-platform tooling

True or not, this is only relevant if it's indubitable that every app has to be 'the best product that can be made' in terms of platform-centric gold-plated polish. But it's not. Values often clash and tradeoffs are made. For some apps I would prioritise cross-platform availability far above platform polish. For others the converse is true. Some products don't merit the effort or expense of being 'the best product that can be made'. Others do.
The subject is scientific, so it sounds like e.g. "what are disadvantages of complex numbers". I am not talking just about science. I mean the whole purpose.

Such discussion will have no effect on people, who truly know what functional programming is. It also may have incorrect or misleading effects on people, who don't fully understand, what functional programming is.
Yeah. It's not just you that has these problems but unfortunately not many people say much.

I just don't post images and dumped social media except for some random accounts unrelated to RL. (i.e. HN)
Then it's not your concern if you don't feel you should tell your neighbors. I was replying to someone who said they saw something happen with their own package and I can assure you from extensive experience that Amazon goes out of their way to try to make it right with the customer (even if they don't address the root problem, they still do something to make it right to a complaining customer).
This is what the USPS, Canada Post, and some other postal services do in community mailboxes. The only problem is when someone forgets to pickup a package as the box is rendered unusable until they do, which can be a challenge with only a few package boxes for every 5-10 mailboxes.
The drive where the OS lives isn't encrypted. Rather it is verified. It uses do-it-yourself to chain every read from the device to a trusted authority. secure boot is how verifies that the kernel (running do-it-yourself) hasn't been tampered with (e.g., to add more trusted authorities or disable verification).

This protection is not just against "evil maids" but any attack that modified the disk in the past. E.g., if the system is compromisd due to a software fault, nothing can persist on disk undetected (like ZFS/bcachefs/BtrFS checksummi preventa bit-rot from being undetected)
This.
I'm always afraid they might be presenting or otherwise showing their screen to someone who is not supposed to read my question.
> That is where the problem comes from. You'll be excluded from the "inner circle" unless you participate in a specific kind of activity.

This was not the case. Some women did participate, but the ones who did not participate did not miss it. They went home or somewhere else because they have the wisdom of work-life balance.

> The biggest thing is, it's unnecessary. As a European, the US attitude of having entertainment at work continues to puzzle me. I go to work, I put in 8 hours of work, I go home and have fun. Why we need foosball tables (or reading groups, or wine tasting clubs, or whatever) is beyond me.

The men I've seen (in my case in Canada, not the U.S. [but probably similar]) tend to have less work-life balance. Since they spend most of their time at work, they more likely want to have closer relationships with their colleagues. Basically everyone I spend any amount of free time with was/is either a colleague, a client, or somebody I split rent with. Here in Toronto, it seems pretty rare to really meet anyone outside of family or work. Hobby clubs/classes are okay, but most people don't really go to many of them. If you live downtown, you probably don't know the names of your neighbours. You might never have even said a word to them.

Cities like mine, and I suspect areas in Si Valley, tend to encourage loneliness. Businesses are trying to build a social group to satisfy that need, and hopefully through that improve performance, reduce the cost of HR, reduce employee turnover, and reduce total compensation. This is what my office managers and HR folks have told me. In the U.S. I think it's exacerbated a bit by the relative low density of most cities, which makes it so that you have to drive to see people.

They offer company soda for the same sorts of reasons: Sugar intake increases blood glucose, which improves brain function (especially when stimulated with the company coffee), and it tends to keep employees sitting in their desks, where they are more likely to be doing work.
"Even if it only boosts the average kid by five IQ points, that’s a huge difference in terms of economic productivity, the competitiveness of the country, how many patents they get, how their businesses are run, and how innovative their economy is."

IQ points? Hasn't IQ long ago been discredited as a measure of intelligence?