skysight-inc/HackerNews huggingface dataset:
Google maps allows you to save maps for offline use, but I'm sure there are other similar services, or you could just download some images.

The emergency alerts on broadcast TV and radio wouldn't reach most people today, so it's worthwhile to have the emergency alert apps from such organizations as the Red Cross, FEMA, and CodeRED; and possibly your local newspapers and TV stations. I live near a nuclear power plant, so I am also subscribed to a local grassroots organization that monitors it. Some organizations also have SMS alerts, which might work when the general internet doesn't.

Broadcast radio is still important though, so if your phone supports it, get a real radio tuner app. Nextradio works for fm radio. Since these use your headphone cable as the antenna, one feature to look for is the option to play audio through the speaker despite the headphone being plugged in.

I'd be interested in any radio apps that work for other bands. There are many that claim to receive NOAA radio, police radios etc. but AFAIK they are all internet streams. (Still worth checking out ahead of time.)
I realize I may be out of touch (pushing 50) with the current state of things, but I keep asking myself "What right do I have to expect a Company (that I pay no money to) to provide me with access to their service?"
...or you could do a C to python bridge and use the C++ API like cycles does.

I worked a bit on a "proper" API but there was zero interest from anyone so found something better to do with my time.
That’s not what the original author of the article is claiming from how I read it.

He’s claiming that sure, take the 5k, but don’t let that fool you into believing you’re done. You still have to plan on finding the other 95k.
Ask HN: Is There a “Mandarin”/Chinese Hacker News?
Yes, when third parties start acting under the direction of the police, they become the police in the eyes of the constitution, with the same restrictions.

That has nothing to do with the GGP’s strange claim that there’s some general constitutional prohibition against laws with “an inherent conflict of interest”.
I needed 3D software to create a bunch of models for a RealityKit demo and the only usable version of Maya was $200 per month (Maya LT doesn't support plugins).

I gave Blender another shot (Blender 2.8 to be specific). The new UI is just fantastic! And it's actually usable with a touchbar-only setup.

I wish GIMP progressed so much—*nix environment + Adobe CC are the two main reasons I'm sticking to MacOS.
Mr. Money Mustache is a financial blogger, he emphasizes minimal living and reducing environmental footprint. He calls cars 2 ton wheelchairs and advocates MUCH more bicycle use. I have to say I agree, we need to cure our ridiculous car habits, especially 1) buying ridiculously huge vehicles with terrible MPG; 2) taking short trips everywhere in the car, when walking or biking would do.

https://www.mrmoneymustache.com/2013/04/22/curing-your-clown...
A visual history of your favorite tech
> with React you add thousands of dependencies and you have to build your complete application in React just to dynamically add a row in one of the forms. How is that easier?

Because with sufficiently complicated UI you will simply at some point have to start writing abstractions and libraries to help you handle all that mess, and then you'll basically end up building a good part of those "thousands of dependencies" yourself - reinventing the wheel.

For smaller projects it's an overkill obviously, no one says you have to use it everywhere. But for bigger projects it's a way more optimal to sacrifice some performance in order to be able to build faster and maintain the project easier, and even if you try to make your own solution chances are that with time it will evolve into something very close to how big players solve it. At least that's what happened to all my custom frameworks (front and backend), 10+ years ago when I myself still believed in not needing extra bloat of frameworks... you one day realize that someone already solved your problem, and solved it way better than you ever would...
I felt the same way about 3DS MAx when I discovered it in the 90's. I then realized that I didn't have to know how to use every feature in it but just what I needed/wanted to do. That at the time was simple model creation and keyframe aninmation
I'm not the owner actually. I just read about the guy who made it being a kid from 17 and found it fascinating. Wasn't sure if anyone used it or not after seeing it
https://www.alleaktien.de
They were worried you’re a “Russian Bot”. Gotta watch out for those since Silicon Valley believes they’re literally the only reason Donald Trump won.
Burying biochar (the superset of charcoal, basically) in old coal mines or other geological structures is a feasible way for long-term storage. The carbon content can be up to 90%, depending on the method. Biochar can be made from nearly all forms of biomass as long as it's dry enought.
It sounds like you do something more comprehensive, but I thought I'd share my experience with journaling at work.

I pretty much try to write (with pen and paper) for 10 minutes a day to sort my thoughts out and figure out what do focus on, perhaps think about what has affected my performance lately (good and bad, to do more of the good and get less of the bad). Occasionally, I'll stop doing it for periods of time, until I notice that my recent work has started to seem less effective.

