skysight-inc/HackerNews huggingface dataset:
I should also add, on fairly short timescales an ice age (predicted within a few thousand years) would be a vastly greater "climate catastrophe" than a few degrees of warming...

To that extent, human CO2 emissions may be beneficial in the longer run!
According to Mark Blyth ( Prof. of political economy at Brown ).

India is going to continue to build 200 more coal powered plants despite knowing exactly how awful climate change is going to be for India.

Pakistan is following similar strategy.

The idea is that Europe/US have more to lose due to climate change, so when time comes they can use these coal fired plants as a bargaining chip ("bribe") for technology transfer, better trade deals, etc.

I do not agree or disagree with his assessment, it could very well be true.

But if you are India, spending MORE money to fix climate change wont make much of a difference as the biggest polluters are US / CHINA / EU.

So a MAD type strategy makes sense from their perspective.
Exhaust emissions are only part of the air pollution problem - brake discs and tyres contribute around 50%, as I recall.

Depressing! But we need lighter vehicles all round, and less travelling in general.
Serena versus the Drones
Psst... It's the iodine...
I had always had some kind of anxiety or ocd for as long as I can remember. I'd searched for various ways to deal with it but only discovering meditation really worked for me.

After meditating for 6 months every day (starting with 5 minutes daily, ending with 20-30) I've completely got rid of it. A nice side effect was that I got to be a happier person overall (though that wasn't ever a problem for me), and learned to deal with any kind of stress whatsoever.

I'll happily recommend the, oh so often mentioned on hn, book "the mind illuminated" it really is great to start with: https://www.amazon.com/Mind-Illuminated-Meditation-Integrati...

