skysight-inc/HackerNews huggingface dataset:
It looks like you can allow admin or users to easily upload files to an S3 bucket that you don't have to manage, and then serve them via Akamai without configuring it.

I guess there's a value add there if you don't have a person on board who can configure S3 and Akamai.
How? All the info about me is with Google and no 3rd party knows my private info.
Top Companies/Brands Using ReactJS Development
All that spying on their own people yet I read almost every month someone in a poor neighborhood is using British girls as sex slaves. Maybe the British Royalty needs to be put to the guillotine.
Incentives have to be aligned. Open protocols at a minimum.
I find it fascinating when there's still room for innovation in crowded seemingly done to death markets like running shoes. There's always a sub-niche to go after, in any sufficiently large market there will be power users that are totally willing to shell out $250 for a 4% improvement. Given that these shoes according to the article last for 200 miles that's a couple of marathons and couple months of training tops before having to be replaced. Reminds me of the Tinker Hatfield doc on the Abstract series on Netflix.
Interesting project... I wonder does it have same kind of processes preemption based on reductions like BEAM?
Supervisors, Genservers etc. are OTP patterns, not specifically Erlang or Elixir language features.

Lumen seems to implement OTP patterns so that's why those things work on it.
Is there some expectation that they sit and watch the whole thing end-to-end with headphones on?

I'd think skipping around and finding a few frames would be more than enough to be like "nope, that's a bad one", flag it, and move on.

I would think the police and prosecutors that follow up would have to see and document that stuff in way more detail, and nobody's talking about their PTSD.

I'm not saying it's not bad, but I think the initial moderation flag has to be one of the least bad of all the people in the pipeline that will have to deal with those cases.
But the risks and consequences are catastrophic. The Feds will put you away forever for even attempting it.
Reflecting on 16 Years of Work on Adversarial Interoperability
Solution to what problem?
I believe in extreme cases such as this the hospital considers it an academic/research/prestige/security cost and would essentially charge the patient nothing or standard daily rates. I know when the Ebola scare happened in the US the prestigious hospitals near me were throwing $1,000,000's into constructing state of the art rooms for preparedness and to impress the CDC and get federal approval and academic recognition.

Also the hospitals can write these costs off of their taxes in various ways. If outbreaks like this cost them millions in expenses they have tax loopholes and it ends up costing them nothing.
Just for that reason there's no point really, you can just switch in the next generation FPGA (more or less) as the high-level HDL stays the same.
I don't think the UK government would do that with anything short of a death penalty possibility and that's not on the table in any way with this trial. They won't risk their extradition treaty with the USA over him.
I’m sorry but either you don’t know what you’re talking about here or have consumed some serious late-stage capitalism koolaid. This reporter has previously covered the experiences content moderators face in these types of jobs, and I suggest you read those articles.

Every day these moderators need to consume a rapid stream of horrifying videos depicting extreme forms of physical and sexual violence, in some cases involving children. In the FB moderator article they mentioned having to do so as fast as possible and with very few breaks. The employers provide pitiful mental health support, and unsurprisingly a lot of these workers develop serious PTSD and in some cases have committed suicide.

This is treatment that would normally be considered psychological torture, but because these people get paid (rather poorly at that) and signed some waiver then it’s “fair”? A lot of these people take these jobs because they’re desperate or don’t fully understand the consequences. I know that HN community is pro business, but I’m shocked at the callousness displayed by some of the comments here. A society that allows companies to pay desperate people to destroy their mental health is not a healthy one.
I'm not distinguishing artificial vs. natural -- I'm distinguishing conscious vs. subconscious. You should be careful about what you consciously try to be, and make sure if you go through the hard work of changing your personality, the changes are unambiguously positive. Your subconscious, your identity, and the cultural beliefs society has loaded you up with may be wiser than you think.

(There are lots of positive changes that you should consciously strive towards -- being more focused, more in control, kinder, less neurotic, etc. etc.)

If you tinker with your personality to gain more of what you think you want -- wealth, status, etc. -- it can bring you farther away from what you really want out of life, and it can be hard to undo your changes. Few of us in society today are actually in touch with what we want at the deepest level of our soul.

So when you try to "be" something new, make sure it's not conflicting with what your soul actually wants. That sounds hippie dippie as hell, but I think it's actually very real and it's a big problem, especially in fast paced, modern society.
Name the privacy violating technology. How and please be specific. I can give examples of FB violating user privacy. Cambridge Analytica.
We need an "engineer's hotkey" which would be a widely used hotkey combination which would change the css to show the no bs version of your landing page.
My partner worked high up in a local small chain of boardgame cafes. She would stress how little it cost and how much profit was made on those drinks. I don't think the syrup costs much more than that, now! Somewhere in the few cents a glass range, and they can easily charge $2-4 for a pint of cola now.
Here's what I think is happening: megacorps want to overwork people into the ground, but pretend that it's disturbing content that's causing it, not them forcing people to keep focused and assessing content all day long.

