skysight-inc/HackerNews huggingface dataset:
What does "steelman" mean in this context?
Clearly you have never done or received customer support in a b2b environment. It can be as valuable or even more than the product itself.
I bet there are teams for consulting, solutions, and services. "Need help digitally transforming your blah blah blah with Docusign?"
That also has the effect of locking in incumbent people and parties. No political ads means it's even less possible to get new candidates before lots of eyeballs.
Google Docs has offline version dating back to long forgotten Gears platform https://en.wikipedia.org/wiki/Gears_(software)
> But, like, its dramatically different if you're physically in the space and there's visible pressure

For sure. Not dismissing the author’s achievement here, just noting that it does happen frequently in our industry.

P.S: I once had to fix something in prod during a demo of upcoming features to paying customers. Nothing like using Remote Desktop (yep not even SSH) into four servers to manually change a line in a bundled and minimised Nodejs app!
Annoying, ganky UI's don't just build themselves, ya know.
Could that not get their owner arrested for stealing WI-FI?
Well, landlord is unknown to me, but it has all caps "EXPERIMENTAL" and had[1] 3 people working on it, so I wouldn't use it in production.

GraalVM is interesting, and it has isolates and from my memory it has plenty of sandboxing features like limiting network and file system access. However, it has some big downsides: it's Oracle, people still associate it with your regular JVM and all its downsides. Yeah, it can match v8 in performance if you let it warm up (it takes longer for it to warm up compared to V8.) and it's even further from what CF does in terms of compatibility with existing ecosystem.

CloudFlare workers have single digit cold-start time[2]. GraalVM is...200ms and that is considered blazing fast by JVM standards. Takes longer and slower at runtime and probably more memory consumed.

Remember, we're not talking about long-running services, we're talking about short-lived request handlers in JavaScript that run on edge. Pricing for workers is per request. It's in CF interests to serve customers requests as fast as possible. Also remember that customers want to write JavaScript.

Why is Oracle an issue? GraalVM is under GPLv2 which does not cover patents. Some performance and security features locked in Enterprise version. In addition, first production-ready version was in 2019, CF already launched workers by then.

[1]: Last commit 2018. I doubt this is a feature complete software...

[2]: https://blog.cloudflare.com/eliminating-cold-starts-with-clo...
Maybe, but I agree with the argument that we should focus on the abuse aspect
What does extreme feminism mean to you? I don't speak or read Korean so the site wasn't clear to me.
So the idea is that statistical language modelling is not enough. You need a model based on logic too for "real" artificial intelligence. I wonder what the evidence for this claim is? Because the inferences and reasoning GPT3 is already capable of is incredible and beats most expert systems that I know of. And GPT4 is around the corner, Stable Diffusion was published like only a few months ago. I don't see why not more compute, more training data, and better network architectures couldn't lead to leaps and bounds of model improvements. At least for a few more years.
Yeah good luck with that. I did the same. Then all the streaming devices stopped working suddenly. Turns out that there was suddenly an HDCP compatibility issue which obsoleted the TV instantly.
Seems to be the way of it. When you start wanting things like 4k, good HDR, or (heavens forbid) low latency for games, the selections get a lot tighter.

Actually, my employer tried to get a Sceptre as a reasonable accommodation for someone with low vision (needed everything to be huge). That panel was so unusable not even the legally blind want to look at it.
What is the Gary Marcus equivalent of a convolution neural network?
That’d be sad if we invented a superintelligent AI but still taught it the lump of labor fallacy.

Anytime you see “creating an AI will obviously kill you” try reading it as “having children will obviously kill you” and see if it still makes sense.
Aren't sales people also heavily paid in commission? I.e. for a large part, you only pay if they bring in business?
1080p webm is around 450kbps and audio is 65kbps, so the estimate is of by 50x for the purposes of a hobbyist archive.
> TBF China hasn't got a lot of choice.

I wouldn't doubt that this is true. But individuals can make choices, especially mobile techies.
In my own experience with such organizations, we were less worried about moles than by inconsistencies in vetting, training, and process.
It's hard to separate "I think your definition of literature is wrong" and "I think your application of that definition is wrong."
"Customer operations" is actually "customer success operations" -- it's the non-customer facing part of sales and support - the IT systems they use.

