skysight-inc/HackerNews huggingface dataset:
I've been wanting it in every tablet/laptop for at least a decade, but I've never bought one since the monthly data is priced as if made of solid gold. The cost is just too impractical over just using USB/wifi tethering.
all the company needed to do was fork it, he's happy, they're happy, done.
For instance, when reading this sqlite came immediately to my mind and how much a 10000 loop of inserts without begin/commit or some preparing pragmas would wreck a ssd... (forces a full sync between each two inserts)
Using Go Instead of YAML in Kubernetes
That must be why psychics went out of business thousands of years ago.
Probably a Randroid rage flagging anything that says “Soviet”
Curcumin: A bioavailable blocker of TNF and other pro-inflammatory biomarkers (2013)
> Voyager 1 is 152 AU away

Hmmm, can we make 11au?? I think so.
Great lesson in how to NOT handle feedback on your posts.
It can be both true and bad advice. It’s bad advice to preach against helmets as they are an excellent safety device.
What’s the solution though? If Canadians don’t want to have more children, you can’t force them and you probably can’t influence them much, so your other choice is to close down the immigration, which seems like it’s less ethical than the present condition.
We are in high demand, they are not, simple

As a hiring manager I can say that finding a good SWE manager is harder than finding a good SWE.
Show HN: I built an app to help me fight climate change
> Does a union negotiating system make sense in a individual contributor focused profession?

Is software engineering any more of an individual contributor focused profession than acting or professional soccer. All of those people are in unions. The highest performers in those fields can essentially name their price; their union membership doesn't hold them back in that regard. On the other hand, soccer players that pick up a bad injury and have their career cut short are somewhat taken care of. Not-very-successful actors still get health insurance, if they work a certain amount every year.

A union doesn't have to negotiate your salary. That's just how a lot of labor unions are set up in the US. A union could just negotiate a floor on wages, conditions, or benefits.
Review: Karl Marx and the birth of modern society
Sorry that the OP has experienced this. I work for AWS (SA), have heard about this but does not seems as prevalent at AWS SDE teams as in Amazon teams. Agreed that there is a huge risk to loose skills and then it is hard to find an exciting job. Another point to have into consideration is how massively underpaid most folks are. It is common to hear stories of folks that move to the competition after carefully preparing for interviews and get good offer. Often AWS managers match or go above. Recently one of my colleagues left to the competition to rejoin AWS 3 months later with a 40k pay raise (same job, same team, same work output from the person). Knowing what i know after working at AWS for several years, be mindful that the company is so big that you might be the one doing crappy or low value work. Moreover, if you decide to take the risk of loosing your skillset, make sure you negotiate well and keep coding on the side.
Water is a chemical. Just because it helps humans grow doesn't mean it can't be toxic to other living beings, including humans.
We'll it might be true from Bezos's perspective, even if it's not true generally. Basically Bezo's goal is to get people working as hard as possible to enrich him and his shareholders. I think in many cases people expend more energy than needed to get what they want or need, but it's almost never in the service of getting some asshole billionaire they've never met a little richer. The energy people get from a novel job or from trying to prove themselves to a new community is short lived.

Also, as another data-point: slaveholders of all eras could not stop complaining about how lazy their slaves were. They expected the slaves to give their all, even though practically nothing was in it for them.
I wasn't referring to human urea particularly.
I'm arguing against "there are plenty of affordable homes" in a useful sense, and the implication that most people who don't own have chosen not to own.

I'm not arguing that feudalism is part of the solution.
"except to nerds" was conversationally phrased shorthand for "except to people with rarefied technical skills".
Deaf people access phone services through TTY/TDD. People who are deaf and blind can do the same with Braille.
There is no company involved here, and your "solution" was offered and rejected, so clearly he's not "happy" with that.
>We have an older, more proven tool to increase salaries and benefits: unions

The union environment I am aware of classifies software developers as IT personnel, and every new employee has to start at the same salary grade regardless of previous experience, which is under $60K.

