skysight-inc/HackerNews huggingface dataset:
Let's all reminisce about https://en.wikipedia.org/wiki/Project_West_Ford @ http://stuffin.space/?intldes=1963-014AA&search=westford and hope for some really
magic fairy dust sprinkling brighter through the light shine of our frozen cityscape hells.
It depends on the application.

There are plenty of applications where Li-ion is not the optimal solution. Li-ion is not the defacto standard for a myriad of reasons in various sectors. Certain massive installations have requirements that li-ion cannot work for. For consumer electronics, maybe li-ion is the best thing we have but for other applications there are breakthroughs made on yearly basis.

Enerpoly for instance have prototyped Zinc-Manganese batteries that have great life-cycle, are rechargeable and have great power output for less than 40euro/KWh. In the next few years you will see more and more solutions targeting specific industries and needs. Li-ion is not a silver bullet as its production cost and lifetime is not the greatest of all the solutions offered.

http://enerpoly.com/technology/

Full Disclosure: I know the CEO of the company and this is not an ad or anything like that. I just want people to pay more attention to upcoming improvements in the sector.
... And reduces corporations profits. They want to sell you the same product cyclically, not once in your lifetime. Corporations don't give a f*ck about saving resources, reducing waste or providing jobs to repair technicians unless it hurts them economically or they take a cut somewhere in the process. That's the 'bad part' of capitalism.

Anyway I agree with you. It's a pity that open source hardware is still in the infancy. Software shows us that open source can be unbeatable and even corporations have to comply if they want to survive.
JamesG.app – Publicly Traded Person
What Are Cats Thinking?
Source?

That ultimately reflects better on Tesla’s bottom line than current or near term electric car production across the industry. They’re not selling their batteries at cost to other manufacturers. Until the rest of the industry is at their level the full effects of those lower prices won’t be realized in the market.
I don't think that's the case. Lede is at best an alternative spelling, according to https://en.wikipedia.org/wiki/Lead_paragraph#Spelling

and FWIW, I'm British and I've never seen it spelt lede outside of this forum. I guess it's an American thing, and even then, it's pretty wrong.
The thing that impresses me with factorio is how smoothly the game challenges scale with you learning and mastering one game aspect after the other. Basically, you learn something that solves all your current problems, but that directly creates new problems, which you then have to deal with using your newfound powers.

The actor architecture makes it very easy to scale the simulation across several machines and indeed run a simulation cluster that you connect to from a simple client. In fact it already almost works like that. And the only thing that's missing for multiplayer is some UI-level coordination for collaborative planning (basically preventing editing conflicts). Everything else is already "multiplayer ready".
There can be benefits to having a ‘native’ Scala library, which uses scala idioms, but realistically it would probably just wrap the Java one.
You indirectly mentioned it in passing (through the corollary), but it's a very real issue: hospitals simply would not report anything. This would even encourage hospitals to do things such as ensuring that things such as this are not detected. No need to report an outbreak if you don't/can't detect it! This is a particularly great example of unforeseen consequences. Though in this case (and many) these unforeseen consequences can actually be quite foreseen if you just consider practical reactions to things.

And as a consequence of the above, the current system is also likely more beneficial for patients as well because hospitals need not worry about anything other than doing as optimal a job as possible. Something like this sounds like it stands a good chance of eventually spreading everywhere. And so would you be safer at a place that has or has not detected it? Obviously you'd be better off in a place without it, but again once we introduce those unforeseen consequences a place not detecting it is absolutely not the same as a place not having it. By contrast the place that has it has indicated that they are actively screening for it and presumably doing all they can to try to manage it.
How does the structure behave in a fire?
Well the answer to:
> Could you give me an example of such a real number that we can not write down?

Is clearly: No, I can not.

But the answer to the question "Are there real numbers that can not be written down in _any_ way" is clearly: yes.
If the question is understood as "Is the set of reals bigger than the set of naturals?".

So there are cases in which the answer to "can you give me x?" != "is there an x?".