I moderated millions of images myself, plenty of disturbing images, but for my own project and this is why it sounds like bullshit to me.
One to Many Relationships with Dexie
Why must i use facebook?

A search engine, ok, but facebook?
I respect the stance, and it's not an avenue that I've ruled out, but it's not a priority for me for the moment. Especially with the primary concerns that I'm addressing at first is the destructive incentive structure constructed by ad and data supported social networks.
How much of that existing code, really, is ever going to be updated to the standard of even C++11?
> The same ones that formal methods research focuses on (for deep properties): model checking and concolic testing, which have shown much better scalability than deductive methods

Model checking is great, and many tools developed by the model checking community are marvellous (especially the TLA+ model checker).

But deductive methods scale well enough to definitively establish integrity and confidentiality for an entire OS kernel. They scale well enough to show that that said kernel has no in-kernel storage channels that can be exploited in a side channel attack.

Deductive methods scale well enough to verify (completely automaticallly, without human intervention) that the compiled binaries faithfully implement a given C program, so the compiler and linker need not be trusted.

These are deep properties. You're welcome to give examples of model checking or concolic testing establishing comparably deep properties of actual code of comparable length (not algorithm sketches or high-level system descriptions, actual code that compiles and runs).

That's for deductive approaches in general. But sone of your specific claims about type theory are dubious as well. Elsewhere you claim that

> The fact that even current formal verification research is mostly looking elsewhere seems to suggest that the answer is likely negative

Your claim that formal methods research is mostly looking elsewhere is really stretching it. More researchers are doing type theory than ever. Grants are pouring in, some labs can offer 20+ PhD scholarships per year. The number of submissions to ICFP's TyDe track had over 30% growth last year. TYPES already dwarfs the biggest conferences devoted to model checking or any other specific formal method. No widely cited research aeticles express the sentiment that "type theory has failed and we should look elsewhere". No other subfields are ezperiencing comparable growth.
Brooks revisits NSB 20 years after the fact and makes pretty strong arguments that specific intervening technologies have not disproved his original conclusions. I think we could do the same today.

The author of this post conflates better with a 10x improvement from a few anecdotal experiences that are themselves extremely accidental to the act of creating software. He may have a point about the large volume of accidental improvement areas remaining but I think this is because like the JS ecosystem they are growing faster than we solve them.

I think the reality is likely the author is themselves a 10x improvement over their decade-past self.
he did! but did Steve Jobs singlehandedly invent that treatment? nope! So even then, his reliance on existing constructs that were not created by him-"self" is quite obvious.
The robot (self driving) part of it is just unnecessary. Why complicate things when there are staff in the hospital (porters) whose sole job is to move patients and equipment around the hospital. I say this as an infection control professional who works in a hospital and has experience with this type of technology.
I'm at about 90% Duck these days, and 10% Google. But I'm not sure it's because Duck got better, or because Google got worse.

Google's results just seem less and less useful for the kinds of searches I do.

A recent example: There was a news event near where I live earlier this week. It made national headlines briefly. Yesterday I wanted to know if there was anything new about it. So I hit the duck with my search query and it showed newspaper web sites that had updated the story about three hours before, and some TV web sites that had stories from the previous night.

I wanted to make sure I wasn't missing anything, so I did the same search in Google. Big G's results were all at least three days old, and most were re-posts of re-posts of re-posts published on random web sites on the other side of the planet.

So, I continue to use the duck. And I've learned a lesson that I really shouldn't second-guess myself and think that maybe Google, with its trillion dollars to spend, isn't any better after all.
I agree entirely with how you described the search experience. I would often try three or four ways to get a website I wanted back in the day. I am finding myself learning what search engines I like more for specific types of searches. Some times that means google, some times DDG, and who knows throw Bing int here.
Isn't this the same risk anyone enlisting in the military also runs?