They do indeed negotiate salary increases, as much as 2% a year, and they are tenacious, winning retroactive increases even after going years without a contract.

Why do you think this is at all relevant to the people on HN who say they are making $500K to $1M at a FAANG?

Also, you gloss over (assuming you aren't totally unaware) that during the last "70 years", there have indeed been attempts to unionize highly paid engineers, and what do you think happens when they fail? Early retirement (i.e. blacklisting) for the instigators.

Calling people stupid for buying into "demonization, propaganda, and exceptionalism" is not helpful, it's a cliché, and it doesn't need to be said again.
Cindy Sridharan often writes well about these topics.

https://copyconstruct.medium.com/testing-in-production-the-s...

For this one I'd start about half way down, under the heading

"Shadowing (also known as Dark Traffic Testing or Mirroring)"

Unfortunately the terminology is a bit fragmented - shadowing, mirroring, teeing, dark traffic (ick), ad nauseam.

Whatever you call it, it's often pretty high overhead to add the infrastructure, unless you're already using some sort of "service mesh" (Envoy/Istio/Caddy/whatever) that supports it. Even then, if you're dealing specifically with a storage system then there can be some thorny issues - idempotent vs. non-idempotent vs. destructive requests, requests which require other objects (files/objects or directories/buckets) to exist or be in specific states, etc. I'm not going to pretend it's easy.

If you can do it, though, it can be an incredibly valuable tool. There ain't nothing like the real traffic, baby. ;) My favorite feature, which I alluded to earlier, is that you can shadow traffic from a larger production cluster onto a smaller shadow cluster and give it a serious stress test. All sorts of bugs tend to fall out that way. The one thing you can't really catch, even with a good shadow, is interactions with other services - including things like permissions or quotas. But if those are the only things you have to shake out in true production, you're doing well.
Why does the author think the defendants actions were proportionate?

Proportionate means the good done outweighs the bad. But what good was accomplished by defendants actions?

To be proportionate, one has to consider and exclude actions with lesser bad effects. In this case, peacefully protesting and not harming anyone’s property.

If they had vigorously protested, but not harmed any property, would it fail to stop the bad effect?

Did their actions change Shells behavior? Does Shell even care? I’m betting their insurance company cares a lot more.

Edit: it also seems very unfair the defendant who pleaded guilty.
>Be sure to let Germany and Japan know that their high-value manufacturing is useless.

China turns high value manufacturing into cheap manufacturing. That's why virtually every high tech component is manufactured in China. Japan is currently worried that China may snag the auto market from them once they start exporting their tech.

>China is rapidly losing its textile crown as another example of your premise being incorrect.

Textiles are the lowest skilled, cheapest manufacturing in the world. No country cares when that industry goes outside of its borders because the loss of the textile industry is a sign that the country has developed into a more advanced economy. Once/if countries like Bangladesh develop ahead of other countries, they'll dump textile manufacturing as well.

As someone in the manufacturing industry, it's very easy to avoid American components or equipment. I don't even try to avoid it--there just isn't anything unless I'm actively looking for it and willing to pay extra for something that is, frankly, not any better quality. Meanwhile, it is absolutely, and I mean this with no exaggeration, impossible to avoid buying components from China. Whether it be PLCs, cables, plastics, anything--everything has China's hands in it to some extent. And from a cost perspective, it's incredibly cheap, so even trying to actively avoid it, someone is using some component because they're still undercutting Vietnam and other countries.

Vietnam is best at cheap assembly costs. When we go to factories there, they're still using significant amounts of Chinese components and equipment.
It doesn't sound like they're equipped to autonomously navigate long distances. Not sure they understand things like street lights, crosswalks, construction manholes... my impression is they basically just stay "tethered" to your waist via an imaginary leash.

Regarding comments about theft... I think plain old vandalism would also be an issue.
The apparent ability of our species to self-regulate its population growth when not disturbed by religion is something that I find to be an unexpected and pleasant surprise.
> China's one-child policy was a success.

None of Korea, Japan, Singapore, Taiwan or Hong Kong had forced abortions and they also have declining, aging populations after long periods of rapidly rising living standards. China got to very much the same place they would have anyway but with much more human suffering and barbarity.
Delta State Replicated Data Types (2016)
Your concerns make sense in general, but I have hard time understanding them for would-be subgroups. I would think the "explicit function" would be the easy part. The hard pat is annoyance of finding a "syntactic" representation of the subgroup and proving it's a group (closed) in its own right.

In any event, Lean's reputation is that it goes the extra mile for
"regular" mathematicians. It probably has something nicer for this just like it does for quotiented types.
Not a mathematician but some thoughts:

The idea of 'infinity' may get in the way. The universe doesn't have an infinite number of particles, it has a finite but uncountable number. Many can be ignored. The thermodynamics of a closed box can calculated well enough while ignoring the neutrinos.

Some physical constants are irrational, but having only a few digits is very helpful.

The idea of a 'proof' may be reduced to a reasonable proof. Goldbach, for example: maybe there's rigorous proof up to a reasonable value. For now!
I'd disagree with that.

One doesn't need to be cruel to be callous or oblivious.

One can intentionally remain oblivious, but that doesn't imply that the cruelty is an actual goal.

See also people who happily eat meat (myself included) who are still troubled (as a 5th order concern) by the process.
> Amy Chua authored Battle Hymn of the Tiger Mother and is a political moderate

She also authored World on Fire. "Political moderate"?
Tax breaks for land so converted would keep property owners in control while encouraging the desired behaviour.
In a two-body system it doesn’t matter what you do; gravity is a conservative force so conservation of energy demand that you leave the body’s SoI at the same speed you entered it (in the body’s frame of reference).

You can lose speed or alter course relative to another body in a single encounter, and those changes can reduce speed in future encounters, but if you’re on an escape trajectory heading in you stay in one (without forces beside two-body gravity, which is a pretty safe assumption 11 AU out of Saturn doesn’t come close).
Big backyard.. The Oort cloud extends a sizable fraction of the distance to Alpha Centari. No spacecraft has reached it and very little is known.

It's remarkable that this dwarf planet's orbit reaches it. Its aphelion is 54,600 AU, or 0.86 light years!
Submissions by dang are relatively rare so that was the thing that piqued my interest as I was skimming the front page. I loved the article, it’s a true character sketch done in 3D, so to speak, and not reduced to how the person has passed was good, a la the classic eulogy format. The “warts and all” approach of portraying a steadfast person reminded me of Saul Bellow’s story “A Silver Dish”.

I feel for the son’s frustration in the end about the inability to communicate with his father, to be understood and, perhaps, be appreciated by him; the gulf between their world views seems too large for that. My own father was a gambler and charmer, I’m as far removed from him as this Indian religion sage is to his Methodist schoolteacher father.

Yet I still remember him because he helped make me, even if being an example of what not to be.
“Right” is a strange word here, but there are absolutely cases where pedestrians have no right-of-way over cars.

In these cases, you can be run over and you (or your family) will have no legal recourse against the driver. Zero, nada, zilch. So in the legal sense, it is not true that a pedestrian always has the right to exist at any point on the earth without being run over.

In a moral sense, perhaps every driver has an obligation to try not to run over pedestrians. That might create a “right” in some moral/ethics frameworks, but it doesn’t exist as a legal concept in my state.
You're implying that ex Yugoslavia had just one make of car available - which is not really true.

In the 1980 there were plenty of variations of Zastavas, Yugos, Fiats, Ladas, VW, Trabants, Citroens, Skodas, Varburgs, Renaults, Opels around.

While Yugo was certainly popular enough because it was supposed to be really cheap, I think I used to see a lot more Fiat 500s and Zastava 101 around back in the days. Yugo is just known more internationally because it was actually exported to the US.
Glad to see this showing up every few years. After its initial launch, I think I helped the creator add the localization and lightspeed features: https://joshworth.com/updates-to-the-solar-system-map/

...and we eventually met up and had lunch.
The wiki passage lumps "saving for later" (caching) and abandoning the food completely into the same category. Which doesn't support your point as well as you think — the cached food may well be "necessary" over a longer time frame.

I'm not saying your point isn't valid, just that the passage quoted is too broad to be a strong support of your argument.

At any rate, there are always outliers, no? When someone makes a generally true statement, is it really that useful to reply with a rude "Nope" and point to outliers?

I took the parents' comment to mean that it is a general truth, not an absolute truth.
Minuum wage isn't going up. It's a huge problem.
Since India already has nuclear technology, they can use it to desalinate large amounts of ocean water. Nuclear energy is relatively easy to scale.

Producing good doctors, teachers, police officers, judges is much harder to scale. At the very least, India us known to nurture good engineers and doctors in serious numbers.
Fair, I'm a big fan of the Pebble, but I mostly put up with the UI due to the always on screen and battery life. Its not really great from a UX perspective in general.
What is the drama here? It just looks like the dev ignored someone, and now people are mad that he doesn't care about their pedantic comments. Another day on the internet or HN-frontpage material? You decide!
ESP32 (and even ESP8266) can run a webserver and serve files from flash. It’s not obvious to me that they’d be so much better than a Raspberry Pi, which is < 10W and likely averages ~5W, which is on the order of magnitude of a single hard drive, and obviously much easier to port Linux apps to.
Children are astronomically expensive. Most working class and middle class parents cannot envision affording a second child so they have just one.
There's mod though! https://forum.kerbalspaceprogram.com/index.php?/topic/162200...
I'm reading this right now and Heinrich impresses with his rigorous approach to the biographical program. Very readable and highly informative, specially in regards to European scene circa 19th century. He also has written "How to read das capital" which is on my to-read list. (Funny aside: when the Iranian revolution broke out, and I was a recently minted teenager, Das Kapital was on sale on the bookstands outside of Tehran University -- this is during the brief "spring" before Mullahs consolidated power -- and I remember buying the whole set to read. Don't precisely recall what I made of it. Quite soon after that we departed for America and naturally left the book behind.)

