skysight-inc/HackerNews huggingface dataset:
I live in Sao Paulo and the outdoor ban law now is being "ignored" since it seems not to be enforced anymore. Also, commercial buildings have found loopholes, like leaving huge outdoors and Digital Signage a little behind glass windows to say it is "inside the store".
Start your own ISP in US - there, I fixed the title for you.

I would love to start my own ISP in my country, except that dealing with my corrupt government and corrupt bureaucracy existing here would mean I would have to have triple the cash of official investment, because here without "greasing the wheels" nothing works, and all of that is done by discretely leaving an envelope with cash on the corner of the discussion table that nobody in your presence will touch it. Also the amount of cash itself is a mind game on its own. You must discreetly research the person to see how much money they take as bribe. Too much and news about you being a newbie will spread like wild fire and all your future discussions will drain you of even more cash in discreet envelopes. Too little money and your request will get denied making you face the same person handing over another discreet envelope, and you better have at least the correct sum in there. So waste time asking for this mind game, waste cash that you'll never be able to officially report as deductible and then start implementing the points in article. Welcome to Romania ¯\_(ツ)_/¯
Give a Man a Fishing Line
> Shortwave (really, AM) radio can be a powerful tool, but it can be drowned out by a more powerful signal.

https://www.sigidwiki.com/wiki/Chinese_Firedrake_Jammer
I also mentioned this in my other post, but the CompCert compiler is a highly non-trivial example of a program verified using dependent types, and which would not really be possible using automated methods. Of course, not very affordable, since it took years of work from people with expert knowledge. But you get what you pay for, although the price isn't worth it for most real programs in industry.

Furthermore, you don't necessarily need to have an intuition about why the program you are working on is correct to formalize it using dependent types. You just need an intuition about a method for CHECKING that the program is correct.

The four-color theorem was proved in Coq, and it required considering over a thousand cases. No one can keep a proof of this magnitude in their head, but that didn't prevent it from being formalized in a proof assistant. What they did was they just formalized the method for checking and then used that. You can similarly formalize the kind of reasoning that a model checker (or any other automated method) does and then use it in your proof assistant.
A Multivariate Model for Representing Semantic Non-Compositionality
All deep work.
Thank you for sharing this.

Seeing the faces of the victims really hammers home the reality of murder in the United States: something that's much worse for black men (and the black community) than it is for everyone else.
Related and recent:

https://news.ycombinator.com/item?id=20549804

https://news.ycombinator.com/item?id=20433851

https://news.ycombinator.com/item?id=19889365

https://news.ycombinator.com/item?id=19399543

https://news.ycombinator.com/item?id=19346342

More at https://news.ycombinator.com/item?id=20550947
I have to admit, even as an elder scrolls fan whose favorite game in the series is Oblivion, I've never much understood Skyblivion. There's very little you can't do to Oblivion with mods that you can do to Skyrim. Skywind has its own devs, but there are plenty of other games in the series which could use a rebuild, like Redguard or Daggerfall. Despite that, I do greatly look forward to the completion of this project.
Thanks for looking Dang. I don't agree with you this time though. Hiding abuse out of the comment chain behind emails is a good way to make things disappear. What kind of community is this if you can't question the motives of someone with a penchant for only replying to policital threads of a certain flavor?

His profile is public, it's not like I made everything up. He posts on articles with "China" in the name about 90% of the time. And basically never replies to his own comment responses or posts that don't relate to China.

> Don't post accusations of astroturfing or shillage in the threads—the poison that adds to the site is much worse than whatever it's trying to combat.

I don't agree at all. If I didn't say anything about the guy's post history would you have checked? I don't think so. And even though you did, it's very clearly biased towards "China" news articles and the CCP party line.

I'm out. Leaving on my own this time. I appreciate the great work you and the moderators do. But if you can't admit the most obvious AstroTurf shill account I've ever seen is real, there's no point sticking around being a thorn in your side.
Yeah, but that syntax is:

$ yes | parallel -N0 -j1 echo touch '{= $_=seq()*5 =}'.txt