The 10 minutes of writing increases the chance that I'll feel like I've accomplished something by the end of the day by like 200%. So you'd think I'd never skip it, but of course, when actually doing it, it feels like wasting 10 minutes at any given time, so sometimes, I just don't.
Time to worry: Silicon Valley wants to read your mind
Doesn't mean Twitter needs to host it. HN has its own guidelines. I can't come here insulting you. So while it's perfectly fine to say someone can say something, Twitter has every right to decide that it won't host it. Suggesting otherwise is, in many ways, censorship. And I wouldn't want an HN that wasn't allowed to moderate its discussion.
In the US, at least, this isn't true. ISPs aren't considered common carriers--you can thank Ajit Pai for that.

If it were true, it would be true for both Twitter and email. Messages from both systems hop between neutral providers in the exact same manner.
I believe OP meant in terms of planting listening devices, video cameras, spyware placed on computers, etc.
Autodesk is responding to all this blender news by releasing full versions of Maya and 3dsMax for $250/yr for indies. It's the full versions not the LT versions.

I think too little too late.

https://area.autodesk.com/maya-indie/
I did and gosh, my life is not where it should be, but I don't want to learn from this guy: https://youtu.be/EJmQHT_HLOo
We don't do Wordpress anymore
what happens when you want some interactivity after the initial load? That's why you SSR React. If you used a serverside template then once the page loads, how do you deal with interactivity? jQuery? Plain JavaScript?
I used to think that I was the first to come up with startup ideas. Every time I'd google it and find out that it's already there.

Now I just try to make a living!
exactly what the parent comment was getting at. the main reason to pull someone over for speeding is to issue a ticket to generate revenue.
Managing Async Dependencies with JavaScript (2017)
No idea why you're getting down voted. This is a cogent, valid point.
Pycon Ireland 2018: Profiling: Find the Squeaky Wheel – Nick Timkovich
Solving 2 Common Deployment Dilemmas in Kubernetes with Istio
> Vaping seems like a totally over saturated market

It is, but I think that's where the "gap" presented itself. It's crazy how many ejuice brands, varieties, and flavors there are. I'm just surprised no one has been successful with a "flavor of the week" style "club" until now. It's almost impossible to navigate the ejuice landscape on your own.
Well, I think Lennart misjudged how much trouble his projects caused. And especially Systemd was nothing you could easily avoid. So I can understand that there were quite a few people angry at him and the way he was doing things. In addition, he is someone who can dish out to others too (I remember a (badly prepared) talk he attended and completely sabotaged by asking questions and make the speaker look like a total idiot).

So yes, he is prolific, his software does great things and his critics were definitely going too far, but he isn't completely innocent in regard to what happened.
I'm drawing connections to the Black Mirror episode Crocodile https://en.wikipedia.org/wiki/Crocodile_(Black_Mirror)
Hiring great people and getting out of their way is only one of three table legs. The other two are listening when they advise you, and empowering them to effect change.
I have never even considered this. This seems to be a good idea with little downside.
The Cosmic Crisp may be your new favorite apple
https://www.wired.com/story/inside-google-three-years-misery...

The article is very long, but definetely worth a read. Section III and VII specifically detail some of the things going on with their China business.

The Tldr is that a big reason for google to stop their censored search in China was due to internal resistance as well as animosity from Congress.
That's true, though it has no reason to do those other things. In general it tries to do the least amount of work possible to accomplish the goal.