https://monthlyreview.org/product/how-to-read-marxs-capital/

& Here is an interview with Heinrich by the author of the OP (2018):
https://www.historicalmaterialism.org/interviews/interview-w...
I hope there was a search engine.
Is this like an offline version of ancestry.com or familysearch.com?
You don’t use a browser or an office suite? Because those are a pain in the ass to compile (in terms of time).
I prefer token over name, otherwise I think it's decent.

Here's my crack at it for fun:

Exposure Notification apps are a privacy preserving technology to help prevent the spread of COVID-19.

They don't collect or log any location data which is what makes them private.

Instead, a phone equipped with the app will continuously log and broadcast random tokens that change every 15 minutes.

Nearby phones with the app will take note of the token and the signal strength, while broadcasting a token of their own.

Each day the app downloads a public list of tokens that have been shared by people who have tested positive for COVID-19.

If your phone has been around a number of these tokens, it will notify you to get tested and self-isolate.

If you test positive for COVID-19 yourself, your doctor will give you a key to enter into the app. Entering the key will upload your tokens to the public list.

While exposure notification apps do preserve privacy, they are limited in effectiveness without widespread adoption. Additionally they are not a suitable replacement for traditional contact tracing.
For fun, I ported your 3rd solution to J

f =: 3 : 0
'k a' =: y
n =: #a
A =: (n, n) $ a
^ 0j1 * k * 0.5 ^~ (*: A) + (*: |: A)
)