Still, I agree - it would be a lot easier to avoid these awful posts if people had to pay to be on the platform. It wouldn't be perfect of course, but it at least provides a barrier to entry and a slightly harsher consequence if you forfeit your membership fee when banned for inappropriate content.
I’m honestly not sure of the value of spending time in first line customer support. I would note though that, at least in companies in enterprise sales, engineers are very commonly in the ultimate escalation path, expected to help in sales situations as needed, and do other things related to retaking customers and gaining new ones. Senior engineers are also often expected to be a face of the company in a variety of ways.
A small change in momentum requires less energy than a large change in momentum.
Can that really be true? You’re still having the thing rotate along. I worry about space filling up with satellites with no good ability to retrieve them..
"Spaghetti Junction" was not. Just get in the correct lane, as signposted, and stay in it. It's actually easy to navigate. It may have resembled spaghetti to a headline writer in the 1960s, but it is not in fact a difficult junction.
Monetization is a perverse incentive. I'm willing to run my own services, maybe pay someone to host for me, but I don't want a company with an incentive to maximize eyeball time.
And two years later, they develop PTSD, and look for help with that, at which point Accenture waves this document saying they have absolutely zero responsibility to assist with it.
You can also use AWS Parameter Store with KMS (SecureString type) to store secrets in Parameter Store. Of course this doesn't offer rotation of the secrets although KMS will handle key rotation.
Okay, what's the solution?

The Wikipedia article[1] says, "A 2011 MIT study concluded that although there is little in the way of barriers to a thorium fuel cycle, with current or near term light-water reactor designs there is also little incentive for any significant market penetration to occur. As such they conclude there is little chance of thorium cycles replacing conventional uranium cycles in the current nuclear power market, despite the potential benefits." What did they know at MIT in 2011 that we don't? Or were they just wrong?

If really no material will work for this, I can only imagine some sort of mag-lev design that keeps the molten salt out of contact with other materials, but that seems kind of far-fetched.

[1] https://en.wikipedia.org/wiki/Thorium_fuel_cycle
If all the images are paid-for you have the advantage of basically not having to worry about bandwidth. (Assuming you're not bloating the site with MBs of JS libraries.)

Unfortunately -- Facebook has trained people to expect this feature for free. Not sure there's a simple solution here. But maybe you could release the site unmonetized then work on a paid white-label version for private networks / corporate intranets / etc.?
just fyi, they're in medium earth orbit, thousands of kilometers below geosynch. it's why you have to have an up to date almanac, to know which satellites you can see right now, and why cold starts used to take so damn long. (listen for 4 satellites at a time, trying to figure out which ones are there, when you have no idea when or where you are.)

(though i agree that kessler concerns are overblown.)
If it's own hosted, what's the difference?

Whether i send queries to Google from my browser, or from my own hosted Searx instance, it's the same thing: a query from one of my static ip-addresses to Google (or other search engines.)

It seems to only make sense if this Searx instance is public and your queries are mixed with others. And in that case you have to trust whoever runs this Searx instance won't sell your data just like Google does.
Register a domain if you don't already have one and get Fastmail for 5 USD/mo (includes a calendar as well). If Gmail.com is your online identity hub, then you're not in control of your online identity.
GPS satellites are indeed at much higher altitudes and thus well protected from (highly speculative) worst-care Kessler syndrome scenarios, which occur in low-Earth orbit (<2,000 km altitude). However, GPS satellites are not in geosynchronous orbit (35,7000 km altitude) but rather operate in a medium Earth orbit of about 20,000 km.
I love to play this game by taking the oneupmanship to an absurd level. If someone is humble bragging about stressing over a speaking engagement, I’ll causally mention that the student organizations that book speakers at Yale can be difficult to work with. If they start talking about their Tesla, I’ll work in a mention about how tragic it is that Fedship isn’t committing enough resources to electric conversions. I was at a work function and a colleague was going on about Zenga suits, I then started complaining that Zilli hasn’t opened enough boutiques in North America.

I don’t even own a car or a suit, much less a superyacht or far-end men’s couture.

I don’t play in bad faith like this if I value the input of the people I’m talking to. I definitely smile and nod if I like or need something from someone playing this game. I suppose by displaying awareness of the brands I’m also engaging in the game on the same side of the spectrum as the folks who actually wear a Rolex/Patek watch.

Anywho, if you find yourself In a conversation with someone bitching about how the tax benefits of a third vacation home aren’t what they used to be, you might be talking to me.
8 hours later and the author has changed the description on their website. Still no answer to my question though, I'm getting very curious.

>I took a photo that may technically be one of the most reproduced images in history.
from https://www.bls.gov/emp/documentation/nem-definitions.htm:

No formal educational credential. This category signifies that a formal credential issued by an educational institution, such as a high school diploma or postsecondary certificate, is not typically needed for entry into the occupation. Examples of occupations in this category include janitors and cleaners, cashiers, and agricultural equipment operators.

I didn't look to see if garbage workers specifically get higher salaries, but could be.
But even if that's the case, it doesn't seem like a very high salary, so, assuming that unions are not in a zero-sum game, and didn't need to cause other salaries to lower, this sounds like a benefit of unions. Or is it a drawback? I wasn't sure how your statement was taken.
Then it's two separate articles. Google and Facebook are not the same when it comes to privacy. This article throws them together in the same bucket and it's really unfair to Google.
Android is perfectly usable with microg! And then look into magisk for functionality requiring root access for things like ad-blocking and a firewall to prevent (or spoof!) all the traffic generated by all those shitty apps trying to ship your personal data off to Google, FB, Twitter, etc in the background.
> Imagine it's 1995. The Web gets banned for five years so that a government committee can meet to figure out what could possibly go wrong with that technology.

This analogy doesn't work because the web is something I can choose to use or not, whereas facial recognition isn't.

> But as a general principle I think problems should be solved when they arise. Solving imagined problems before they arise is impossible and prone to misuse of power and influence.

The problems aren't imagined; they're very real and already present in other tech.

Also, "figure out problems when they arise" is rather naïve; history has shown that corporations will do anything to make a buck and will lie and bribe to get away with it. So this strategy didn't always work so well with past.
Google has removed favicons from search in an attempt to de-adsify their results. I don't think it's gonna work, I think with the latest change they've brought to light stuff most of the people using Google didn't even think about.
There's still no realistic alternative to FB. It's a social network, not a service.
>What's the alternative here?

The alternative was not warning workers of the risks involved, and being sued for the injuries sustained on the job.

It's fairly recent that mainstream, non psych experts are becoming aware people other than soldiers can experience PTSD.
Or even if it's actually happening - it's a problem that the Hegelian concept of progression has rooted itself so deeply in the west that we think it's universally held, where other countries find a cyclical nature to humanity and history
If there are enough engineers who do not want to be forced to do chores unrelated to what they excel at, what they don't see benefitting their lives and what has dangers to their mental health it is likely you won't have many to build your video platform left.

Why should engineer choose this culture compared to other cultures where he can just build things and provide value at what they are best at?

Knowing other engineers most would avoid such activities where they can't use their skills valuably like a plague.

Also you would lose goal/results oriented people. The ones who are best at reaching those goals are the ones who can not stand doing anything that does not align woth those goals.
So you have a CS degree and an MBA... ;)
After ditching Facebook for the past month I’ve realized it doesn’t really need a replacement for it’s primary features. For talking to friends I just use messenger and email more, plus I have a blog and I do occasionally cross post blog posts to Facebook.