Recently I haven't been meditating as much as I'd like to unfortunately (I'm trying to get back to it), but the effects are lasting nevertheless. And I still know how to calm myself in a matter of minutes or get more distanced to the situation.
FWIW, it does not crash (for) me.

I mainly use Hammerspoon as I prefer Lua over Json. I find Lua far easier to modify... to be fair, both Hammerspoon and Karabiner Elements have quite an impressive repository. If you want to do something it is probably already done.

My favourite is probably swapping of Cmd to Ctrl in VMs. That way you can use keybinds in Linux or Windows VM with the same muscle memory as in macOS. It may get confusing if you use Super a lot in Windows/Linux.

Another one is rebinding right Option (or "Alt") to Hyper. Most of the keybinds I use I got from this repo [1]. Though I did make quite some modifications I found it a good starting point (merging my own back). I remap Caps to Escape and Ctrl (latter if combined with another key) via Hammerspoon. You could also use Karabiner Elements though. Although I still use Caps mainly for Esc (muscle memory...)

On a Windows computer, I used AutoHotKey for some other stuff (gaming related QoL improvements). For some reason, Blizzard decided that in WoW you are not allowed to spam a key if you hold it. Which is flat out painful for the hands. I no longer play WoW regularly though. If I do, it is via Wine (on a Linux desktop). In Diablo 3 I made a keybind to swap gearsets. This was before Blizzard implemented the wardrobe.

[1] https://github.com/jasonrudolph/keyboard
The reason those plants are not needed (as I said multiple times they are not) is because you have 50% share of electricity heating. And you obviously don't need any heating in summer...
Right, because they are smart about what sells, both to the international community and to China. But let's not kid ourselves that wants === demands
Ah, good point, you reminded me of the classic distinctions of - “I’m ok, you’re ok” v. “I’m ok, you aren’t” v “you’re ok, I’m not” v “you’re not ok and neither am I”
Blocking roads hurts small businesses more. Large businesses are more likely to be opportunistic; why would they care?
ॐ AmbiSonic Music for Lucid Dreaming – Healing Frequency Tones
How come none of the mainstream static type systems support dependent types? On paper they seem like such a neat idea for defining constraints and preventing bugs. I heard Scala and Haskell have optional/partial support for them, so I suppose it takes a pretty sophisticated type system to begin with?
You should be able to do this with \write18.
Look for "running stilts"
It's simple as opposed to complex, not simple as opposed to difficult.
Are you really sure you should also be held to that standard? That you should be ashamed by any of the wrong things anyone does in your country?
WeWork Takes Key Step Toward IPO, Citing Heady Growth and Losses
Launched September 22, 2019, is that a typo?
It’s not a MAD strategy it’s a tragedy of the commons dilemma.
「パレットから」これは「機動警察パトレイバー」に登場する人身売買組織の事で、奴隷の女の子の入手先という意味です（祈）†
Instant domain and handle checker for your next project
> But imagine if civilization had ended 500 years ago, or even a thousand. There would be absolutely nothing to show for it in a couple hundred million years time.

I think some stone artifacts (cities, pyramids, roads) would still be identifiable in some cases. Excavation would be needed, of course.

Similarly, some of our concrete, glass and non-ferrous metal construction should survive a long, long time.
Yes, a system that's corrupt at the highest levels is another matter. But a system like that doesn't have to bother with sneaky lab switches.

I'm talking about preventing abuse at the lower levels, in a country that's still doing a good job with protection of individual rights and maintaining the rule of law. Some laws are difficult for any government to enforce; this wouldn't be one of them.
It seems that the Basic Law is more subtle than that (Article 45):

" The Chief Executive of the Hong Kong Special Administrative Region shall be selected by election or through consultations held locally and be appointed by the Central People's Government.

The method for selecting the Chief Executive shall be specified in the light of the actual situation in the Hong Kong Special Administrative Region and in accordance with the principle of gradual and orderly progress. The ultimate aim is the selection of the Chief Executive by universal suffrage upon nomination by a broadly representative nominating committee in accordance with democratic procedures."

Regarding "independence", when some protesters attack symbols of the Chinese state (inc. flag) and fly foreign flags they are sending a muddled message...
It's self limiting, with an attenuation in global population once a threshold is reached. I suspect we'll never reach a point where humanity disappears entirely - they'll just hang out in higher altitudes and latitudes.
Does anyone have any carriers that they would recommend? I’m currently with State Farm, but this is really concerning. Anyone know of any more ethical insurance providers? Thanks.
> I try to meditate every morning for about 15 minutes and been doing that for quite some time now.

I find that doing any Self-Imposed Daily Challenging Healthy Activity will improve your life tremendously, meditation being just one type of SIDCHA.

While the benefits differ slightly, the magnitude of benefit from other SIDCHAs -- like exercising, drawing a picture, writing a blog post, writing three business ideas, cooking a meal from scratch, etc every day -- can be just as great. You develop discipline, ability to overcome internal resistance, self-awareness, etc.

I'm a big fan and practitioner of SIDCHAs and wrote them up: http://joshuaspodek.com/sidchas-the-series.
Sort of OT, but I can never seem to get the text-only npr.org to work for articles on HN, it just redirects me back to the text site homepage... Are only a subset of articles available on it?
> I, and many others would consider email access my absolute most critical asset

So why not pay for it?
They don't claim the territory of Outer Mongolia, do they? Only Inner Mongolia is part of China, as far as I know.
They could be a manager.
How strange. I posted this 2 days ago and it didn't make it to the front page, but not for some reason it says I only posted it 6 hours ago?
>I got to learn that we were talking to a service running IBM DataPower Gateway which sat on top of WebSphere which sat on top of the COBOL.

As soon as you read IBM you know you have bigger problems than COBOL in your system.
June to change its app to prevent smart ovens from turning on accidentally
>when you hire thousands of people a year, a higher false-positive rate is a big deal.

My friend's employer is currently hiring thousands of people a year with a single interview lasting 1-2 hours without problems. Some highly technical and some manual laborers.

Then do this by putting new employees on a probationary period for the first six months. Many of their employees are union, and it still works out, the unions agree to this arrangement.
I think that's not the point the parent is making: his point is that the difficulty of finding people able to use it (because of the cost of the software) could be solved by either offering a free option, with the example of Unity and Unreal, which both have a free option, so you find a lot of people who have used them.
"But overall, they are too little too late. An electric car is still a car, and permeates our car-dependency the same as any other car." .... Well yeah..., till Startrek's teleportation is invented.
This guy is definitely Australian.
2.8 is packing so much good stuff and new features it does not even feel the same software anymore, they made some amazing work.
The Great Silence (Ted Chiang)
What's the saying? "Where you are in life is a result of choices you made in the past."

Something like that. While not 100% accurate, I've found it to be mostly true with people in my life.
No x2x?

Control two separate networked computers with one keyboard and mouse. Cursor slides out of right on one side and enters in on the left of the other.

Wayland folks is there a similar thing? I don't keep up with Linux desktop tech anymore.
It is inscrutable!
Well, here's an analogy: If you have $1000 salary and $900 of fixed expenses (+ $100 of disposable income), then a reduction of just 10% in your salary reduces your disposable income by 100%. A reduction of 20% in your salary puts you deep into the red and will eventually make you homeless.

Climate is like your budget. There's a lot of factors flowing into it, and even a very small change (e.g. 0.1% additional water vapor) can flip the sign on the total balance. Sorry, but your argument about the magnitude of the problem is just wrong.
What? no xdaliclock??

https://www.jwz.org/xdaliclock/
Imagine being this sensitive on the internet
What?? How could you forget xevil?
I think one of the biggest problems is as the rear cassette shifts toward a larger gear, flex could become an issue. The driveshaft will push out on those larger gears making the 'disc' flex toward the wheel. Those larger gears are where you'd be when climbing a hill - where you're typically putting out a good bit of power too.

It's a great idea, and I do love innovation. I've honestly never really had a problem with a chain though, myself.

I have about 6,000 miles on my cross bike (that gets used in some pretty dirty, dusty, sometimes-muddy conditions). And maybe 2400 on my newer road bike. I just clean the chain with wd-40 when it's dirty (sometimes water/soap first if really muddy), dry it well with a rag, then apply some liquid chain lubricant (sometimes after every ride, if it's needed).
I've been writing in Ionic for a while now. I enjoy their philosophy. They put out their own description of the differences with Flutter (biased I'm sure). https://ionicframework.com/resources/articles/ionic-vs-flutt...