I'm curious how the speed compares to Numpy, but I don't have a python environment installed. It ran in 6.6 seconds on my computer for n=10,000, but it used a ridiculous 10 gigabytes of memory. When you consider a 10,000x10,000 matrix has 100M elements, that you need two of them since you add two together and that a short has 4 bytes, you technically should only need 800 MB for the whole thing.
Not sure that a few of your points are relevant for a large part of the intended operation but I do like the idea of using old Android hardware though!

The idea is to have a low power server for anyone to interact with over the wifi.

If you could grab an old android phone, install IIAB app, configure as desired then put where you want - this would allow so many more non-technically savvy people to be able to build/deploy it.

Depending on the phone it also could be easy to ruggedise with a case or maybe the phone itself might have waterproof ratings too.
As a counterpoint, I installed a Kenwood Carplay unit and backup camera in an F150 a few years ago and was not very difficult at all. It took a couple of evenings (one for the camera one for the head unit).

Crutchfield will sell you a plug and play adapter from your factory radio to the new radio's pin outs. They do the wiring so you don't have to solder anything.

Having navigation and a backup camera definitely made it much nicer to drive.
Sales tax? Income tax? There's a difference between what is ideal and what is practical, but just because the ideal isn't immediately practical isn't an excuse to continue with the unideal indefinitely.
miniZinc is a constraint modeling language.