It's interactive, though, and it's extremely fun to use. It gives you the feeling that you're solving a puzzle, and like a good puzzle game, it can do the obvious bits for you.
If I drove my manual better, I could probably achieve that, but spirited driving made me replace everything twice over in 100k miles, with a third needed soon. :(
No they don't. A huge section of the population is not on Twitter and gets their news from old media.
Experience: I survived 15 days adrift on a raft
Underrated idea. Never seen this, but I would kill for the ability to add comments to configuration settings or even log changes with commit messages.
Or perhaps he was unconditionally released because they did not find anything during the search...
Nice site design
It takes learning the hard way to realize why WordPress is the best publishing tool in the world. Just wait until they have to deal with media, and a lot of it.
Discussion here: https://www.reddit.com/r/haskell/comments/cp21wg/shorter_gc_...
Thank you.

I feel a bit lost. I can't match up your descriptions with anything in the graphics for this article. Is this stuff in the 21 minute video? Or am I just missing something in a really big way?
Yeah, suppressing free speech is NOT going to help with any of those tragedies. In fact it contributes to them. The reason gay people were able to come out of the closet was because of free speech. Being able to talk about the issue.

You want to cut out the only escape hatch people have. You think we have it all figured out... what is right and wrong. That we are able as a society to correctly label what speech should be allowed, and what shouldn't. But we aren't. We need free speech in order to figure out right-from-wrong. To hash things out verbally and in written form so that we DONT act out horrible ideas.
This is a great idea. I'm happy to see the FCC proposing something good for once.
There is always room for improvement in everything.

I like to think about something Leonard Nimoy said about a chance meeting he had with JFK that encouraged him to stick with his goal of becoming a professional actor:

In the 1950s, Nimoy was struggling in Los Angeles with a wife and two kids, he said in his speech. He spent his days in auditions and his nights driving a taxi for steady income. One night he picked up Kennedy, who was a Massachusetts senator at the time, at the Bel Air Hotel. He said:

We chatted about careers … politics and show business, and we agreed that both had a lot in common. Maybe too much in common. He said, "Lots of competition in your business, just like in mine." And then he gave me this: "Just remember there's always room for one more good one."

Words to live by, and I did.

https://www.businessinsider.com/leonard-nimoy-bu-convocation...
Fact checkers and scientists already exist, but in a democracy, the people have the right to choose whether to listen to them or not.

Are you saying you'd prefer that people be forced to follow their decisions? Or that information they declare "incorrect" be banned? That's not democratic, that's authoritarian.
> Look at the display. Where's the cross traffic info"

Tesla's display does not render all of the data that the computer knows about.

Additionally this article is assuming the camera based solution for Tesla will be single-camera. Last I checked the actual solution is going to be stereo vision of multiple cameras (think one on each side of windshield) and using ML to combine that data. The Model 3 does not have that capability though because its three cameras are center mounted.
Reports Indicate We May Have Detected a Black Hole and Neutron Star Collision
Wear a weight-vest. (Although that's probably going to increase "ligament-strain" somewhat, but I don't think it's possible to make something physically harder and not increase ligament-strain.)
Why stowaway creatures on the Moon confound international space law
Let me put this another way:

If, during the course of doing my job, someone asks me if I like doing my job and I say, "yes", it would technically be correct to say that I was paid for saying that I like my job (since I'm being paid for doing all the things that I do while on the clock it's also technically correct to say that I was paid for tying my shoes or talking to a coworker about some movie if I did those things during a shift). That does not necessarily mean that one of my job duties is telling people how much I like my job.
I am not sure how true it is thst the govt doesn’t want to turn HK into just another Chinese city.

The belief was that HK’s economic value to China would protect the one country 2 systems status.

However, the Chinese govt appears to have convinced itself with the rise of its major cities (such as Shenzhen) and general economy that HK isn’t unique, and any economic benefits the political autonomy provides is far outweighed by the political risk and control. The protests, ironically, strengthen this thinking. And they feel they can compensate for the economic losses by simply creating SEZs.

I think the Chinese govt now believes that HK is not really special anymore, and if anything, is probably falling behind other Chinese cities.
Decentralized DApp Curation with Discover: Submit, Stake and Rank You DApp
This design doesn't use bevel gears.
I use the Chimes tone on my iPhone at a low enough volume. Quite gentle to wake up to after a session of meditation.
A good friend of mine got suspended for a semester after he found a pretty trivial flaw in his university's password reset form that would ultimately allow him to reset the password of anyone who had an account on the school's network including faculty and administrators. IT discovered him, locked him out of the network before he was able to report it, and threatened to take legal action. From what I've heard, they never fully fixed it. He went to a technology university mind you.
I personally wish more companies worked like this. I know in about six months once i sort out the spend rate for engineering at my startup i am going to be looking at if we can give back either to environment or to open source. There is an inevitability as the old die off and the young more hyper aware we forge ahead to a less pollution intense world.
> Dependent types rely on deductive proofs for verification, and deductive proofs (the "proof theory" part of a logic) are the least scalable verification method as they are least amenable to automation.

What? You can generate proofs for the trivial cases using various algorithms like constraint solving.

Things like sledgehummer tactic, omega tactic, the whole F* language simply prove you wrong (by construction ;)

You need to prove manually only complex cases, where your constrain solver would not manage to generate the proof.

> But now I claim that their composition `foo bar` never crashes (on `head`)

If you proved that foo does not crashes on head for any predicate P and any integer X, and bar terminates, than foo bar terminates. What's the problem?

> The idea that properties compose and that you can cheaply reuse knowledge about components to prove stuff about their composition is just mathematically false. There are a couple of results I mention in my blog posts that show that.

Could you refer to the proof of that, as well as give the definition of ``cheaply'' and especially the evidence that a composition of lemmas and theorems would be more expensive than a constraint solvers-based methods?

I didn't state that proving is easy or cheap, just that manual proving with a usage of constraint solvers for trivial cases is more scalable and makes more sense for sufficiently big programs.
Not being first doesn't mean you're not onto something. In fact. It may mean there is a market and someone is playing there. Finding it's already being addressed may in fact be a wonderfully affirming thing. It validates the problem and possibly your solution to it.

Consider this as well. If you're the first to solve a problem or the first to propose a particular solution you're going to have to educate / explain it to for every conversion. That's hard.
> No, the only question is the relative subsidies vs taxes, and the revenue from taxes are significantly less than the subsidies.

I've tried to find the extent of subsidies to the nuclear industry in France and I failed. It's not public information as far as I can tell. So, how would you know?

> Nuclear ends up needing more storage because wind and solar can be crafted to roughly follow load.

I've given you a link that calculated that Germany would need decades worth of worldwide battery production to buffer its renewables. It also doesn't have near enough locations for hydro storage.

Meanwhile, the share of France's nuclear is far higher than that of Germany's renewables. If that explanation was true, France would have to have massively more buffering than Germany, which clearly isn't the case. This brings us to your alternative explanation:

> The other option is to vastly over build nuclear capacity which sit’s idle 99% of the year. That’s ridiculously expensive per kWh.

So in this explanation, not only are France's electricity costs in reality far higher than those of other countries because of nuclear subsidies, but those subsidies are so large that they depress the price of electricity to half of that of Germany, which has all this really "cheap" renewable energy.

To show how unlikely this is, take the cost offset for a single cent per kWh for France's energy usage[1]:

450 billion kWh * 0.01 EUR = 4.5 billion EUR

That amounts to almost 0.5% of total annual tax revenue[2] for a single cent, or over 5% just to explain the consumer price difference between Germany and France without accounting for all this supposed extra cost that nuclear is causing. Yet, somehow France manages to hide this enormous expense in its accounting?

[1] https://www.worlddata.info/europe/france/energy-consumption....

[2] https://en.wikipedia.org/wiki/Taxation_in_France#Taxes_by_so...

> New wind, solar, and hydro are the three cheapest electricity sources. Read up on some of those solar power purchase agreements, it’s hitting under 3c/kWh without subsidies.

I'm not contesting that they are cheap on paper, but they're not that cheap if you count in the infrastructure to actually make them support a nation's grid in the general case. Again, if it was all so easy why isn't everybody 100% invested in wind and solar everywhere? Why bother with anything else? You're ignoring a lot of factors, like land use or location requirements. There's a vast difference in wind output depending where it is, and hydroelectricity doesn't work at all without a suitable location.

Of course there are cases where wind, solar and especially hydro totally make sense. That doesn't mean it's a solution for all energy needs. We can make do without nuclear, we can make do without fossil fuels, but as it is, we can't make do without both. That's the issue at hand.
Don't cows already eat quite a bit of chlorophyll?
The target culture would be to justify the change by saying "the reason this was implemented is X but X no longer holds". Anything else is an indicator of change without understanding; which is likely to lead to unforeseen results.

The robustness principle is a powerful guideline for interface design; not an excuse to turn off validations that someone else has put in place. If the person who designed the interface wasn't ready for something, principles won't make the software work.
As someone who uses take-home assignments as part of my hiring process, I disagree that it is no effort at all. We still have to review submissions, get the code running (we usually let the candidate do the problem with the tools of their choice). You won't believe the number of candidates we receive with great looking CVs who struggle with a warm-up coding question like this: https://www.hackerrank.com/challenges/python-quest-1/problem
If anything, completing the assignment and at having some working code already gets you above 90% of applicants.
There are multiple standards.
https://www.ecma-international.org/publications/standards/Ec...
Is more relaxed.

>The JSON syntax does not impose any restrictions on
the strings used as names, does not require that name strings be unique, and does not assign any
significance to the ordering of name/value pairs. These are all semantic considerations that may be defined by
JSON processors or in specifications defining specific uses of JSON for data interchange.

Also it's pretty clear that the keys must have an order going over the wire. And JavaScript objects (which aren't unrelated to JSON have an order now) https://www.stefanjudis.com/today-i-learned/property-order-i...
A lot more will die because you decided amoral corporate entities should have total control over national discourse. My ancestors killed to prevent a situation like that.