vs

$ loop --count-by 5 -- touch $COUNT.txt

UNIX is about using the right tool for the right job, not the same tool for every job.

Let us remember the koan:

A Unix novice came to Master Foo and said: “I am confused. Is it not the Unix way that every program should concentrate on one thing and do it well?”

Master Foo nodded.

The novice continued: “Isn't it also the Unix way that the wheel should not be reinvented?”

Master Foo nodded again.

“Why, then, are there several tools with similar capabilities in text processing: sed, awk and Perl? With which one can I best practice the Unix way?”

Master Foo asked the novice: “If you have a text file, what tool would you use to produce a copy with a few words in it replaced by strings of your choosing?”

The novice frowned and said: “Perl's regexps would be excessive for so simple a task. I do not know awk, and I have been writing sed scripts in the last few weeks. As I have some experience with sed, at the moment I would prefer it. But if the job only needed to be done once rather than repeatedly, a text editor would suffice.”

Master Foo nodded and replied: “When you are hungry, eat; when you are thirsty, drink; when you are tired, sleep.”

Upon hearing this, the novice was enlightened.
Yes... I might switch to using a Remington 870 action with barrel and magazine removed. Still reasonably compact!
I would assume that in a low memory scenario it would be paging to disk and we'd be back where we were in the first place
Some quick searching reveals various estimates of 1.6% to 0.7% of the US being paved over. That's including parking lots and cities, places that probably aren't good candidates for solar roads anyway.

Seems like you might get greater benefit by sacrificing yet a little more of that thing called "nature" (never heard of it before, thanks for sharing, TIL) and realize actual benefit than using the same amount of resources to solarize roads for a fraction of the benefit.

So I stand by my question.
Earlier this year: https://news.ycombinator.com/item?id=19522953

2017: https://news.ycombinator.com/item?id=15238366.

2015: https://news.ycombinator.com/item?id=10104648
Most people's ideas of how poverty works and how to get out of it are wrong.

https://www.npr.org/2017/03/20/520587241/the-scarcity-trap-w...

https://99percentinvisible.org/episode/magic-bureaucrat-rive...
SEO Danışmanı – Sektörel Stratejiler – Yılmaz Saraç
Great question actually.

The device works well for vaped and smoked cannabis. We generally see peak concentration 10 minutes after smoking, and a steady decay to 0 over the next few hours.

We are in the midst of testing for edibles. What we would expect is that the concentration is lower and that peak concentration should occur 1-2 hours post consumption, followed by decay. We will see how it goes!
The reasons to not expire passwords are that people will come up with dumb ones, write them down in plain sight, and/or forget them outright. None of these apply to certificate revocation. Passwords have very little in common with certificates, right down to the encryption algorithms. Certificates use public key encryption whereas passwords use secure hashes.
Buy TripAdvisor Reviews – Buy TripAdvisor 5 Star Reviews
Scrolling through the CD-ROM collection is such a hit of nostalgia.
Something that helps a company do more with less. It's probably less about model and more about product.
I guess that it's a bug. We all have more or less access to information, more or less training and experience in assessing information, and more or less free time and/or psychic resources for dealing with it all.

So there's a tendency to take shortcuts. In a good way, makin g intuitive leaps. In a bad way, getting stuck with our preconceptions.

And then, as you say, there's the social aspect, identifying with our tribe, hunting pack, or whatever. Wanting acceptance and approval from our peers.
I wager Jaws promoted a lot of "sharks are freakin awesome" lines of thought. Not quite the same as cuddly though.
I wonder what Steve might say about smart phones today.

They were intended to be bicycles of the mind, but perhaps they've become a 'gerbil wheel of the mind' for most consumers instead?
An ironic statement given that "dick" is not PC language. It's a gendered slur insulting men on an overwhelmingly male forum.