Ionic lets me build a web app and publish it to any device pretty easily. I don't have to use their components either... in fact after using Ionic, you may not use Ionic anymore at all. All you need is Capacitor to publish it.

Flutter is it's own rendering engine, non-standard web language (Dart), and ecosystem. Ionic is just a CLI and collection of web components. Capacitor is Ionic's version of Cordova. It gives you access to device capabilities such as storage, camera, etc with very little code. So you can build a website, ask if it's Native on a device, and do more cool things if it is. Then push it to Android, iOS, and the Web.

Ionic supports Angular, React (now in RC0), and Vue (Beta). This allows you to learn popular frameworks while still developing with one code base.

Lastly, Ionic's Web Components are built using standard-compliant Web Components generated by a tool they made called StencilJS. So, now you can build a component in Stencil and publish it for simply the Web (No framework) or have them work with Angular, Vue or React. Larger corporations have started using StencilJS to manage their components when they use many frameworks. I use it because I don't know which framework I'll use next, or if I'll even use one.
Ada with Spark is pretty cool.
If by "bleeding Google of a few billions" you mean "forcing Google to pay the same cost their competitors do instead of using their position to avoid that cost", then yes.

Paying for in-demand services isn't punishment, it's one of the fundamentals of capitalism.
You are right, serves me right for going by memory. 200w is closer to an average cyclist, a pro is closer to 500w. Still, the orders of magnitude don't change.
Tgif is one of my all-time favorite X11 programs. It's used to create vector drawings, and I could whip out nice infrastructure diagrams etc. so fast using it.

See http://bourbon.usc.edu/tgif/index.html
Kaspersky Antivirus left millions of customers open to online tracking
It's Coasian economics. The colonizers can pay their debts or lose their environment.
What you described is the exact impression I got when I first travelled to New York :)

"Is it supposed to be this dirty?"
I agree that the comment is humorous, but I think by “simple” the author means “that is mostly the full set of things that is happening” rather than “easy to grok”.
I started using Twitter back in 2008. Before the age of smart phones