Google is fairly easy to replace. Aside from occasional second-opinion searches the only google service I use is Gmail and that only from remote clients... I should replace it but I’m just a bit lazy.
Here's a few reasons why when you finalize a query, you select only the necessary columns (non-exhaustive list):

- Reduce uneccessary IO / resource strain, as you said

- Predictability; consuming program receives data in the same order, every time

- If the DBA adds additional columns to the table, it doesn't hose downstream consumer processes

- Easier to debug if some problem does arise.

- Clarity, if you are only using a few columns from a large table. I might just be getting old though ;)

Data should be served in the simplest, most robust manner.

It should be easily consumed by other services, with little extra effort from the programmer.

If you use Select *, you either accept the possibility of it breaking unexpectedly, or have to write logic within the consuming service to deal with that. If the problem can be eliminated by the DB/query itself, it should be.
Lossless compression preserves entropy. Lossy doesn't.

The meaning of a certain sequence of bits depends on interpretation, of course. But nobody is talking about meaning here, only entropy. For our purpose it wouldn't matter if there were no sentient beings in the universe to attribute any meaning to anything.
Openstreetmaps is pretty good. The transition has gotten much better than it used to be.
Does Microsoft Have a Boeing 737 Max Style Crash Every Week? – Big Matt Stoller
Come on. People will get upset at you for speaking like this on the Yang subreddit, expect the same here. It doesn't matter if another group is more toxic or not. It isn't a competition about who can be more toxic. We say "Humanity First". If you really do support Yang, stand by that. You're talking to another human and you're also representing Yang. Be kind. We're running a campaign about unification, so expect to be called out if you're causing division.
Making one obvious mistake is correlated with making other obvious mistakes.
The product (not "mine," I'm a part of the team) has millions of users and ridiculously high review scores. We don't have ads or sell user data, but we make it possible for families and close friends to have real relationships despite scheduling issues or different time zones. If you haven't heard of this product, it may be because it's a family-oriented app with less tech-world adoption than mom-adoption. But fundamentally, it's not about feeds, because there's really not a way I can see that that type of UI doesn't take you down a rabbit hole rather than into a positive feeling about yourself and your relationships.
Modern Systems Programming with Scala Native
The word "de-orbited" used in the article seems to not be the normal use of the word. Normally if you de-orbit a satellite, you lower its orbit until it either burns up in the atmosphere or hits the Earth. Satellites in GEO don't de-orbit in this way because it would need too much extra fuel. Instead, when GEO satellites are decommissioned, they raise their orbit into what is known as the graveyard orbit.