Many Prologs support constraint modeling. Common Lisp has the Screamer package which is built on the idea. minikanren provides constraint modeling in many languages.
Or how about people just use GNU instead of GAFAM crapware? Turn "silently installing things in the background" off by default and maintain user control over all their hardware.

It's not like Richard Stallman hasn't been warning of this sort of thing happening for decades - the GNU project exists for a reason, and we should use their code for general purpose computing.

https://news.ycombinator.com/item?id=25402024
Title II of the ADA applies to public entities, federal, state and local. I'd argue that the government funded and mandated vaccine campaign falls under Title II.

Title III of the ADA applies to public accommodations. Vaccination websites run by private entities have a legal obligation to make their sites accessible to disabled users. Luckily for businesses, accessibility is commodified on many software stacks, and there are plenty of companies and professionals they can hire to make their sites accessible. Also, if they give it even a second of forethought, they can build their sites with accessibility in mind and save themselves time and money in the future.
Ran it with my name and the top hit was nzeribe, which led me to this amazing thread:
https://news.ycombinator.com/item?id=27087795

And here I was living my life thinking that Soft Cell's version of Tainted Love was the original...
That was a fascinating read, thanks for posting it.
Projects like GNU Mes are part of the Bootstrappable Builds effort[0]. Another great achievement in that area is the live-bootstrap project, which has automated a build pipeline that goes from a minimal binary seed up to tinycc then gcc 4 and beyond.[1]

[0] https://www.bootstrappable.org/

[1] https://github.com/fosslinux/live-bootstrap/blob/master/part...
That must have been a very exciting few months!
Ask HN: Should the teaching robots, like ATLAS, Martial Arts be illegal?
Watching the various robot videos today, such as the Boston D. choreography - it came to me that teaching them martial arts is going to be a really interesting topic to watch/discuss.

Have any orgs already been talking about this?

A work around to this is 'allowing' the robot to learn from any movement it sees and determine how to mimic it, then send it to various martial arts tourneys, or have it watch every martial arts movie ever made, then it can share what it has learned with its comrades... or just have it subscribe to a robot-movement skynet account, and it will have access to any and all movements every other movement in the colony has ever learned...

Yeah, we are fucked.

Wait until the robots learn how create tools to use between all members of the colony themselves. Like the ability to review all failures in movement/action and derive the solution, then that enters skynet

---

On another note, I was thinking, while watching the Unitree A1 unboxing, that the ultimate weapon against it is a powerful 'paintball' gun with pellets filled with super-strong, ultra-quick-setting opaque epoxies.

Shoot at joints and cameras, if stationary maybe the feet.

Thoughts?
There are 9 people with over a .99 match. It's the writing style of non-native English speaker who spends a lot of time on meme sites.