Talk about erasing the past. I dearly hope knowledge of what came before iPhone and Android isn't washed over like all the non-Apple 8-bit computers.
The Hong Kong government/China have been completely inept at managing the housing situation and it is nearly at a breaking point. It is refreshing to read an article on the current situation that raises the issue.

'One of the deeper causes of the present crisis of legitimacy is the housing crisis in Hong Kong, another way in which the government has failed the people it is meant to represent, and you can see it in the extraordinary density of apartment buildings, each unit pock-marked with an air conditioner, tiny living spaces with some of the highest rents in the world.'
Thanks so much for putting this together!
Or better yet, unmoderated.

Usenet only fell apart because of the spam, and legal attacks by the RIAA and MPAA and BSA.
Sounds like we need to start researching the effects of eating US trash on cow methane emissions. There might be a synergy here.
Read it slower.
> taking consecutive frames (2D images) we can estimate per pixel depth

Yeah, I find it odd that they're bringing up Elon's statement about LiDAR, but then completely ignore that they spoke about creating 3D models based on video. They even showed [0] how good of a 3d model they could create based on dat from their cameras. So they could just as well annotate in 3D.

0: https://youtu.be/Ucp0TTmvqOE?t=8217
Justgoogled DataPower, out of curiosity, and I found XML Accelerator XA35. I did not know there is HARDWARE for XML PROCESSING! Blows my mind.
>Not only with Autodesk but also with other companies, we keep requesting improvements. However, it takes time for those improvements to make it to proprietary software. We expect faster improvements by using open source software.

That's pretty cool. I wonder what kind of anime-focused features will come to the next version of Blender as a result.
Two me, reading the graph in the article brings up two priorities:

1: transition to renewable energy

2: figure out how to lower the carbon emissions during

1&2 sound a lot easier than completely transitioning off motorized personal transportation.

#2 can be done with appropriate government incentives, like a $100/ton carbon tax + equivalent tariff. Producers will use alternate energy sources and otherwise eliminate carbon wherever it costs them less than $100/ton to do so, and the $100 can pay for sequestration when it costs them more.

Of course #2 will significantly increase the price of a car. This will also help to convince people to use alternatives. But cars will still be significantly cheaper than they are in Denmark or Norway, yet those two countries are still fairly car oriented.
There's a problem when you set breakpoints trough DevTools and instead of Chrome breaking on that line, you end up in some VM1234 file with a bunch of minimized react core code in it.
20k vs 140k, respectively. That's impressive.
By definition, at a mass protest you're going to get all kinds of people. The five demands represent a broad consensus across a very large slice of Hong Kong society.

You can get a lot of attention bringing a foreign flag to a protest, but as Hong Kongers know it is a very small contingent of people who do it. One of them is a well-known, tiny, sweet old lady who got attacked by police last weekend.
First-Ever Pandemic Bonds for Emergency Financing Facility (2017)
I think it's generally used to load the nine or ten different analytics, segmenting, crash reporting, user mouse movement tracking, A/B testing, etc frameworks that every site seems to have nowadays. Using Tag Manager means that when the marketing department decides they need to add another framework they can just click some buttons instead of having to ask a developer.

Since none of that stuff is necessary for the site to work, leaving it blocked basically never breaks the website.
Some years ago I used to drive regularly on new Hwy 10 to and from 35W (back then 610, I think) and I'd always see this massive Centurylink billboard advertising fiber, in maybe Mounds View, Fridley, Columbia Heights area. I had friends who lived around there with this awesome broadband connection. Meanwhile, best I could ever get from them a couple of miles away was maybe 25 (maaaaaybe 50) mbps DSL, and that would crap out constantly. For years and years. As far as I know, the area where I lived still isn't upgraded.
Can a dependently typed list be used in the common case where the length of the list is not known at compile time?
Okay, but the other side are literally communists...
Trump Mulls Buying Greenland from Denmark
No idea why someone needs ordered key-value-pairs. I had the please of working with a device that relied upon ordered query string parameters. Why? Because they encrypted the values with RC4.
I, too, thought I had magic patent expiring powers, but that line shows today’s date and the status as of today.