I think it's a bit more complicated and nuanced than that, though I don't really think this is the time or place for me personally to try to get into it in a substantive way.
If you need to get in the right frame of mind for Coding here is an albums-only playlist I made that seems to do the trick for me and a few friends - https://open.spotify.com/user/j3elam/playlist/61RNVG9yeQpFBR...
Is there such a distinction in programming? Plenty of people use side projects as a way to test out new languages, tools, etc. It's widely held that learning programming in general is easiest if you have something you're trying to build. Are there people just reading a "React for dummies" book and coming away comfortable with it?
Sounds like the perfect place for a bribe transparency website to name and shame officals that take bribes.
I've always been a senior developer at the highest level at where ever I've worked. No one I've worked with over the years has ever used those tools. I do and it gives me an edge in response time.

But if you want to move up.
Everyone role above senior developer involves dealing with people/managing projects. Those skills get people promoted. More tech skills don't.
> I really enjoyed the acerbic and colorful style of this article

I did too, and have started looking at some of his other recent posts. I think they will well repay the effort. For example, this from the one on "Mueller and Night Invasions":

"As a kid, I would digest my stomach waiting in the living room, after school, for my mom to get home so I’d tell her I had lost another $33 jacket. My 8-year-old spent $44 for an in-app Princess Celestia Pony and, when confronted, beamed with pride, as spending money is a new skill he’s mastered, similar to math or (not) feeding the dog. It took just one generation for spending money to evolve from a crime to a competence."
Indeed. Without a education your new found asset will likely only lead to worse destruction, much like the process of how winning the lottery bankrupts most winners.
> If I want to perform some rough tests of an endpoint during development, all I need to do is compose the json request and fire it off using curl. The response then comes back in a human readable format I can parse straight from the terminal. Boom, simple test conducted in less than 1 minute. I don't even need to think about it.

https://github.com/fullstorydev/grpcurl
> I had always dreamed about a city without advertising, and couldn't wait to visit São Paulo.

Go to Lao. One of the nice feelings after crossing the border from Thailand is that you slowly realize that this visual thrash is gone.
I'm pretty average height so I can't personally relate to this experience, but it does logically seem like you have a point. After all, it's not your fault you're so lanky; you were born that way (well.. you know what I mean.) Isn't that equally deserving of accommodation?

I wish whoever downvoted you could explain themselves to help me understand why they think tall people shouldn't be reasonably accommodated.
I just spent the day reading about the economics of nuclear.

Long answer short:
Nuclear still is cost competitive except on countries which have direct fossil reserves.

Nuclear is cost competitive but is an ultra long term investment (60/100 years lifespan for a power plant)
And the construction cost is huge.

A fascinating thing to note is that today New power plants cost between 4000 and 5000 $ per KWe.
As science and experience improve you would expect like everywhere else, for prices to go down.
But it's the reverse, in 1960s power plants had a cost of 1500$ per KWe!!!
This is sad and mostly explained by overengeenered security specifications.
If we could make again such efficiency today, nuclear would be by FAR the cheapest energy source.

Still, Chinese and South Korea achieve 3000$ per KWe efficiency (making it for them the cheapest energy source by a significant amount)
And 2 new promising reactor designs target sub 2500$ per KWe.

Among future reactor designs, they can have some of those advantages:
Less or no wastes.
Guaranted safety (auto shutdown by design)
Ability to desalinate water or produce hydrogen for free
Ability to use thorium making nuclear almost a renewable energy source (enough for 2000 years of energy supply for all humanity)
And potential costs savings:
Less employee (700 per power plant is a valid number today)
More efficiency: from 33% to 45%

Source for many things:
https://www.world-nuclear.org/information-library/economic-a...
Agreed 100%. I'm really impressed at how much is available in the AUR, and how quick Arch gets updated, and I have to attribute it primarily to how easy it is to maintain packages.
Firms like renaissance have and continue to dramatically beat the market.