So back to you original question:

> > not everything can be explained with math
> Can you give me any examples? I'm curious.

I guess nobody might be able to give you any examples but they could still exist.
Really? That example looks more like a way to pile guilt on yourself.
I don’t know. Probably these were internal communications between the companies. Where I heard about it was Musk summarized the situation in one of his interviews, but I have no idea which one.
It's not really about individual morality though. It's about the system, incentives, and aggregates.

Take 100 people in a situation comparable to his and given the same opportunity, maybe 10 partake in treason. We should aim to lower the total amount, the rate willing to partake, or both.
It still necessitates a restart, at the very least
Building the System/360 Mainframe Nearly Destroyed IBM
They use LiFePO4 so it's chemically inert, and it's protected from shorting out due to mechanical damage because the entire composite acts as a thermoresettable fuse.
"his relatively simple LSTM-based neural net compressor is 10x faster than one of the more complex state of the art algorithms while delivering comparable compression ratios."

No, it's 10x faster than an experimental, completely performance-unoptimized LSTM model that is far from state-of-the-art on its own. From the paper:

"Regarding the speed, our results show that our implementation is much faster than lstm-compress[8] with a similar model and gain. The speed improvement comes from the more optimized matrix multiplication implementation and the larger batch size (16 instead of 1)."

Of most interest here is the library used, LibNC, which might allow us to speed up cmix a bit (even making it 2x faster would already help a lot in testing).

Disclaimer: I've worked on cmix with its author
If it's under eight pages I print it out so that it's easier on my eyes.
I'm neither in silicon valley nor a CEO. Are you sure you're alright?
Interesting, can't get any nytimes nor wsj links to work on outline.com. The other few publications I tried did work. Is there finally a crack down?
>it’s very obvious that alcohol is literal poison

Faulty logic. Practically everything can be a poison. The poison is the dose. There is no argument that heavy alcohol use is detrimental to your health. There is still quite a bit of argument whether or not moderate alcohol use has benefits. And where are the benefits? Does it benefit the human as a whole as in- the benefits in one area (anti coagulant, anti inflammatory) outweigh the additional risks of (throat cancer, breast cancer)?

Doesn't seem obvious to me. You should conduct a study where you simply proclaim things as obvious.

The Earth is obviously flat, just look at it. /s
And that's not all! - "The decompression speed is slower (1.5x slower for the LSTM model, 3x slower for the Transformer model)"...
Hi kawera,

thanks for asking :) this webapp is in Saas format at this moment, but if you are really interested in a self-hosted option i can study to create an On-premises format