"Success" is just a a smarmy word for "sales and support".
Imagine plumbers used value based pricing.
Actually Screegle also has a window called “Screegle share” if you prefer to share that using the regular screen sharing (window sharing really). In meet it works great but in zoom or teams you need to slide it out to be fully in your screen (of course you then can put other windows on top). But the virtual camera works well for me: I don’t even need to ask for screen sharing permission anymore.
Can you sell it to a friend after you've watched it, like it's 100% perfectly legal to do with a CD? If not, then you haven't bought it.
That could make sense if it was just Amazon removing it from their streaming service like Netflix did. Because streaming generates revenue, and would have to stop if the underlying assets were written off. But I don’t understand how that makes sense in this case, as far as I understand where they removed it from someone who bought an actual copy that does not generate recurring revenue. What am I missing?
Does anyone know what it's like to work there? I'm interested.
and then set $600,000 on fire

That seems a bit cynical. While SD's creator might not recoup that money directly, a lot of end users have benefited from its creation. That money has figuratively gone up in flames no more than the time or labor cost of an open source developer whose code is used by millions of people, IMO.
This is good advice. I kept my 4k Vizio offline until updating the firmware on a whim. The update broke the ability to run 1080p@60hz from my PC, making it effectively useless for normal use. The annoying part about the panel is that it was advertised as 4k but only works at 30hz at that resolution. Cheap, so should have figured.
That’s usually how human conversations go. It’s not always efficient. You should try it sometime.
> Besides complaining on the internet, what can consumers do about this?

If you're willing to pay a bit more, you can buy commercial TVs/displays.

Amazon lists them under "Digital Signage > Commercial TVs & Displays", for example.
TLA+ is not an end-to-end system. You're not necessarily verifying your final code, most of the time you're only building a "toy" model of your high-level design and verifying that. So generating code from the model would not be helpful.
Just wait till ATSC 3.0. Then you will really be bombarded by ads.
How many programmers did Microsoft need for 1 million OS installs vs 1 billion? The reason software can be such a money maker is that the marginal unit costs are close to zero.
In theory, this is a good idea. However, no one believes soda is healthy. We don't need a sticker for that. Yet it sells, and sells, and sells. In general, sans food desert, most of the public has access to healthy options and consistently goes for snacks and goodies.

Sugar and carbs taste good. Irresistible for many. They're also generally less expensive. I'm not sure how a sticker is going to change that.
For something that is supposed to be intelligent, sometimes the restrictions around DALL-E make no sense. My recent request to generate an image of two cats sleeping together was not allowed because apparently this is “adult content.”
This isn't whataboutism; it's not trying to deflect from the original. It's a very valid claim. When science (or insert topic X here) is politicized and political ads are banned, then are stories about science (insert topic X here) also banned?

It's impossible to define what is a political ad that satisfies, say, 75% of the populace.
“They have literally floated the idea of whether murdering people to prevent AI-takeover is acceptable,”

Where? I probably believe you but it almost makes me worried about the well being of the stability ai founders (on a long term horizon)
The condition of man hasn't fundamentally changed in the past 5000 years.

"[...] we do not believe in progress. Progress implies amelioration; but man is always the same, facing a situation which is always changing, and choice remains always a choice in the situation. The moral problem has not changed since the time when it was a choice between slavery and anti-slavery – from the time of the war of Secession, for example, until the present moment when one chooses between the M.R.P. [Mouvement Republicain Poputaire] and the Communists." ~ Jean-Paul Sartre.
What is "all the channels of Chrome"? What channels are there?
This only works if incumbent is immune from competition due to regulatory capture and other roadblocks for new entrants. eg: healthinsurance cartels.
I believe this is called marketing and advertising ^^
Related:

Learn TLA+ - https://news.ycombinator.com/item?id=31952643 - July 2022 (74 comments)

Learn TLA+ (2018) - https://news.ycombinator.com/item?id=22393653 - Feb 2020 (58 comments)

Learn TLA+ (2018) - https://news.ycombinator.com/item?id=19661329 - April 2019 (92 comments)

Also related:

