skysight-inc/HackerNews huggingface dataset:
>The monad bind operator introduces a data dependency which is responsible for the sequencing itself, not the actual implementation of the bind (i.e. it is a result of the type of the bind)

No, there is nothing in the type of >>= which guarantees sequencing of side effects. So for example:

a >>= (\b -> c)

There is nothing in the type of >>= that guarantees that a will be completely evaluated before c is evaluated.

I suspect this misconception is what makes many people think that Haskell's way of handling IO has something crucially to do with monads.
Not necessarily, and even so not for free.

(Client must specify compression support)
You could even have human pilots meet up and drive them through cities, and let the trucks drive themselves on the interstates, just like ships have maritime pilots navigating harbours.
Right - that's one way of doing it. It's not the way I first thought of, and the other way I have has a connection to something else that I think makes it all kinda nice. That solution is elsewhere in the thread, but here it is in rot13:

jevgrcxvaonfrxnaqgurqvtvgfnergurpbrssvpvragf

I'm pleased we've got it sorted, though. Thanks for your responses, and I'd be happy to hear more thoughts.
Show HN: Txxt.app – an ultra simple SMS notepad
Except that, unlike realworld, this is about as useless (for proper comparison) as the OP app if not more.
California had a chance to fix its housing problem, and it totally blew it
What are you talking about? The wealthy are not low taxed, the US taxes the wealthy more than just about any other OECD country.

Source: https://www.taxpolicycenter.org/briefing-book/how-do-us-taxe... Figure 2.
[PDF] Exploiting Coroutines to Attack the “Killer Nanoseconds”
Or Israeli Lavi fighter jet.
https://en.wikipedia.org/wiki/IAI_Lavi
That's fine and good.

What happens when its a whole bunch of "traditionalists" (read: white supremacists) espousing the following views:

1. Xenophobia
2. Hyper-nationalistic
3. militarism
4. Glorification of violence and readiness to use it
5. Fetishization of masculinity
6. Leader cult
7. Lost-golden-age syndrome
8. Hierarchical party structure and tendency to purge the disloyal

And when you look at the numbers, the majority of the people are apathetic and disempowered. And those that despise this go against those whom support it by voting or participation?

Sometimes, a direct and harsh response is needed to preserve our institutions.
Given that world + dog has the entire Yahoo DB by now, I wonder if a list of yahoo username + password still has any value on the market... Well, I can only hope so, or else the scammer will just drop all the yahoo addresses from his take rather than try to clean up the data.
I'm not sure if you were making a point about Java... but: you can effectively run Java without GC. If collection pauses are an issue you can preallocate everything and ensure no significant GC at runtime.
> The problem is public sector employees are promised pensions higher than county/city can afford.

Precisely. But in fact, it's worse:

The people doing the promising and those receiving the benefits are in fact the same.

Who makes the promises? Local and state government employees.

Who receives the benefits? Local and state government employees.

Who pays for them? Us ordinary taxpayers who can only dream of such sweet defined-benefit pension deals.

Yet some folks see this as reason we should pay even higher taxes, and sacrifice our own pensions, which are already lower and less secure than these privileged government pensioners.

Unbelievable.
the ones in the test the took the $5 look like untrusting fools because we make assumptions about fair and reasonable outcomes with repercussions on those parties in an agreement that don't fulfill their obligations.

politicians should be held accountable like CEOs. They should be able to be sued. Screw over the company? your ass is going to get kicked. Say you didn't know? you shoulda listened to the people giving you the numbers. didn't have the numbers? shoulda hired people to give you the numbers.

there needs to be a lot more repercussions on those people making bad decisions.
What I've found so far :

-Most prices are absurdly high and end with 3

