skysight-inc/HackerNews huggingface dataset:
Everyone charging at home in off-peak hours "fills in the bathtub" on energy usage charts. Peak demand during the day is huge, and it drops off substantially at night. We already have the power capacity to support every car switching magically tomorrow to EV so long as everyone agrees to charge in off-peak hours.

Yeah, there's absolutely no reason for chargers to be rare. In much of the world we have the electricity already spread amazingly wide. Every outside plug is already a potential Level 1 charger. You may frown at how slow Level 1 "trickle" charges, but think about how long most cars spend sitting somewhere, anywhere. Gain a few miles every time the car is parked. You can't put a gas station in every parking space, but you can certainly put a boring old fashioned three-prong plug there. (We have that technology. We've had it for like a century now.)

"Charging Stations" as a construct are certainly a convenience, especially when looking for reliable charging away from home, but chargers can be anywhere the (electric) light (bulb) touches (and that's a lot of the developed world). Thinking of chargers in traditional gas station terms is missing the opportunity, and confusing how the supply chain works. We don't need to centralize big reservoirs of "fuel" to maintain an EV fleet, we use the electric grid we've already spent a century building out, diversifying, and largely decentralizing.
It appears in the case of the Move language it doesn't actually contain a 'linear type system'.

> The claim of the Move language to use of linear types appears to be unsubstantiated by a dive into the compiler as it reveals no such typechecker logic. As far as one can tell the whitepaper cites the canonical literature from Girard and Pierce and does nothing of the sort in the actual implementation.
The problem being highlighted is precisely that sites are no longer being made to be standards compliant they are being made to work with Chrome. It's not a question of WHY it doesn't work in other browsers or WHY it was made that way, it's just that things aren't made based on being standards compliant anymore.

Also I recommend checking out the post/page if you think it was just a 2 hour pump and dump css show off. It's multiple pieces made by handwritten LESS on the order of 4,000 lines over hundreds of commits per drawing.
> a tiny fraction of them are covert activists

Source?
Yawn ...
Building a native add-on for Node.js in 2019
Kenneth from Stripe here The demo is using https://hyper.is/ with it's standard dark theme and terminal splitting which is built in.
I might sound a bit dumb here, but would a cron job that runs daily, finds customers who haven't been billed in 30 days, then tries to bill them and disables their account on failure easier than dealing with webhooks/etc.?
Well, if I wanted to say that, that’s what I would have said....

But I said variants. But, if you take MacOS out, the statement remains.

And seeing that iOS is now running Microsoft Office a version of Photoshop and is using more powerful processors than most x86 based PCs, we can complete take out MacOS and just iOS.

I said nothing about popularity, I was saying successful. Success in a business isn’t marketshare or popularity its profitability. Seeing how little profit that OEMs are making selling either Android devices (most of whom are losing money - except for Samsung) or PCs, I wouldn’t be surprised that Apple is more successful than all of the PC makers combined selling Macs and its well known that Apple captures more than 70% of the profit in mobile.
Thanks so much for all the food for thought and recommendations. I had a hunch for "capable of recovering", and now I have a clearer roadmap (some critical steps). I see your way of thinking. This in particular:

> Think in terms of how to prevent inevitable unreliability from snowballing, how to make the satellite resilient against inevitable damage and malfunctions, as well as reducing that bottom-level unreliability to an absolute minimum.

High-availability of components seems like a given to me (e.g. have 2, 3, 4 batteries as distant from each other as possible, to mitigate loss if one gets shot by some collision or outright fails; rinse and repeat for every critical component, starting at circuit design). In another comment, user "pjc50" suggests to me “"lockstep" chips, such as TI Hercules”, and yet my intuition would be to put two redundant ones on each satellite, just for good measure.

But the ultimate economics of the project can be made to work, imho, because I envision a swarm of such tiny satellites actually, wherein you can afford to lose a few nodes now and then, if that makes all of them orders of magnitude cheaper — and thus you can send orders of magnitude more, overall. Brute-force the reliability issue by making them expendable to a reasonable degree. No human life means they can die for all we care, if it makes sense cost-wise. Hence why in that perspective, a discussion on the cost versus benefit of formal methods is of great interest.

Needless to say, any advanced draft of the project would inevitably have to be vetted by, actually co-developed with field experts like you. To each contributor their domain. I hope it will be a given too, since I'm thinking of a 100% open-source project (both software and hardware ideally). The more eyeballs...

____

I see your points about blockchain, and they make a lot of sense; the problem I see with current 'cryptos' in general (including the big one) is that they simply aren't welcomed by most decisive institutions, including those who combat on principle the problems you mention. Like, you see the EFF et. al defending e.g. E2E encryption, but none of that drive to promote bitcoin.

Thus that 'respectable' cryptocurrencies exist to solve these problems, sure, please, yesterday! — but that they reform the financial system by their very existence? There doesn't seem to be much appeal in the mainstream. I think it's a matter of time, how much each generation weighs demographically in the global opinion / decision power. For now, it's boomers, and they're not in that place.
Other thread about this
https://news.ycombinator.com/item?id=21454344
"Google Assistant can be hijacked by a $2 pack of screws!"
> Comments: Published version, apart from minor editing (e.g. corrections of 'center' to 'centre')

> Journal reference: Eur.J.Phys. vol. 37, 035602 (2016)

If Brexit occurs, Britain will no longer be a European nation, and therefore the European Journal of Physics will no longer be obliged to accept "centre" as the standard spelling of "center", right?
'Fantastic day for elephants': court rejects ivory ban challenge
Gunpowder, Treason and Plot I: The London Mission (2014)
Thanks. Well spotted. It was annoying me that I couldn't find the extant product.

https://www.lacrossetechnology.com/c82929-connected-projecti...

A lot of devices have a hard requirement for 2.4ghz and 802.11n and the need for awareness of this is not trivial.

I have been reduced to keeping track of each mac address on my network and it seems like all the IOT devices use the same group of generic Chinese chipsets.
Selling deep ITM options is one step in the "hack" to create infinite leverage / infinite buying power.

Buying weekly OTM options is the "yolo" they do once they mess up Robinhood's margin into giving them hundreds of thousands of USD of buying power.
As someone who has spent a lot of money on backcountry.com I have to say i'm really disappointed and will be directing my money elsewhere.
Makerlog – The community where indie hackers and makers ship products together.
These are both mainstream politicians. Perry was a governor of Texas, a plausible Presidential candidate, and is now DoE Secretary. Gingrich was and is quite active politically.

You're arguing in bad faith, and I will not engage any more.
11,000 scientists, in fact.
The currently proposed legal framework for ISA's[0] seems like it would make ISA's dischargeable in bankruptcy, which would likely cause all sorts of issues with people signing up for them, using them to pay for tuition, and then immediately taking on as much delinquent debt to declare bankruptcy. That seems like a very perverse incentive for schools to deal with, since degree's are permanent but bankruptcy only stays on your credit report for a bit.

[0] https://www.forbes.com/sites/alisongriffin/2019/07/18/a-rare...
I find voice controls so frustrating that I don't see the appeal.

Maybe once "okay google" works correctly on my phone, I'll start using one of these.
Sure you can.

Amazon, Facebook, Microsoft, Google, and Twitter all have offices in the Detroit metro area.

Any medium sized city will have at least a few insurance companies looking for developers. Not to mention other random tech jobs and startups, especially if it's a college town. I worked in Lansing MI for 3 years after college and it was one of my favorite jobs I've ever had.

Madison Wisconsin, Omaha Nebraska, Minneapolis Minnesota, St. Louis Missouri, are all places in the Midwest that are going to have plenty of tech jobs.

Then of course, there's Chicago, which is a bit less affordable than the rest of the Midwest, but still better than San Francisco or NYC. They have a huge tech scene.
> People expect them to use a politically neutral algorithm.

There is no such thing as a politically neutral algorithm. Algorithms exist to implement decisions that have been previously made, and these decisions are political in nature. Neutrality is the name given to people and institutions that support the status quo, and therefore they cannot be viewed as apolitical, even though, for lack of understanding, many believe to be operating outside of politics.
How will Apple, Disney, AT&T and Netflix retain streaming subscribers?
In the Gates/Ballmer era MS was definitely about Windows. They even withheld Office from iOS even though they had it ready during the Ballmer era to prop up Windows.
Is that better or worse than allowing all sorts of unregulated crazy behaviour via free market incentives?

I'd rather imperfect regulation and tweaking lobbying rules than toxic waterways etc.
Indian Order of Precedence
> Motosport.com

Well that's unfortunate to see. Motosport has always been pretty good to me. Looks like I'm finding a new store for dirtbike parts.
Laravel Forge: User Isolation
That is a bit more difficult to reckon.

A distant observer watching their unfortunate friend falling into a black hole will see their friends clock tick slower and slower such that they will never, from the outside, be seen to cross the event horizon, the passage of time will slow towards zero. From the outside, time does not appear to pass at all inside a black hole.

The unfortunate traveller, however, won't even notice the crossing on a bigger black hole.
For those that care to know more. Super Graph works as a GraphQL to SQL compiler which also learns the schema and relationships in your DB to turn your GraphQL query into a highly efficient SQL one.
Radioactive decay on Earth may vary with the rotation of the sun (2010)
It's actually remarkable how much heat a simple "soda can solar panel" or "downspout solar panel" can inject into a room. Add a photovoltaic panel to run a 12v brushless 100CFM fan to stir the air and inject the hot air into the room, and you have a "free" source of 120F air to heat a few hundred square feet. Add a south-facing window shining sunlight onto a dark grey slate tile floor (which acts like heat sink) and the floor will release that heat well into the night. So with two very simple passive elements, one can, to a large degree, supplement a traditional heat source (heat pump, gas furnace, etc.). I've seen this approach work with vacation cabins in the mountains, and RVs, a well as the traditional house-on-the-cul-de-sac.

These heat collectors are cheap and simple to make (<$500), and should be quite reliable, giving a +50 degree F delta with almost zero maintenance and no utility consumption. The only moving part is the inexpensive and reliable fan.

* https://www.pinterest.com/jayhike/soda-can-solar-heater/ and https://lifehacker.com/build-your-own-soda-can-solar-heater-...
It's quite funny how stereotypical American Ben's blog is. The most important idea that is made explicit in the post (but not justified) is that of the marketplate of ideas, or that 'connecting people' (Zuckerberg) provides meaning, and that speech and an increase in information is a means to mount resistance against the powers that be.

one alternative view was presented by Baudrillard in 1985, talking about the 'uncertainty of reality'.

>"[It] results not from the lack of information but from information itself and even from an excess of information. It is information itself which produces uncertainty, and so this uncertainty, unlike the traditional uncertainty which could always be resolved, is irreparable. … Overinformed, it [the masses] develops ingrowing obesity. For everything which loses its scene (like the obese body) becomes for that very reason ob-scene.

The silence of the masses is also in a sense obscene. For the masses are also made of this useless hyper-information which claims to enlighten them, when all it does is clutter up the space of the representable and annul itself in a silent equivalence. And we cannot do much against this obscene circularity of the masses and of information. The two phenomena fit one another: the masses have no opinion and information does not inform them"

His point being that it is not a lack of discourse but precisely our constant rehashed and fractured discourse and feedback loops between what is real and representations of the real that make either indistinguishable from another. Viewed through this lens speech is not liberation, it's merely participating and destabilizing truth and feeding the very system that it is supposed to criticize. Autocratic lone empires without resistance always fall down, real systems of control allow for their antagonists to persist within them, without of course ever accomplishing anything other than simulating resistance. Think of the Kendall Jenner Pepsi commercial.
It’s so ironic how Gates, who looked and acted as a stereotypical übergeek, found ultimate success by... being a shrewd businessman and doing as little own work as possible. And still, most non-IT people think he was some sort of hacker genius.
Not quite. The issue is that Robinhood incorrectly valued the stock collateral covering a short call position. It should be valued at the strike price of the call option, rather than the current spot price of the security.

Eg, suppose FOO is trading at $100/share, and you have $5k of cash and $5k of free margin. You use all $10k to buy 100 shares, then sell a call option with a strike of $60 for $40/share.

Under RH's calculations, you have $5k of account equity, $10k of stock and $4000 of cash from selling the call. This qualifies you for a margin loan of up to $9k.

Under the correct calculation, the stock is only worth at maximum the $60/share strike price of the short option, since that is the cash you'd get if the option is exercised. So you have $5k of account equity, $4k of cash, and $6k worth of net marginable securities.

The advantage of this is that it treats out-of-the-money covered calls better. If you sold a call option on FOO with a strike of $105 for $2/share, you should have $200 extra free to spend on stuff. Selling extrinsic value should wind up generating net cash that users can use for whatever purpose they want. Selling intrinsic value, on the other hand, is selling a portion of the economic right to the underlying.
>If you're genuinely interested in escaping your info bubble

What info bubble? There is hardly any critical analysis in the press about the constraints of solar and wind.

I watched the video you posted from the marker you linked to. The author identified a 'conservative' objection to solar and wind as lacking an effective storage solution (why is that a conservative objection?). The author's retort is that we merely lack a 'can-do-attitude'. No seriously - those are his words and the crux of his response. He argues "If mass storage systems don't exist, then invent them, use Li-io, or compressed air storage, or gravity storage".

Except none of those are actually viable technologies to supplant a natural gas peaker plant that is REQUIRED to backup large solar and wind deployments. Take the Tesla battery deployment in Australia which the author claims is an example of what can be achieved if we just put our minds to it. That battery deployment is not meant to provide power when solar output is negligble or non-existent, it is there to even out grid load, and supplies energy on the order of seconds. A battery back up of solar and wind deployments on the scale of a nation's economy, would need to provide enough storage for WEEKS of energy - there is NO battery technology today or upcoming that can do that. You can see that by looking what nations like Germany that want to go renewable, are actually doing.

I get the 'can-do-attitude' line of thinking, but let's be clear, this line of argument means that 1) we cannot replace fossil fuel sources TODAY and with CURRENT technology, with renewables, and 2) sometimes no amount of 'can-do-attitude' can beat thermodynamics. We used fossil fuels (fundamentally a 19th century technology) becuase there aren't a lot of other options. Energy density of fossil fuels is not trivial to beat.

And yes, this is typical. I want to understand what an economy based totally (or mostly) on renewables would look like and all I get is a a pot-pourri of things that don't exist that we need to invent.

>And yes, climate change deniers are the real problem

You spend an inordinate amount of time on climate change deniers. I've never claimed human-driven climate change is a hoax or that our best science is wrong on the effects of it. Why bring it up? And why implicitly try to link me with those guys?

I suspect this is because it is a low-hanging fruit that allows you to criticize an easy to criticize group without focusing on the fact that renewables are not getting us to where we need to go. It's like focusing on creationists when your school system gradautes functionally illiterate students. Yeah creationists are a problem, but not THE problem for solving illiteracy.
Thanks! We still have a lot of work to do. (Making our integration experience simpler -- now that Stripe's functionality has grown so much -- is an area of current focus. If any HN readers happen to have specific suggestions on this front, feel free to email sebas@stripe.com.)
Potentially, but Stripe has a lot of features you might have to duplicate in that case. They automatically re-attempt (including machine learning that tries to do it when the card's least likely to be maxed out). They send email receipts, handle SCA notifications if additional authentication is required...
I put the phone far enough away that I have to get up and got get it to turn off the alarm. And then I'm already up.
JavaScript itself keeps changing, so we need to keep pace with that, for one. Beyond that, we relentlessly seek to improve how people interact with our editor tools, and make additions to the (type) language and compiler to support that. .d.ts files from js files, for example, are highly motivated by a desire to better support incremental compilations with .js inputs, as .d.ts files are used as incremental metadata. Assertion signatures were added to better express the cross-call control flow patterns some (assertion) libraries already use, to make using them in a well-typed way more ergonomic.

Generally speaking, it's not often we add something that _invalidates_ the old way to do something (in the language) - our additions are usually made to make new patterns possible to express.
AT&T to pay $60M over U.S. allegations it lied in 'unlimited data' pledge
Right, but looking at the $1M guy's positions he doesn't own naked calls/puts it's mostly a covered call on $F.
You're talking about standard services, Google employees are talking about consulting contracts.

I'm not sure if you're making your arguments in good faith.
> it expands your mind as a programmer

That’s exactly what got me interested in FP. But after doing some serious work in FP, I must say typed FP really does help keep my mind more saner, knowing nothing’s broken in the product, with my changes here and there.

Of course, TDD helps in OO/imperative languages, but with typed FP you get that almost for free.
Both.

Zoning can explicitly set lot size minima or density maxima.

Building codes with specifications for door and corridor widths, accessibility ramps, minimum room sizes, bedroom counts, bath-bed ratios, height limits, basement exclusions, attached vs detached dwellings, "in-law" units, with or without seperate entrances and/or cooking facilities, etc., all indirectly efect housing size and density.
I agree, it's awesome. Their customer support is also good.
In the late 90's, early 2000's, they aggressively tried to intimidate each and everyone using the letter T for any marketing purposes.
Alarmed by Libra, EU to look into issuing public digital currency: draft
> There's no widespread perception that C++14 or later bring compelling language improvements.

I would argue the opposite: C++11 is a fairly different paradigm to C++03, and upgrading an existing code base is a sizable project.

But once you get hooked into the concepts it introduces (auto, lambdas, templates, constexpr), each subsequent revision of the language standard introduces some improvement to these concepts that deals with unpleasant edge cases the earlier revision had, so each of them promises to make your existing use cases simpler, at a moderate rewrite expense.
This looks like a Hail Mary move from the climate apocalypse cult.
> Any brand loyalty will evaporate literally overnight as soon as someone launches a driverless ride service

This argument only makes sense if a driverless ride service can be launched overnight. Driverless rollout will take many many years. The slower the rollout and patchier the service availability, the better off the TNCs are.
igammarays' comment says what I didn't have time to say: https://news.ycombinator.com/item?id=21455211

I don't necessarily think this invalidates Mill's points, but Mill believed in exceptions[1], and the dynamics of discourse on social media today would likely give him pause.

1. https://asistdl.onlinelibrary.wiley.com/doi/full/10.1002/bul...
Thanks! This is also an area we're working hard to improve. The scale is pretty substantial (we recently handled our millionth support case of 2019), but there are plenty of ways in which we want to improve, and we have a lot of in-flight work to make it better.
The executives and board members are not delusional. According to legal precedent set by Dodge v. Ford Motor Co, a 1919 decision that held that "A business corporation is organized and carried on primarily for the profit of the stockholders. The powers of the directors are to be employed for that end. The discretion of directors is to be exercised in the choice of means to attain that end, and does not extend to a change in the end itself, to the reduction of profits, or to the non-distribution of profits among stockholders in order to devote them to other purposes..." from https://en.wikipedia.org/wiki/Dodge_v._Ford_Motor_Co.

BTW, I agree with you that it is gross but thems the rules. So if we extend this logic we need to convince the corporation that it is not in there financial interest to continue with the status-quo.
Towns that are unliveable without a car.
Why do you think AMP is bad? Opinions of HN bubble hardly represent anything universal. Actually HN is the only place I see people thinks AMP is the most evil thing in Internet.
>That's a bit like thinking that the war on drugs will make people want drugs less
That might have been possible if that was the actual goal
A funny tangent is the story of wrong Guy's BBC interview on this very topic.
SpaceX brings Musk back on Twitter, days after quitting
Having more degrees per capita or higher levels of degrees doesn’t necessarily mean “better educated.”