Ask HN: Do you use TLA+? - https://news.ycombinator.com/item?id=30193431 - Feb 2022 (24 comments)

TLA+ is hard to learn (2018) - https://news.ycombinator.com/item?id=28256643 - Aug 2021 (44 comments)

TLA+ Action Properties - https://news.ycombinator.com/item?id=26649273 - March 2021 (36 comments)

TLA+ - https://news.ycombinator.com/item?id=26385075 - March 2021 (69 comments)

Applying TLA+ in cloud systems [video] - https://news.ycombinator.com/item?id=25426030 - Dec 2020 (14 comments)

Using TLA+ in the Real World to Understand a Glibc Bug - https://news.ycombinator.com/item?id=24958504 - Nov 2020 (76 comments)

Finding Goroutine Bugs with TLA+ - https://news.ycombinator.com/item?id=24591131 - Sept 2020 (40 comments)

A walkthrough tutorial of TLA+ and its tools: analyzing a blocking queue - https://news.ycombinator.com/item?id=22496287 - March 2020 (6 comments)

TLA+ model checking made symbolic - https://news.ycombinator.com/item?id=21662484 - Nov 2019 (51 comments)

Using TLA+ for fun and profit in the development of ElasticSearch [video] - https://news.ycombinator.com/item?id=21003470 - Sept 2019 (15 comments)

Modeling Adversaries with TLA+ - https://news.ycombinator.com/item?id=19839388 - May 2019 (13 comments)

TLA+: design, model, document, and verify concurrent systems - https://news.ycombinator.com/item?id=19821272 - May 2019 (32 comments)

Using TLA+ to Model Cascading Failures - https://news.ycombinator.com/item?id=19623634 - April 2019 (24 comments)

Using TLA+ to Understand Xen Vchan - https://news.ycombinator.com/item?id=18814350 - Jan 2019 (12 comments)

Modeling Message Queues in TLA+ - https://news.ycombinator.com/item?id=18357550 - Nov 2018 (46 comments)

Practical TLA+ - https://news.ycombinator.com/item?id=18249841 - Oct 2018 (6 comments)

The TLA+ Video Course by Leslie Lamport - https://news.ycombinator.com/item?id=16956778 - April 2018 (17 comments)

Modeling Redux with TLA+ - https://news.ycombinator.com/item?id=16569653 - March 2018 (33 comments)

TLA+ in Practice and Theory, Part 3: The Temporal Logic of Actions - https://news.ycombinator.com/item?id=14528072 - June 2017 (7 comments)

TLA+ in Practice and Theory, Part 2: The + in TLA+ - https://news.ycombinator.com/item?id=14475791 - June 2017 (8 comments)

Principles of TLA+ - https://news.ycombinator.com/item?id=14432754 - May 2017 (23 comments)

Formal Methods in Practice: Using TLA+ at ESpark - https://news.ycombinator.com/item?id=14221848 - April 2017 (19 comments)

Leslie Lamport: Video course on TLA+ - https://news.ycombinator.com/item?id=13918648 - March 2017 (74 comments)

My experience with using TLA+ in distributed systems class - https://news.ycombinator.com/item?id=10220264 - Sept 2015 (12 comments)

TLA+ - https://news.ycombinator.com/item?id=9601770 - May 2015 (21 comments)
2030 seems way too early, but Feynman predicted the nanobots a while ago:
https://www.youtube.com/watch?v=4eRCygdW--c

There are at least two ways to go about this:

1 - keep making computers smaller until they are ingestible and somehow interface with biology

2 - learn enough about existing biology to be able to re-program cells for our purposes

However, to me the most exciting type of projects are the ones that merge these approaches, like an ingestible pill shaped device containing a compartment filled with bacteria engineered for particular tasks. In one case the bacteria were made to glow in the presence of heme, and the device contains a light sensor as well as bluetooth transmitter to relay the data to the smartphone in real time.
https://www.science.org/doi/10.1126/science.aas9315

As Feyman mentioned, this type of device could also be made to capture a biopsy, perform certain micro-surgeries, etc aka Swallow the Doctor.