-Some items have reasonable prices (e.g https://glymart.com/products/a-1-telecom-mopar-external-spea... )

-The domain was registered recently and never mentioned on any other website before your post (how did you find it ?)

-The first item has a wrong image, but all the others seem OK.

-Terms of use and privacy policy include an adress in Vietnam. It isn't clear whether this is a real adress.

-The same item is sold twice at vastly different prices : https://glymart.com/products/yuneec-typhoon-h-hexacopter-pro... and https://glymart.com/products/yuneec-typhoon-h-hexacopter-pro...

The website was obviously generated automatically : it has over 400 pages of products. I think the goal was to sell products available elsewhere at a premium, and order them as needed. Or maybe there are no prodcts and they just want someone to buy one to try to understand what's happening :P.
My first theory was that the prices were not converted properly, but assuming that they are in Vietnamese Dong instead of USD leads to absurdly low prices.

In any case, that's a weird online store.

Edit : their contact form includes an adress an phone number, both located in California. It seems unlikely that those are their real adress and phone number.
Some background, The Economist uses the Big Mac as a measure of purchasing power: https://www.economist.com/news/2018/07/11/the-big-mac-index
This is mostly why I left Reddit. The API allows far too much control and I started questioning what was even real. Being able to quickly find keywords and then have a network of bots that creates replies/upvotes/downvotes is very disturbing thought to me. I can't even imagine something like that on a large scale to change opinions.
The people being discussed here are retired and are eligible for Medicare.
While you're right about the broken promise amounting to being defrauded, a similar argument could be made about tax payers who will be responsible for picking up the tab (Millennials, Gen Z etc.): They're going to have their wages taken for promises they never made in the first place, while also not having the same benefits enjoyed by those that came before them.
Way too much effort. I'm recording for hundreds of hours, things really need to be streamlined.

Another strategy would be to record at 2560x1440 (the full screen) and then zoom / pan into a specific region when editing but this comes with its own set of other problems. Mainly recording at 1440p uses a ton of disk space and drops frames on my box.
Can't there be room for both awarenesses in a single mind?
Yes. It'll now be forex currency pairs instead of just an index - find them on your nearest exchange.
If you limit the trucks to only highway driving and design depots for them they might be easier but I think once you start trying to drive them on smaller roads there's a lot of issues that crop up. First and foremost is that there's a lot more vehicle to keep modeled and the dynamics of how to drive the cab to safely maneuver the trailer might require a way better model of the environment and the position of the trailer.
"The MacCoin transcends currencies to commemorate our global iconic burger while giving customers all over the world a chance to enjoy a Big Mac on us"

there you go...
God I hate clickbait. At least the author has the nerve to admit the inflamatory intent, so that's something I guess. That is all, carry on.
Ehhh, you kinda mixing problems here.
The movie "Do I Sound Gay" has an interesting take on this kind of thing. There's a stereotype of the "gay voice" (a bit higher-pitch, with sibilance on the "s"es, commonly incorrectly called a lisp). The 'intensity' of the voice-modifications depends largely on one's social environment. I don't remember the movie using the term "code-switching", but it certainly did seem like the same thing. I notice this myself - if I'm with other gay men I do usually adopt a bit of a changed speech-pattern totally unconsciously.

Speech is so nuanced; it really seems true that 80% of what you say has little to do with the words themselves.
As someone who supports higher taxation, I've come around to the idea that liberals and conservatives are largely talking past each other on this point. Yes, our taxes are too low (if we want to have the kind of welfare state Sweden or Germany have). Yes, our public sector is particularly inefficient, compared to Sweden or Germany (or France or Canada).

In my experience your average voter who opposes higher taxes isn't a Randian. Rather, they feel like they're not getting enough in return for what they pay in taxes. (And when you look at data about how we spend more to get less in education, transit, etc., turns out they're right!)
This looks interesting and I wish them good luck. The problem with any developer tools startup is that no matter how great the product is, the willingness to pay is very low (developers think they can replace you with a small script) and extremaly likely that your market gets slowly eaten from the bottom by open source and/or MS/Google/Amazon fold in your service into their cloud platform.
Before the advent in modern communications we had political conflict between places with weeks of travel time and communication time. That is not a great guarantee against conflict.
I agree, particularly with the huge demand for truck drivers, a hybrid model, allow the self driving to take over on the expressway/long haul, it could quickly become profitable pretty easily.
As far as I can see, explaining IO in Haskell in terms of monads is unhelpful. It would be like using monads to explain how list concatenation works. The fact that e.g (\x -> [x]) and concatMap form a monad is not really very helpful in understanding what concatMap does.
> So it's a wrapper that implements a particular interface?

There's no wrapper, and "interface" is misleading since it suggests something that lets you invoke methods on instances whereas actually one of the core monad functions (pure aka point aka return) is something you call with a value that currently has no connection to the monad.

> Then why, oh why, do we have so many people who spout, "A monad is just a monoid in the category of endofunctors, what's the problem?"

The categorical thing is just a joke. It's hard to talk about monads in general because they're very generic, and unfortunately IO is one of the most "monadey" of them all: it's a monad and essentially nothing else. The best way to learn to work with IO is probably to learn to work with other monads first - option or either or writer or state, things that have a canonical presentation in terms of normal functions and values. Unfortunately, even though I/O is a tiny fraction of real-world business programming (when was the last time you actually used "getChar" at your day job?), it's where people tend to start programming.

> So it's a way of imperatively declaring execution sequence dependencies that lets you reason as if there's only pure functions most of the time. This seems to be the case for all functional programming languages/environments. When you get down to it, they're all, in the words of Garrison Keillor, "Pure, mostly."

You've got it backwards. It's a way of expressing operations that lets you reason as if you were calling imperative procedures most of the time, but they are and will always remain be pure functions in a guaranteed sense that you can fall back on. There is nothing "mostly" about it and this is really important, it's what makes functional programming so useful.
So, they used a vaccine program to kill people?

Edit: downvoted, huh? Well, sorry, but facts are facts even if you don’t like them.
Well this would be scary if it were true, but the premise of America's democracy is that it's not.

If it really were true that there was some "evil words" that would spread through the whole population like wildfire like some virus, then sure, free speech would be a bad system. You allude to WWII almost as though you're insinuating the root cause of the WWII was insufficient political correctness.
I Joined Thumbtack as a Data Scientist Two Months Ago and Here Is Why
Because we could easily be the only technological (other people like to use the term "intelligent") species in the Universe?
It took me a while to realise this was not a cryptocurrency.
I gave a talk on cryptocurrencies a few weeks back and used Bittorrent as one of several examples of non-blockchain software/protocols that solve an important technological problem and don't require a blockchain.

Then I get home and read the news:

"Bittorrent: Now with Blockchain!!!"

Didn't some futurist warn about the threat of a sophisticated physical replication process getting out of control and turning everything into paperclips? Because it feels like we're already there in the digital domain.
Imagine terrorists used ambulances as vbieds to get through checkpoints easily. Now ambulances get stopped and search extensively even with patients and on route to them. Still think the blame lies with the tyrants who stop and search ambulances or with the scum that pretends to be emergency medical services?

Hiding as medical personal for military reasons is as disgusting at it gets. And for a very good reason people doing this will normally be prosecuted as war criminals. But sadly US based war criminals dont get prosecuted but promoted and celebrated.

Doctors and nurses life are at risk and people dont get vaccines anymore because the US government sanctioned the exploitation of the special status medical personal have. They might as well have painted a Red Cross on the Seals Helicopter.
> If we're going to live in underground habitats on Mars for humanity-backup, isn't it easier to just build underground habitats on Earth?

It is, unless the scenario you are hoping to survive is "Hordes of proles at the gates."
Why was that humiliating?
The next table (the one below, right?) shows only the relative percent of where taxes come from. It does not describe tax rates. It merely states that around 50% of U.S. tax revenue come from taxing income and profits. This is not the tax rate on that source.
"Turns out that Reddit [API] has a limit. It'll only show you 100 posts at a time."

100 sounds like a typical "max-requests" pipelining limit.

He does not mention CURLMOPT_PIPELINING.

Does this mean he makes 100 TCP connections in order to make 100 HTTP requests?
Why wouldn't Uber just do long haul to a distribution point near a city and hire drivers for the last mile?
I think the sad result of this story is that they are going to keep going with the self-driving car technology. During the investigation into the fatal crash accident they had, they showed how reckless they are. It would be great if they learned anything from the death of that person and rethink QA and decisions, but I doubt it.
Time will tell.
Hi!

As a woman in this world, but also in tech, I don't believe that being a "know it all" is a male-only trait, though assuming that someone knows lesser when they clearly know more tends to be. There are many times when the males in my workplace, even if well-meaning, attempt to explain integral parts of my job to me like I'm a child. The chart in question goes through to talk of situations when this could not be considered mansplaining (like when a male counterpart has more knowledge or experience, or when the female counterpart asked for an explanation), but then also goes through scenarios that are definitely mansplaining, such as when the male counterpart has fewer experience and knowledge on the topic.

While you may not be a male that mansplains, other males (or even females) on this page might find themselves mansplaining. I have been mansplained to numerous times by my coworkers.
The reason why we want governments not to censor and control our speech is because they have so much power.

Businesses have this level of power now.
This is so weird, why would anyone redeem them?

Because you eat at McDonalds every day and have cupholders full of the MacCoins in your car.
"Some"
Well, France and Germany have both acknowledged their NATO spending deficits and have pledged to increase them, with France actually signing legislation and Germany saying they improve their stance (hard to say no when at the time of the NATO summit they had 0 operational fighter jets): https://www.telegraph.co.uk/news/2018/07/08/france-germany-i...

As for trade, negotiations are obviously ongoing, but it's only been a few week, but certainly seems to be going in a good direction: https://www.vox.com/2018/7/25/17614564/trump-eu-trade-deal-j...

As for N. Korea, their latest peace negotiations have gone further than ever before. US soldier's remains have been returned, political prisoners were returned, the very first peace summit directly between a US president and a N. Korean leader, and end to missile and nuclear testing for going on a year. You can knock these, but it is hard to see how they aren't major achievements only belittled by ideology.

As for the middle-east why would we not count a strengthening of a coalition, just because it existed before? I pointed out that negotiations are being made when the parent would have you believe things were getting worse instead of working plan for better. They certainly aren't "burned bridges".

I didn't mention Syria for a reason. That is clearly lost to Assad and Russia. Not sure what Trump could have done differently except immediately pull out and cede the loss.

And you're putting words in my mouth. I didn't say Europe had changed their energy policy, only after the NATO and trade summits, they have agreed to take US LNG in an effort to reduce their reliance on Russian nat-gas, and at least formally acknowledged their reliance is a bad thing.

Why didn't you ask the parent to source and explain their statements? What did they state which was obvious?
Ok, we'll add that phrase back above.
Most of the time you're writing Python3 code and you don't even know it... try changing #!/usr/bin/env python to

#!/usr/bin/env python3

I bet your Python2 script will run on Python3.
Ordering of operations is done by the non-associativity and non-commutativity of the bind operation. Data dependency is not sufficient for ordering IO¹².

Well, that's in theory at least. In GHC Haskell the ordering is not denoted by neither data dependency ot the operator semantics, but by a complex set of rules that change from one version of the compiler to the other.

1 - Although it is sufficient for any monad that lacks real-world effects.

2 - Well, technically nothing is enough for really ordering IO operations, but those two properties give single-threaded semantics to IO.
What do you mean by "most economical sense to automate"? It seems like everything about automating a truck would be more expensive (cost of 1 truck = 5-6 cars), the insurance and maintenance on the truck and hardware, the potential for catastrophic failure (1 runaway car doing 70 = bad, 1 runaway truck doing 70 = REALLY bad), the extra complexity of pulling a trailer and monitoring the trailer as well as the truck, monitoring the size and type of load of the truck and modifying the driving characteristics to match the load, the extra regulations that trucks are subject to (what roads they can be on, what loads they could cary on certain roads, what time of day they can drive on said roads, when they can or can't use engine braking).

Edit: even on 'simple' point A to point B route that involve 99% highway, what happens when a small part of the highway shuts down for whatever reason (flooding, multi-lan accident, fire, etc) and all traffic is routed on smaller adjacent streets, or forced to share a lane with oncoming traffic. Automating a truck is as hard or harder than automating a car, since you're dealing with the same external variables but have more internal/attached moving parts.
These plans wouldn't have worked even if lifespans remained the same. Indeed, US life expectancy is actually down recently.
Taxes are pretty high in the US for the upper middle class especially.

IMO corporations should be taxed in a way that the more they make with fewer people the more they get taxed relative to other companies who make the same but have more people.

Productivity in the age of digitalization is not what it used to be and I don't think it's a good way to measure anymore as we have way more supply than we have demand.

Today it's more about technology leverage.
I'd bet < 100
Here's the kind of credence you're lending to terrorist's narratives:

"How ISIS' use of trucks to kill pedestrians poses a grave threat to us all" - Despite ISIS' use of vehicles to mow down pedestrians, I think we can safely agree that vehicles don't pose a threat to the civilized world.

In a similar vein, an isolated incident of targeted infiltration of a vaccination campaign doesn't endanger anyone - unless you lend credence terrorist narratives that it does
I think it's a safe assumption that they'll be worth more as collectibles than as burgers.
Well, YMMV, but I don't have any trouble understanding the concept of one thing happening after another without reference to all that other stuff.
> The CO2 mass in the polar ice caps is 1/5000 of the mass of earth atmosphere

The CO2 mass in the earth's atmosphere is only 1/2000 of the mass of the earth's atmosphere. That is to say, Mars ice has almost half as much CO2 has the atmosphere of a much larger planet.
Children aren't born knowing C, and people who learn functional first don't tend to find it any harder. (If anything it's easier, since the meaning of "=" in Haskell is much closer to its usual meaning than the meaning in C).
As someone who does this for a living, you’re not wrong.
1. True but Camtasia could also never release that feature.

For me personally I don't mind spending $20 or whatever if it solves a problem that affects me on almost a daily basis (my business involves recording software development related screencasts).

2. Resizing is only half the battle. I already rigged up an AHK script months ago to position things initially, but in a live coding session you often want to be able to move windows around freely or switch between layouts (editor, editor + terminal, terminal, editor + browser, etc.). This is where things fall apart because it's so easy to move them out of the recording zone or end up with a recording where a window has like a 2 pixel gap and looks off.

I suppose I could wire up about 6 or 8 hotkeys to statically position and size those different layouts as a last resort. It's not important that people see the animation or me resizing windows manually.
Socialism is like punching all your friends in the nuts until you run out of friends.
It's also similar to the thought path that lead me to trying a Tokenizer for diffs. The tool as is essentially gives you character-based diffing everywhere which keeps the inner parts sane/mergeable.

One of the things that I never got around to doing was exploring the higher-level opportunities, but they are there. Just as the tokenizer is the first pass in AST building, tokenized diffs should contain enough information that if you wanted to try to do higher level diff analysis you could do some interesting things.
Brexit being brexit