If you check tomorrow, it’ll say “2019-08-17 Application status is Expired” instead.
> How is “exposing the hash seed” a problem for the vast majority of applications?

They can be DOS'ed.

> What timing information would be leaked and why would that be problem?

You misunderstood. By 1. leaking the order, and 2. by checking the timing of getting certain keys of a map you do have two independent infos to get at the secret seed.

> accepting unsorted maps seems like it could introduce covert channels?

A covert channel might be exposed by the sender, if he uses some non-random but unsorted map order.
The receiver needs to accept any order. There's no risk in accepting unsorted maps. The only risk at the receiver side is another famous omission from the spec: How to deal with duplicate keys. Accept (overwrite or drop) or reject? All 3 cases can be seen in the wild.
This isn't even a service request, it's a bug report.

Are you able to name a reputable email provider which isn't >$60/year or self-managed? My 65 year old mother probably wouldn't be interested in either of those two, but would be willing to pay for per-use support lines for the one time in 13 years which rendered her account inaccessible.

And lets not forget my father, who couldn't access his _paid_ Telstra/O365 standard-user work email. When I called the Telstra support line they gave me administrative access to the entire instance, no proof of ID necessary (I literally said I'm not associated with the company and calling on behalf of my father).

To be honest, I'm not sure which is worse now that I think about it.
Must be 2015, as the story starts there.

Also, September 2019 is in the future.
How about working to improve those take home projects since it seems to be more promising than the whiteboard interview which is doomed to suck. For example, my company has a take home project that involves hitting some APIs and doing some stuff with the JSON they return. It shouldnt take more than an hour and we give a time limit of 3 hours just so people don't spend days on it.
I'd imagine extra graphite is pretty easy to store, though?
> I got nervous and passed the question, they ended the interview early and rejected my application.

When interviewing, we test for presentation, self-control and anxiety as well. For me it's not a big deal, but for the guys that were interviewing you it seems it was.

Software development is a very stressful job, if you can't even handle the interview, how would you handle real life (c) at this corporation?
Thanks, great suggestions in this thread. I ended up buying this
In reality, heating with natural gas is more carbon efficient currently, than using most commonly available electricity mixes. Cheaper, in any case, than heating with nuclear electricity anywhere but in France. Of course you can make a case where nuclear power is cheaper, if you disregard any of the risks, political problems, and clean-up costs associated with it. Particularly in France, all those costs are covered (or mostly ignored) by the government. The private energy companies certainly can't pay it.

France still has to import electricity from coal power, so the carbon footprint isn't that great in any case. And you can't claim that slightly raising electricity costs offset the dozens of billions that went into the French nuclear sector in any way.
$60/year doesn't seem terrible for your absolute most critical asset.
Google Alerts is fundamentally broken, I found. Never worked reliably for me.
The problem is that dependent types (and the very idea of "correctness by construction") suffer from fundamental, serious limitations -- both in theory and in practice -- that the author does not seem to be aware of. He also does not seem to be aware of all the other approaches for software verification and correctness (sound static analysis, model checking, concolic testing) that have so far shown greater promise, and formal methods research focuses on them rather than on dependent types (the approach that scales least and suffers from the most limitations); in fact, last I spoke with a dependent type researchers, he told me that now they're trying to weaken the soundness of their type systems (sort of gradual-dependent-types) to try and fight the problems types suffer from. I'm not saying dependent types don't have some uses, or that they won't change enough so they could play a central role in software correctness, but thinking that they're the future of software correctness (in their current form) shows a complete lack of familiarity with this field.
I’ve never had any success either, presumably because I have no followers on Twitter...
No one is writing aircraft software in Haskell. They need good control over memory usage.
I've checked icanhazip.com and it's not returning the same ip as the one from ipconfig. What does it mean? Note I know nothing how networks work and that I'm in a corporate network
It's Official – Spending Time Outside Is Good for You
I would add xkill