skysight-inc/HackerNews huggingface dataset:
SpaceX's goal is to colonize Mars. And the first expedition there will undoubtedly be extremely dangerous. Even just ignoring the dangers getting there. When you're there you're literally 140 million miles away from the nearest aid, and you're doing something that literally no human has ever done before in an environment where if you breathe the atmosphere, you die. If you run out of electricty, you die. If you're exposed to the pressure of the atmosphere, you die. If your food resources go bad, you die. If your air filtering system breaks, you die. And so on.

And I would wager that they will have extremely qualified people lining up out the door to take on that risk, and even pay for it if necessary. The ability to be part of something incredible and the immense challenge and possibility there are going to be an incredible driver for the right sort of people.

For reference look at our developments leading up to the Apollo mission. The danger there cannot be overstated, and guys like Buzz Aldrin aren't just adrenalin junky pilots. He received his doctorate from MIT. His thesis (Line-of-Sight Guidance Techniques for Manned Orbital Rendezvous) having the dedication, "In the hopes that this work may in some way contribute to their exploration of space, this is dedicated to the crew members of this country’s present and future manned space programs. If only I could join them in their exciting endeavors!".
If you just need a simple way to host git repos and don't need much UI, look into gitolite (http://gitolite.com/gitolite/index.html), I'm using it to manage my own repos and it's been really nice to use. I especially like the possibility to automatically create a new repo when pushing to one that does not exist yet.