Reach me here if you want to talk about it: support@sprintcost.com
Tesla info: https://cleantechnica.com/2018/06/09/100-kwh-tesla-battery-c...
thanks. it seems that already (considering only GEDMatch's 850000 samples):

> Its also striking that were already in an era in which familial searches against publicly accessible SNP databases are feasible for a lot of cases, probably the majority
of cases where the suspect has substantial recent ancestry in the US
I let a stranger watch me work for a day and I've never been more productive
>Java allows circular imports between packages.

>

>Go does not.

Huh? As a package maintainer for a lot of Go stuff, I had to deal with tricky cyclic dependencies several times, especially in Google own Go packages like golang.org/x/build and google cloud.
Death and vomit... classy bro. The 3 is different from the S. And personally I do glance at the screen safely when needed and there is nothing wrong with that.
If I will add scripting, I will probably use JS, since I already have interop with that in the browser UI. Gluon or Dyon are neat, but they are weird enough (in my opinion) that people might as well learn Rust instead of scripting.
To both questions: Assuming all the evidence has the same veracity, yes.
I can assure you that you don’t need to be a FAANG for tuning to be necessary...
I was coming from the Lisp perspective! Or at least Clojure...

Maybe it's a language issue. I would say a 'loop' has a jump and a condition. So that's 'for', 'while' and 'do' in C, JS, Python, Pascal, Java...

Lots of languages including Lisp have recursion, maps etc but I wouldn't call that looping. Clojure even has TCO recursion but it only returns one value, not a sequence (unless you accumulate the whole thing)
Didn't we just see last year that a stabilized sodium-ion battery is partway through productization work[0] and proofs of concept are available? I can't find any mention of this fairly important and rapid work in the article?

Lithium Ion batteries will be cheaper for a while, but once sodium ion batteries can be produced at scale it'll greatly reduce global dependence on very specific regions for high yield lithium mines. The net result will be cheaper batteries.

[0]: https://www.sciencedaily.com/releases/2018/09/180912111913.h...
1. Here: https://news.ycombinator.com/item?id=19586915

> Explaining why it is unlikely (from a theory perspective) that languages like Haskell have a significant effect on correctness is easier [2]

> It's relatively easy to classify which program properties can be assisted by the language and which cannot. Those that can (e.g. memory safety and type safety) are called inductive (or compositional). They can be helpful, but the vast majority of correctness properties aren't inductive. Inductive/compositional means that the property is preserved by all primitive operations in the language.

2. Because homeopathy's claims and method of action can be dismissed a priori, due to the fact that they don't follow the laws of nature or the chemical principles of solvation.

Further, your are conflating the question " could (typed) FP be use for correctness" with " should (typed) FP be use for correctness", and while the answer to the first one is trivially "yes", you appear to be chasing the answer you want ("no") to the second question. This puts your approach closer to that of the homeopaths.
There are probably some examples of how economies of scale discrepancies can be overcome by external market conditions from the WWII/I days. (Steel? Aluminum?) Basically government or significantly increased demand for those alternatives could push past the benefits of economies of scale of existing tech. Pricing carbon emissions or political outrage from the effects of climate change could do it.
It looks like all of the dictionaries in the world need to be corrected on that point.
I am! Though note the project is kept purposefully small in features.
what is pwa ?
A kind of metric for Citybound for me is "can some of the world's most interesting/unique cities happen organically in it" - so canals would be an example of that.
I dislike the redesign very much.

I've made a very simple open source extension to automatically redirect all reddit.com and www.reddit.com links to old.reddit.com.

- https://github.com/aaomidi/reddit-fixer

- https://chrome.google.com/webstore/detail/reddit-fixer/boahh...

- https://addons.mozilla.org/en-US/firefox/addon/reddit-redire...
It's called tax code.

...and then all the corner cases go to tax court.

Thing is, life is more complicated than law.
The cost of poor contact data
Community Trading with Experts
Paying Apple monthly for music, news, games “lifetime services” for the next few decades is only good if you want your money added to their massive experiment in tax evasion instead of folded back into your city, state, country, education, healthcare etc.
I can, though I’d prefer to find a champion who can help support an f-droid version; at the moment I have difficulty supporting the google play Android version since I don’t have an Android :(
NYT articles can be read by opening them in a private tab.
People deciding to stop acting like savages towards one another.
It was obvious that blowing up things in orbit is a bad idea.
Lol nope! Good catch thanks!
Would you kindly elaborate on how it’s justifiable to equate murder with a nations deterrance?
Per my other reply [0] maybe my definition of loop, based on C, was too narrow.

I draw a distinction with map, recursion, lazy sequences etc

[0] https://news.ycombinator.com/item?id=19591233
I'm a big fan of the pattern introduced by Yesql for Clojure [0], also ported to Python as anosql [1]

[0] https://github.com/krisajenkins/yesql
[1] https://github.com/honza/anosql
I think this was actually a surprisingly weak showcase from Apple. Something in the TV space with a bit of bite at Netflix would have shown confidence in themselves, a new avenue for creativity that consumers are so engrossed with (i.e new Netflix shows and films are in themselves, events. People talk about the newest Netflix show like a new product release).

Instead they showed a credit card, that look's nice, but I fail to see how Ben think's that reduces churn (credit cards aren't sticky, incentives are - no one will buy a new phone because they're middle of the road rewards are there) and then a subscription that would have been a footnote in a Google or Samsung keynote. Those subscriptions for news (and even more so for Games) are non-events. They are so boring, so anti-sticky that they made me think this whole thing was actually a failure - and Apple shouldn't have made a song and dance of it and just talked about during the iPhone keynote.
Fair enough. cmix is awesome work, obviously, and I'm looking forward to the ideas becoming production-ready. Probably the most notable contribution by Fabrice Bellard is having something relatively simple.
Weird, because all of them I check say: "an economic and political system in which a country's trade and industry are controlled by private owners for profit, rather than by the state."

Which dictionary do you use that mentions qualitative economic outcomes as part of the definition of adjective-free "capitalism"?

Let me just cite a few definitions:

Merriam Webster: "an economic system characterized by private or corporate ownership of capital goods, by investments that are determined by private decision, and by prices, production, and the distribution of goods that are determined mainly by competition in a free market"

Dictionary.com: "an economic system in which investment in and ownership of the means of production, distribution, and exchange of wealth is made and maintained chiefly by private individuals or corporations, especially as contrasted to cooperatively or state-owned means of wealth."

Wikipedia: "Capitalism is an economic system based on the private ownership of the means of production and their operation for profit."

Oxford Dictionary: "An economic and political system in which a country's trade and industry are controlled by private owners for profit, rather than by the state."

None of these imply the quality of the free markets capitalism operates under. So... maybe we're all safe? Capitalism is about profit, and how only profit-seeking entities have political power in proportion to their capital on hand. If the products are bad but they're profitable, that's just as valid to unqualified capitalism as robust group of roughly equal actors competing vigorously.
Hey, I built this over a few weeks. If you have any feedback please let me know!
Very interesting not only for professors but also for students as myself. I had a similar workflow for my assignments using Markdown and pandoc but this template is better in so many ways that I may change my workflow.

For those that want to try this without the manual and painful installation process I found that pandocker[1] supports this template.

[1] https://github.com/dalibo/pandocker
I used to, but in the last few years I don't think I've printed out anything.
Redundant with https://news.ycombinator.com/item?id=19590180 already on front page.
> ORMs solve a real problem: SQL isn't composable. That's it.

How so? I've always found the opposite. I can build up a compilex query referencing many tables in SQL without impediment but am unable to do the same with an ORM.
Article by Buffy Gorrilla, huh? I like it.
I'm not sure that's quite true. The very first sentence from the wikipedia article on Capitalism[1]:

> Capitalism is an economic system based on the private ownership of the means of production and their operation for profit.

I do agree however, that capitalism and free markets are so often confused (much like "I could care less" and "I couldn't care less") that there may well be no point trying to distinguish the two in ordinary discourse. Perhaps we need a new word to represent what "capitalism" was supposed to mean?

1. https://en.wikipedia.org/wiki/Capitalism
As far as I'm aware, the major difference between a "premodern" economy and a "capitalist" economy is that historically, outside of China, the owner of land wasn't legally able to sell it. This would make capitalism the opinion that ownership includes the ability to alienate yourself from your possessions.
I always run subtitles too.

I work they use fewer words....it's unfortunate when it spoils a delivery several seconds before it happens.
This is essentially how I run my team. Very close.
Firefox OS was doomed to fail. They created an operating system which used the slowest rendering and JS engine there was and put it in the worst hardware they could find.
Check this as an introduction: https://en.m.wikipedia.org/wiki/Safety-critical_system

In general I think the direction is to cover any software development with formal proofs to detect any posibility of unexpected system state.
A salary is not about fairness. What is the market rate for someone with your skills, experience, and credentials? Look it up.

If it turns out you are being underpaid, why should you continue to work at a discount?

Also, the stock options are worthless. They are not something to count on as having real value. They are a bet you have taken. Pure speculation.
I love that YouTube channel..."and here we go!"
The problem isn't that we don't know how to make more powerful batteries right now, the problem is safety. The more powerful your battery, generally the more dangerous/flammable/explosive it is when it fails. The only reason we can even use lithium ion batteries as much as we do is their exceedingly low failure rate. So not only does any new and better batteries need to hold more power, they need to be more stable and have more graceful failure modes.
This will be helpful to a lot of people! thanks for sharing!
Rams has contributed valuable lessons to the design community. You can read more about how his work influenced Apple products here: https://www.cultofmac.com/188753/the-braun-products-that-ins...

His utopian perspective only works if a designer of his caliber is balanced with a visionary CEO. He had a chance to work with such a CEO at Braun. The last time we had such a magic duo was with Steve Jobs & Jony Ive.
That makes no sense. SVG _is_ the vector equivalent of PNG. Just because it's defined in an xml namespace that can be directly embedded in html, doesn't mean it is somehow bound to it.
It seems like simplifications don't last long anyway as the real world impinges...plus, the rats always head right for the cheese.

To me, it's like the handwaving you hear about simply using a consumption tax. No doubt, people would find an infinite number of ways to game the system toot sweet.

Of course, implementing socially desirable behavior via tax law just throws even more complexity in the mix. Generally, I'd say that the larger the government share of GDP, the more opportunity for craziness. If your underlying culture doesn't reign anything in, mayhem results.
Have you seen a real book contract? I haven't.
“Show me your flowcharts, and conceal your tables, and I shall continue to be mystified; show me your tables and I won’t usually need your flowcharts: they’ll be obvious.”

—Fred Brooks, The Mythical Man Month
I’m confused by the differentiation of 100$/kwh at the cell level vs pack level? Does that mean they’ll still have more than that cost due to the non-lithium parts of the battery for the short term but not the long term? Ie their 74kwh battery might someday cost 7400$ but with the cheaper cost per cell its more like 7400k+X where X is the cost future tech may reduce?
aside note folks....there has been a very severe increase in spurious attempts to hack email accounts if you by accident email any person in China ...I recently had to stop sending any email comments to Chinese developers via email..

Not sure if its widespread but there was a significant uptick recently.

This not legal advice or even security advice..but take care
I miss the old macbookpros (and by old I mean 2011 I think ? )

You could replace the battery, RAM, hard drive, optical drive and maybe even CPU (I haven't tried that last one) yourself, with just a screwdriver.
> You're in private mode. Log in or create a free New York Times account to continue reading in private mode.

This appears to not be universally true.
So if I'm understanding right, this isn't like LineageOS[0] for Android, which builds a system from the Android Open Source Project (AOSP)[1], but a "romhack", or modified system? Pity. I naïvely hope that running a fully open source system would be easier on a phone like this, since it's simpler than the latest and greatest in the smartphone world.
Realistically, they probably still run the same radios which never have sources available.

[0] https://lineageos.org/
[1] https://source.android.com/
Visited twice, have witnessed this both times. They could have taken an uber or taxi? But honestly, its safe enough that you dont need to worry about waking up with your wallet and shoes stolen. I did the same thing with a group of friends after a night of partying and we missed the last train and didnt want to bother with spending extra money on a taxi.
From the article, it's clear that the "10% use" is only a myth. So:

> How can we increase it? --> Nah

> I heard if you use 100% you'll fry. --> No

> Another thought is that we do use all of it daily just that we don't know today on what. --> Probably yes
NirSoft, a collection of small and useful freeware utilities
It is really disappointing.

Also, HN finds usage of “whataboutism” a cliche perpetuated by The Last Week Tonight (John Oliver).

It is whataboutism. I don’t give a shit if it was perpetuated by some TV show. What matters is that HN needs to stop comparisons and distracting the conversation to historical artifacts “oh look, US engaged in Slavery 150 years ago so it is unfair to criticize working conditions at Foxconn”.

We need to stop doing this guys.
Gattaca was prescient. It was a glimpse of what our future will look like if things continue this way unchecked. While those of us paying attention will find it terrifying, the majority won't notice or be bothered by it I fear.