But without even even getting to the super fancy nanorobots, it seems to me there is a lot of low-hanging fruit in simply chemically modifying or repackaging existing drugs for tissue-specific application. This would enable increasing the dosage of existing medication without increasing side effects. That seems like something that could happen by 2030 and it would revolutionize medicine.
Oh, cryptocurrency.
Check out Coyote (which is an evolution of P) and allows you to "model check" .NET code to find hard to find race condition-y bugs in your implementation. We have used it very successfully on a number of projects at Microsoft. I should probably do more public talks on it to get the word out. Finding subtle bugs in your implementation using tools like Coyote is easier than most people realize.
I just want to commend OpenAI for protecting us from the sight of breasts. As we all know, breasts are some of the most dangerous and corrupting things known to humankind. Unleashing upon the world an advanced AI capable of rendering breasts would almost certainly result in the complete collapse of civilization as we know it.

However, President Raisi is very disappointed by OpenAI's brazen and disgusting display of female hair. It's extremely insensitive that OpenAI has enforced only a mere subset of the worlds cultural mores.
I also appreciate that they allowed me to download all my info after cancelling their service.
It isn't..The Russians themselves admit to it openly.
FastCompany.Com and Inc.Com are down due to breach.

"As a result of the FastCompany.com breach, Mansueto Ventures (which also owns Inc.) is temporarily shutting down Inc.com out of an abundance of caution while the investigation is underway."
Asian countries do not dislike Chinese people and culture: they have had large communities of Chinese immigrants for a long time, they don't mind the tourism and like the students as well. But that says nothing about whether they like the Chinese government or not: be it the Communists, Nationalists, or Qing dynasty, that's where the friction begins.
Show HN: My Q&A with Neal Stephenson on making the Metaverse himself
Wrong on all accounts. They do it and they readily admit it.

https://mobile.twitter.com/IlvesToomas/status/15751194545052...
> English, Deutsch, Spanish, Portuguese, Swedish, French, Italian, Dutch, Polski, Hrvatski, Czech, Bosnian, Magyar, Romanian, Greek, Bulgarian, Japanese, Ukrainian, Chinese and Turkish

Strange how it switches between native and English for different languages.

I didn't think the landing page looks like a scam though ...
As a designer not in web development, I cannot even begin to wrap my head around that. Because at what point is just developing the thing directly or merging layers or using a more suitable app the solution?
One remote is inherently better than two remotes. It's objectively less hassle.

The apps are actually mostly identical from experience.

I actually use a PS4 at the moment, and it occasionally forces me to update before I can use the TV app, so even more hassle.
Apple won't let you download or play a movie on non- drm protected devices/ apps either.

And you can't play anything you bought until you obtain Apple's permission to link the device you want to play on to your Itunes account.

This isn't exactly a traditional definition of ownership.
"The black guy makes $22 per hour."
https://support.google.com/chrome/a/answer/9027636

"Chrome browser provides 5 channels: Stable, Extended stable, Beta, Dev, and Canary."
Google Fiber touts 20Gbps download speed in test, promises eventual 100Gbps
When I see the word fault-tolerant, C++ is not the best choice.

Ada or, to a lesser extent, Rust remains at the forefront of fault-tolerant.

The rule of thumb for test suite is 4x the code-line being tested, way more test unit code-lines if in C++.
Certainly glad these vulnerabilities were disclosed and patched without exploitation by malicious entities.

However. Does anyone else feel uneasy about Matrix end-to-end encryption and how some people justify its provenance by asserting it is the same encryption as Signal despite the homebrew implementation by Matrix having obvious differences to attempt to accommodate multi-device support among other features?
I feel like both sides think this,

Engineer - Our company is so good word of mouth should be enough to bring in sales, if we need any more lets look to AI for a solution.

Sales - We bring in the money, all engineers do is cost the company money, we could probably run the app/develop the product on a skeleton crew, can't wait for AI to make those jobs obsolete!

Truth - Both engineers and sales are hugely successful to any companies strategy and AI isn't taking anyone's(engineer or sales) jobs not for a long time :)
> I'm surprised they're both used, from that description it sounds like one would fall by the wayside, like cursive has in North America.

Katakana, hiragana, and kanji are all in active use--that's why they don't fall away.

Kanji are your primary word base. They are sort of like root words in English.