Then to visualize the contents you can try cgit (https://git.zx2c4.com/cgit/about/), I don't use it but it seems popular and is what kernel.org uses.
Please note this ship was quite unique to begin with: it's a 5-year-old 12-deck cruiseferry that burns gas instead of oil. https://en.wikipedia.org/wiki/MS_Viking_Grace

Here's an image of the ship with the new rotor sail on top: http://www.maritimeherald.com/2017/cruise-ferry-viking-grace...
Cofounders of Sidepact here.

We’re looking for ambitious engineers with or without full-time jobs, who want to start a company. Sidepact does the work of matching you with a team and establishing shared commitment on a meaningful problem. It’s like an extended hackathon, with the goal of bringing you to the validation and launch of your startup.

That’s our vision, and we hope you’ll join us!
Thanks, you can indeed do HA this way.

When Gitaly 1.0 lands you won't have to mount the NFS volumes on the application servers anymore as everything will go over gRPC.
In my experience, Haskell's comparatively complex and - arguably - also rather ad hoc type system can make a discussion of monads quite involved and hard to follow.

For those who approach Haskell with some Prolog or Mercury background, it may be useful to know that Prolog's Definite Clause Grammars (DCGs) are very similar to monads. In Prolog, a DCG clause of the form

head -->
goal_1,
goal_2,
...,
goal_n.

is implicitly augmented with 2 additional arguments that are threaded through as follows:

head(S0, S) -->
goal_1(S0, S1),
goal_2(S1, S2),
...,
goal_n(S_(n-1), S).

It is in these 2 arguments that you can implicitly pass around additional information such as counters, list differences, "global" variables, and states in general. Prolog provides dedicated syntax (called semicontext notation) to access these implicit arguments if needed. Often, they are simply threaded through implicitly throughout large portions of code without any modification.

Thus, it is obvious that DCGs, and hence monads, can save a lot of typing that would arise if you had to pass around these arguments explicitly. Also, they let you focus on the essence by making data that is only relevant to a small set of predicates (or functions) implicit in your programs.

It may be easier to understand these concepts if you can discuss them in isolation from a type system.
My system cost about $15,000 via solar city for a 6kwh system. Austin utility paid me about 3000 and I got a 4000 tax credit. Last month my bill was -20 dollars. Looking back on solar, probably not the best financial decision but I think it's pretty cool and I will be able to run the AC this summer at 70 for a reasonable bill.
California Statistics on Homelessness and Housing
Real-Time MRT recording a person while speaking [video]
This Social Network Seems To Be Well Encrypted And There Hosting Seems Amazing As Well I Have Currently Signed Up For The Hosting And Have No Complaints There Load Times Are Amazing And I Actually Really Like The Social Network As Well!
> First of all, the escape room is not real - you can always just walk out and then you also know that the riddles were created to entertain average person, so there is nothing special about solving them.

Well, yes. It's a game you play with other people. Have you never encountered a game before? Did you know that when you play chess, you are not actually commanding real knights and bishops to fight each other?
Ive used blendle. I wish there was a browser extension that would detect paywalls and let me use blendle to see the article. Right now I have to open a new tab and search the article on blendles website. That adds friction that causes me to use blendle less than I would.
"the researchers are confident they can scale up this table-top technology to an industrial-grade system"

Oh dear.
Even more than that once solar panel companies all realize they should increase prices since homeowners are obligated to buy from one of them.
I guess they welcome patches...
A huge problem with CRMs is the lack of staff engagement. A company will spend $30 million to customize their Salesforce workflow (or their SAP workflow, or any other workflow or CRM tool) but the staff will hate it and so the investment seems wasted. That’s why Natural Language Processing seems like it could be a win for this space. A salesperson should be able to write a quick text message on their phone, and that message should be parsed by an NLP script and then put into Salesforce. The promise of this idea, as well as the problems, I detailed here:

https://www.amazon.com/Destroy-Tech-Startup-Easy-Steps/dp/09...
> [...] programmers asking why git has problems with their newly requested LFS and a 40gb video file they decided to store.

The thing is, git, as our industry uses it, is not really a good tool for
keeping artifacts, and "video" sounds like an artifact, not a source file.
I'd like to see more artifact repositories, especially the ones that you can
talk to from command line or from a Python/Ruby/whatever script. I haven't
found any such thing, so I wrote my own.
Perhaps when you're not such a good hunter, you tend more to use whatever you can catch for food. When you're an expert hunter, you start to think about other possibilities.
I sense that this aims at solving the existential crises that a lot of young engineers at FAMGA are having.
> The program charges a $30/week to cover costs and participants must be located in the San Francisco Bay Area. Sidepact takes a 1% equity stake in companies from companies formed during program upon incorporation.
I agree, this is ridiculous California virtue-signaling at its finest and will result in a heck of a lot of unintended consequences (just like prop 13 has) - meanwhile many of the houses in my city were built in the 30s and 40s and have plaster walls, no insulation, no heat return, single pane glass etc which results in easily 10x more energy use for heating than modern construction would, but can't be rebuilt with modern materials because of the expense and difficulty of building new homes thanks to wrongheaded legislation like this.
I don't get it. I imagine HN feels there's between 5% to 30% chance that humanity kills itself in the next 300 years.

If we accept those odds, isn't there a point where space travel becomes the best our best plan, regardless of dozens, hundreds, or even thousands of astronaut deaths?
Eh, some houses have really funky roofs (my house, for example) or roofs with no south facing surface. But the other thing to consider is that, with solar becoming mandatory, roof designs will be changed to better accommodate solar panels.
> What about letting the astronauts decide what level of risk they are comfortable with?

That sounds like an easy solution and philosophically appealing in a libertarian sort of way.

However, it doesn't work. People can be put under enormous pressure to make the choice that satisfies others - their boss, their peers, their community, etc.; it's commonsense experience, there is a lot of research about that, and a lot of implemented practices to prevent it in safety situations. How many priests in the Catholic Church or employees at Penn State allowed child rape to continue - something which provided zero benefit - under pressure? Or remember the article posted here a few months ago about the sea captain who, apparently under pressure, sailed into a hurricane and killed his crew.

Also, people don't always make good decisions; they shouldn't die for it, we shouldn't exploit them, and we don't want a system that attracts and promotes people for making bad decisions.
If it gains sufficient traction and was found to generate equal or more revenue for publishers I could see them willing to come to the table.

The problem I see with bringing publishers to the table is: How do you distribute revenue? Pageviews? That's what you don't want papers to optimize for right now. Equally? Hardly seems fair. Who decides which publishers are on Netscoopx? What ratio of subscribers to paper subscriptions should Netscoopx maintain?

Overall the idea reminds me of Grooveshark and Aereo simultaneously.
The first question I'd ask is do you really need to be cross platform? Because if not you can save yourself a lot of pain by avoiding C++ and Qt and choosing what's appropriate for the platform (C# on Windows, Swift on macOS).
Port 25 is blocked for every residential Comcast customer.
> It doesn't make sense to say watts per hour.

Perhaps, but that doesn't change the fact that Plasma TVs are generally more expensive to run than modern LCD or OLED TVs. [1]

Pioneer's 9th generation Kuro KRP-600A had an operating power consumption of 478 watts. [2]

[1] https://www.rtings.com/tv/learn/led-oled-power-consumption-a...

[2] https://www.whathifi.com/pioneer/krp-600a/specs
> It is hard to understand people cares about memory useage when desktops nowadays have a lot of RAM. What average Electron apps annoys me is their constant high CPU load. Some apps take ~10% of CPU load all the time.

The problem with the RAM consumption is not when you run a single Electron app in isolation, it's when you try and run a few of them and suddenly you're running hundreds of Chrome threads and you've used 8GB RAM.
Patagonia sues Trump for illegally downsizing national monuments
PS OP: there's a small typo in this copy on the site that I've edited out here, 'the program is...'
That electricity still has to be transported, with the attendant power loss. I don't know the economics behind it, but cheap land being so far from the destination of the electricity's major use might be a relevant factor.
Transportation across single-family-home sprawl, which we explicitly cultivate with regulation, is a far greater contributor to climate change than utility power.
I'm using 64-bit Windows 10. It looks like it has some subtle visual updates, but I'm not sure what might have been changed under the hood. It seems to frequently hang when I try to paste into it, for an interminable amount of time.
OTOH there's concurrency and prefetching logic increasing average queue depth.
They do top up charging on each side to prevent the need for such much power.

http://corvusenergy.com/all-electric-car-ferry/
"But this can also be seen in more subtle and insidious form in the way in which Brexit, for example, was campaigned for in terms of gut feelings and emotions rather than expert statistics and predictions."

Be interesting to know if Americans are jealous of a system where unelected appointees are the only people allowed to propose laws in secret and make ex-cathedra pronouncements for 700 million people together with an unelected (aside from the local crony vote) president who in turn appoints without consultation, the most powerful bureaucrat in Europe.
> It also makes you more immune to losing power in a natural disaster, of which California has plenty.

Unfortunately, this is generally not the case. Most grid-tie solar inverters do not support disconnected operation. They all have anti-islanding features that disconnect the solar panels when the grid goes down (to prevent back-flow into the grid that could injure linemen working to repair outages). There are a few inverters that include an emergency-outlet on the inverter that works when the power is out, but you have to run an extension cord from the inverter to the devices you want to power.

It is possible to buy a hybird off-grid inverter, but they are much more expensive than either plain grid-tie or off-grid, and the power company is going to scrutinize their installation a lot more closely.
Oops, I misread, sorry!
Of course, but then it's not open, decentralized, and permissionless like the web is.

In that respect there's always been an impedance mismatch between the web itself and the payment systems you could use on the web. Cryptocurrency has the potential to change that, which I find interesting.
CGI ‘Influencers’ Like Lil Miquela Are About to Flood Your Feeds
> The fact is, these numbers are made up because the systems are too complicated to calculate based on individual components

No, you can perfectly well calculate component-by-component and come up with the 1 in 500 number. That's what NASA did (at great expense). What they failed to realize was this was only considering known-unknowns, and actual experience using the stack is required to learn about the unknown-unknowns which dominated the analysis.
Thank you for the response! That gives me something useful to be going on with.

In contrast to your comment, I've always found the personal experiences of HN users to be incredibly valuable data points, which is why I shared my own. I'll re-evaluate that.

WRT the guidelines, I'm painfully aware of that one. While I appreciate its wisdom, it means that one can never learn from the otherwise anonymous downvotes, so to my mind it's worth taking the risk. In this case I really have learned something.

Again, thank you.
> You're missing the obvious alternative, which is that Cali could instead tax new homes the amount required to install...

Why why just new homes. Instead tax all electricity consumers on their bills to pay for the solar farms.
Curious: what’s wrong with being connected to the grid (assuming that’s what you meant by “grid-tie”)?
Pardon my ignorance but can somebody educate me on what K-13 means? I know about K-12 and have seen K-14,-16, ... as well but I've never seen K-13 in an international context.

At my local school in Germany the final year was called K-13 but it's probably not what's meant in the article.
man, last week i created https://peg.gy. similar idea when it comes to rating and tagging but no intention of fetching online discussions. it's just a proof of concept for now.

i even created a similar bookmarklet to drag to the bookmark bar, but "Peg it" instead of "Jar It"
On a Java Card or other JVM-unikernel device, Thread.stop() would be the only way for a system watchdog process (e.g. an OOM killer) to be implemented.
Thanks so much! Fixed. :)
>The value of stone money has always been fluid, challenging the Western concept that currency value is pre-determined and fixed.

All money systems have had inflation and deflation. I doubt it's even possible to design a currency that stays fixed in value.

Actually, these stones are more likely to remain noninflationary/nondeflationary than either old (gold-based) or modern (fiat) currencies: because while gold mines don't scale perfectly with the size of the economy and fiat isn't guaranteed to scale with anything, the ability of people to carve giant stone disks sounds like it would advance quite closely in lockstep with general industrial capacity. So in a funny way they're actually closer to be fixed! In history, problems have been caused both by gold's inability to easily expand when new resources other than mineable land were introduced, and fiat currency's ability to expand way too easily in the event of a political failure. Maybe we should switch ;)
You do know who dang is, right?
Actually I am more likely to pay for investigations than for gossip.
>Effect systems are good when all you want to do is write code that has effects. Monads are not really about effects, although they can be used to describe certain classes of them. Monads are nevertheless, strictly more powerful.

This is not true. Monads and effect systems are equally powerful.

More concretely: Effect systems are essentially delimited continuations. Monads and multi-shot delimited continuations are equally powerful, though some effect systems don't support invoking the continuation multiple times and so aren't multi-shot and therefore are less powerful than monads.

You can express any monad with delimited continuations, and vice versa. And using some monad in do-notation, and using the corresponding delimited continuation implementation in normal (non-Haskell) sequential code, will look identical.
"Today’s consumers though have significantly higher standards than the original users of the web. Consumers want immersive experiences, well-designed pages with fonts, graphics, photos, and videos coming together into a compelling format. T hat “quality” costs enormous sums in engineering and design talent, not to mention massively increasing bandwidth and storage costs."

Really? I thought "consumers" just want another shot of dopamine fueled bullshit, prettily packaged of course but crap nonetheless.

The realization that so much "engineering and design talent" goes wasted for this bullshit reminds me of what I said of - when I was 8 years old, 8 years. and people call me a cynical but I softened up loads since then! - the engineers sweating it out to run the Italian national broadcasting infrastructure. All that effort just to run a program the whole Sunday afternoon where a blondie that became famous for showing her thighs would ask people calling in from all over Italy, how many peas there were in a big glass jar: https://youtu.be/tRZ5y9seiLA

Of course they were waiting for the nuclear holocaust any day at that time, some maybe even wishing for it, given the situation...
The article's from December 2017 and you can see from the response headers that it's hosted on GitHub Pages again.

There are plenty of gotchas when serving a static site via CloudFront. Let's say you have a page at example.com/foo/index.html. If you want it serve it from example.com/foo/ then you need to write a Lambda@Edge request function to handle the directory index — the article implies that CloudFront's default root objects handle this, but they don't. That's for the domain root only.

There's also the case of redirecting example.com/foo to example.com/foo/ (adding the trailing slash). That requires a Lambda@Edge response function. It's all a lot of fun to get working, but you do start to wonder if your static site really is static.
Facebook gives you user's first name without auth, use it on your landing page
Step 1: Worry about a serious problem.

Step 2: Virtual signal with a supposed solution.

Step 3: Mock anybody who criticizes that solution (but who also worries about the serious problem).
Escape capsules are not used when the rocket is ok. So, 1 in 10 chance of failure would likely include dammage from an exploding rocket.

NASA's problem was their two failures did not result from any one component of the original design failing. One was used out of spec and the foam had been changed from the initial design.
Rick, it would be nice to post an update tomorrow to see how many signups you got after being featured on HN.
Housing affordability was never going to be fixed with new single family homes. If you’re so fabulously wealthy that you can live in a house, let alone build one, you can afford this.
Gasoline evaporates under most normal conditions when exposed to air. Fiel soaked rags have been known to spontaneously ignite in garages.

I think what you're describing is the decades of safety advances we've had in ICE engine design that allow for safe fuel storage.

I'm not trying to say that storing hydrogen is easy, I'm just saying that there's probably a significant amount of things we can do to bring the hazard level down, and there would be a real push for more work on those things if we were routinely using these units at our houses.

That is, we would also view the proximity and operation of early model ICE engines to be too hazardous. We've come a long way since then.
VC doesn’t need to be the asset class benefiting, does it? Doesn’t most of the cream and benefit of innovation in the startup space end up getting purchased by first the big tech firms (Cisco, Oracle, Facebook, Apple, Microsoft, Google), second the S&P500, and rarely the public markets?

I remember the panic of the ‘90s about the coming disruption from internet technologies, but at best it has been a horizontal revolution, rather than a vertical one, and the same wealth and power centers have survived.

You would think that a new, superior set of technology and process would revolutionize, say, the hiring process. Instead, the brute force of lots of money provides a moat where HR, hiring managers, teams, and candidates are protected from meaningful disruption and progress.

All that said, my comment is almost certainly nonsense. I was referring to the broad sway of competitive advantage and the inertia of inadequate equalibria (more nonsense, surely). If you believe I am not properly building a warrant against the technical meanings on investment analysis terminology, you are right.
There's so many things wrong with this article, but I'll focus in on one particular thing:

> I paid $70 to buy the apps, but then the company switched to a $40 a year annual subscription, and as the dozens of angry reviews and comments illustrate, that price is vastly out of proportion from the cost of providing the software (which I might add, is entirely hosted on iCloud infrastructure).

...does this person understand how software works? Yes, the marginal cost of providing software to a particular person is almost always very low, sometimes so low it basically rounds down to zero. But you're not just charging to pay for the costs of delivering the software, but for developing it, too. And, of course, some goes to profit, which is perfectly reasonable in a capitalist word.

With businesses who are mainly reselling a thing, looking at it as "cost of thing + X% profit" is a perfectly reasonable way to frame things. There's only so much value a retailer or middleman can add, and generally there are competitors that could offer the same item. But when it comes to software, each individual item costs basically nothing to provide, so that kind of analysis fails and you have to accept that the price is essentially arbitrary.
Where is the Spotify for news content? Make me pay a flat rate, and distribute between the news outlets proportional to which I used the most? That seems fair
Tangentially - how about mandatory rainwater storage? A sink for rain to reduce flooding, and a source for grey-water (non-potable water, although residential purification is entirely possible) to alleviate pressure on reserves in times of drought.
> figure out how to outfit odd shaped surfaces with panels.

Well, if it's mandatory, then we may see roofs being developed/built that are more friendly for installing panels on. Most homes with panels had them installed years after the home was built, in many cases before "installing solar panels on your roof" was a thing people could even do on their homes.