However, renaissance also has a collection of people that could probably produce a Nobel in physics if that's what they worked on.
Pi Zero W is $10 including wifi. Even if you don't want to hook it up to house wifi, the zero can run its own hotspot so there's no need to connect/disconnect cables/sd cards to update programming. (Personally, I hate having to deal w/ microsd cards while I'm also repotting plants.)
I believe I have the correct citation, but IANAL.

The article you linked is ALL murders in Boston - not just gun murders. And I am not sure what the race of murder victims has to do with gun death rates, the race of the gun using murderer is more important... I am not saying all young white Christian men are mass murderers, but they can't deny that young white Christian men have a mass murder problem, somehow they are being radicalized.
https://news.ycombinator.com/item?id=20714127
>Those skills get people promoted. More tech skills don't.

Which was my point.

But frankly, even if I were to rank the tech skills that can get someone promoted, expertise in sed/awk is pretty low.
Yes, basically Goodhart’s law generalizes to standardized tech interviews.
Give a bunch of homeless people homes they don’t work for, and they will trash them in short order. People don’t respect things they don’t work for. I suggest the author give up their house and show us how it goes! Instead of telling others how they want to take their money from them (that they worked for) to fund crazy liberal schemes.
Similar to GUI apps that work on top of git binary, does anyone know a user friendlier CLI app?

It can have new commands:

- `gitlite create` vs `git init`

- `gitlite branch create feature-dom` vs `git checkout -b feature-dom`

- `gitlite time-travel cfae736` vs `git checkout cfae736`.

- `gitlite undo cfae736` vs `git reset cfae736 --hard`

- gitlite release create v4.2` vs `git tag v4.2`.

Each command will call the translated `git` command, and perhaps improve upon the output from the command.
I like the plain Spotify artist suggestion based on the one you're viewing, but mix it up a bit by first seeking out bands in a genre in another country then follow the suggestions from there. Example, there will virtually be no paths for people in the US to Russian artists like Mumiy Troll, Leningrad, Monetochka or Mashina Vremeni from artists popular in the US via "Fans also like".
Am I the only one weirded out that this story keeps coming up and that everyone seems to ignore the whole "sending people something they didn't ask for when they paid for something else" aspect?

It's like someone coming to pick up your old furniture to donate to Goodwill, mixing it in with bags of dog poop and selling it to them as "mixed furniture".

Of course they're going to send it back. Of course they're going to be offended that you treat them with such disrespect.

But it's untrue to say "Goodwill won't take any more furniture", they just don't want the dog poop.
Apart from Google scholar, search in Library Genesis scientific papers search. Once you have a result, can click on journal title to check out everything in each issue.

http://gen.lib.rus.ec/scimag/

I think it's same database as SciHub, but LibGen has keyword/author search, don't need exact paper title. So useful!! Only gives the first 100 results though..
Fair Use is specifically an affirmative defense. Not a defense like self-defense at all. It's not a matter of 'yes I did a bad, but I had a good reason', but 'it is my right to do this, I did nothing wrong'. The other references to Lenz v Universal in this thread established this and it's been upheld in many courts.
Edge with chromium is still on the insiders channel so if it’s from work systems you probably have only been on their engine (is/was it trident?)
I suspect that's intended behavior. But if I'm understanding correctly, I think you could account for it with something like-

... | xargs -P10 -i sh -c 'command {} 1>{}.out 2>{}.err'

or maybe with tee:

... | xargs -P10 -i sh -c 'command {} | tee -a {}.out'
Ideally, you want to start the business just before the bottom of the business cycle and have a large market share during the next boom. Many companies started in 2007-2008 managed to hire great people at the beginning and are bringing in huge revenue today.

Many products can be sold as cost savers during the trough, and rake in huge profits during the boom. Cloud computing is an example -- people start using it to avoid buying servers but during boom times they over-provision.
The problem with piezoelectric flooring is that the power generated is "stolen" from the person crossing it. Take too much power, e.g. by having a perceptible deformation of the surface, and the person will have the feeling of walking on soft sand or snow and may avoid walking on it. Take too little and the exercise becomes pointless: even with a very generous set of assumptions the PaveGen system produced 1/5000th of a person's power need.

[1] https://www.theregister.co.uk/2015/05/26/pavegen_the_company...
Yeah, haha, my reply was a bit meta ^_^ basically making the affirmative case for PC in a non-PC way. I agree with you that there's nuances (and that this isn't the place) -- and of course simultaneously I'd love to see peoples' skins thicken up. My reply is more to the FOX News trademarked rallying cry against political correctness more than against the dictionary definition. With that in mind, I'd expect someone arguing against PC to appreciate the tone of my reply as that is the kind of discourse they're advocating for.
Yeah, between this and the MITRE post the other day I wondered if it was suddely Systems Engineering Week at HN. This is not the kind of content you usually find here.
sure, but what do they do with the other 2 hours of the day, 7 days a week?
(Oppressive to the person constantly censoring themselves in the name of PC)

I mostly don't suffer from this issue. It's a genuine concern that if you can't speak certain words, then you can't think certain thoughts and you may not be able to feel your own feelings.

I spent a lot of time in therapy. I feel fairly comfortable with myself.

It's a topic I should perhaps explore more sometime, but I have had a really rough month, I'm still exhausted and I've got a looming deadline, so now is not the time for that.
Iris Automation is hiring a C++ software engineer – AI Software for Drones
Some places are cheaper than others, looking at this thread especially outside US.

In Poland you can get 1Gbps connection for 200USD/month and 5Gbps for ~600USD/m
Ask HN: Have there been security flaws in Hacker News before?
I’m curious if anyone has found security flaws in HN before.

Given the traffic HN gets from people who understand web dev, I would suspect there have been some flaws detected.
> Similarly in JSON integers or arrays of integers are nothing special.

JSON is perfectly capable of representing integers which cannot be represented in IEEE-754 double precision floating point. That seems at least a little special to me.
If more Wal-Mart shoppers had guns, crazy shooters wouldn't get to use large ammo clips before being stopped.
> So a competitor to WeWork would have to spend even more than WeWork to compete vs the brand. They’d be even more strapped for cash for PR/ads than the main player.

WeWork won't be able to maintain their venture-capital-fueled level of spending forever. Starbucks' economies of scale aren't a one-time "build the brand" thing, they're a constant source of capital that allows them to continually build and maintain storefronts better than Local Coffee Co can.

I can totally see a world where WeWork, forced by the public markets to attempt to reach profitability, stops putting as much money into their buildings and furniture as they currently are. Then, the next real estate firm disguised as a tech startup can raise private money at a forty-eight million dollar valuation, build even nicer offices, and eat their lunch.

> They have the first mover advantage.

I am not convinced the first-mover advantage is very significant in the short-term office rental industry! WeWork got a lot of customers by selling nice offices at below cost, even though other players in the space had been around longer. Who's to say another company couldn't do the same thing?
> "Why do you think the US has a free press?"

That's a fairly extreme claim particularly in the context of discussing Chinese state run media and the near total control that state exerts over the flow of information. Here in the US, there has been a lot of reporting about how one media conglomerate (funny how that reporting is allowed in a country supposedly without a free press...) influences the current executive and his public policy [1][2][3].

There is also plenty of criticism over the consolidation in the media landscape and the slow death of traditional journalism [4].

[1]: https://www.newyorker.com/magazine/2019/03/11/the-making-of-...
[2]: https://www.washingtonpost.com/politics/hannitys-rising-role...
[3]: https://www.nytimes.com/interactive/2019/04/03/magazine/rupe...
[4]: https://billmoyers.com/story/media-consolidation-should-anyo...
Is there something wrong with what I said? Is it impolitic to observe that most Americans exist in a serious caloric surplus? I am not excluding myself here or making any moral judgment on those who do. It's just a fact, and it is relevant to the concern that Americans might starve if the food supply contracted.
> nothing in the world has intrinsic value, including gold

This is incorrect. Both Western Europe and uncontacted pre-Colombian America considered gold extremely valuable for use as jewelry. That’s what intrinsic value means, people value it for what it actually is.

And nobody says bitcoin is exclusively used for crime. In practice it is used both for crime and financial speculation.