Hiragana often serves as kind of a marker--endings of certain words as well as phrase markers (particles). These are particularly important because Japanese does not normally break words with spaces.

Katakana often denotes a foreign phonetic word or foreign names. Login is particularly good example for this forum: ログイン (ro-gu-i-n).

Japanese speakers actively use the differences as cues when reading. Watch a native Japanese speaker try to puzzle out Japanese learning materials for non-native speakers. If everything is written in hiragana (not uncommon for beginning materials), native speakers often have to puzzle over things a bit before they work out what a sentence says. This is one of the reasons why you want to get to Kanji as fast as possible when learning Japanese--the differences in script are important for reading comprehension.

You can see all of these in play on the Asahi Shimbun webpage:
https://www.asahi.com/
Timeline of Computer History (2015)
They exist. My cheapo $20 USB HDMI capture card does it too and I can use OBS to record Blu-rays off my PS3 for example.
Without having read the article: There is no such thing.

how to make a good toy, sure. But "perfect"? For whom? In which context?
In this case, I take "scam" as referring to VCs investing in companies so they can challenge the market leaders just long enough to prompt an acquisition and cash out.
Yep, this I think is implicit in the author's frustration. He didn't buy the cheapest possible TV, he bought something near the top of the range. Premium customers deserve premium treatment.

I would wager the story is the same for the absolute most expensive TV's as well.

What I haven't seen here in this thread yet is the usual suggestion of looking into "Digital Signage" displays, which in addition to being "dumb", some of them come with a place to chunk in an RPI board!
We've had a Roku TV for years and have been extremely happy with it.

The UI is great and it's nice to have everything right there without having to work for it. And as someone without cable, I even come to enjoy some of the internet channels they offer.

My takeaway would be manufacturers do not do good user software. This is true whether it's tvs or cars or fridges.
Is Synapse not infamous for its memory consumption and losing sync with other homeserver(s)?
The differentiation between race and ethnicity will actually out a ton of black hispanics even in larger organizations.
TLA+ and Coyote pair quite well actually. Verifying the high level design in TLA+ while checking subtle bugs as you translate that design to an implemention.
the thing people try to avoid is crappy speech recognition software, with a dose of cargo-culting because of course the platforms don't tell people what exactly they don't like, so people try to find patterns in what gets demonetized.
On an unrelated note, I opened this url in a new tab, took a quick look, then came back to read the comments.

A few minutes after I hear the fans on my pc start ramping up. Sure enough, I open the system monitor and see chrome going crazy on my CPU. In chrome, I open the task manager, then click sort by CPU. The entry at the top of the list reads:

> subframe: facebook[dot]com

I get taken to the open downdetector.com tab after double clicking the entry. After closing the tab everything goes back to normal.

Does anyone know why or what downdetector/facebook would do that requires 100% of my CPU's resources?

PS. I have ublock origin installed. My cpu is an i9-12900K.
I got super annoyed at enemies popping in behind me out of thin air, too. Felt like a cheap way to surprise the player, and it got old really fast.

Doom 3 as a game sure looked cool, though. The flashlight blew my mind back in the day.
> People have a bias towards making choices that appear agreeable, even if it means choosing something like less pay.

If true, how do public pay ranges affect this negatively?

Assuming your premise is correct, without the public pay range, employee would likely accept whatever number employer throws out.

With the public pay range, employee can sort job listings and eliminate employers paying at the bottom, or at least reply back with “if you do not pay me as much as businesses X, then I will go apply there”.

Also, this law is for employees to know when their market price has risen and new coworkers are earning more.
What we really need is more standardized swappable modules.

The odds of me replacing a BGA chip are low. By the time one fails, the device may be obsolete, the part may be expensive, my soldering skills probably could never be as good as a robot, etc.

But if my computer has an issue, I can totally replace a bad drive in full confidence that it's probably worth it.

The fact that there's no standards body for modular consumer goods really sucks.
People spend their attention here, not their money. YouTube alone has far more watch-time than cinemas or Netflixes.
Apple Silicon can still build amd64 though right? Using BuildX and arch flags?

I used it, didn’t have any issues but i realize there’s lots of reasons that might not work.