skysight-inc/HackerNews huggingface dataset:
To me, the most interesting part of Wheeler's work is formal verification. As an extra argument, he converted his verbal arguments into a set of logical statements, and then used a theorem prover to show the DDC argument is flawless (within its assumptions).
And executives are the people you execute if a company goes bankrupt.
So true. I look at photos I've taken in the past, and discovered that I took pictures of all the wrong things.
The harm is really hand-wavey and speculative, frankly.

An image classifier calling Black faces gorillas? Embarrassing, insulting, has to be fixed. AI pre-crime classifiers for police departments? I'm against it, across the board.

Do we really care that the image mulchers default to stereotypes? It means if you say "basketball player" they'll mostly be Black, if you just say "doctor" they'll mostly be white males (and probably balding with a stethoscope), but this can be qualified easily in the prompt.

It just reflects the training data, and the smart thing to do is shrug and add enough words to get the image you want. It's not trying to throw shade, it literally understands nothing, it's not able to understand things, just match text prompts to generated images.

Nerfing DALL-E by randomly adding 'diverse words' just makes it harder to dial in the image you want. Let's say you want a Vietnamese male doctor drinking coffee on break in Hanoi, it's not going to help you if 1/3rd of the images have "female" or "black" tagged onto it.

It just seems low stakes. We wouldn't come after a human artist who happened to paint a picture which conforms to simple occupational stereotypes, why should AI be any different? It's not like it will refuse to give you what you want if you ask.
The funny thing too is that a lot of TV/Cable providers' set top boxes _already_ include built-in apps, so now you've got your TV that does Netflix, Hulu, etc. - then you _also_ have your set-top box being able to do the same thing.

It just makes things so much more frustrating when you're providing support for the less technically inclined.
Because that's not a solution. If someone breaks into your house and steals your TV it's still theft even if they leave behind the same amount of money that you originally paid for it. And the same should apply here.
Sadly, photos takeout breaks if you have too many files. Then you have to setup multiple partial takeouts (each with some subset of albums) which is a huge pain.

I used to use OneDrive as a 2nd backup but Microsoft started doing same crap (removal of EXIF).
He frequents HN so it's not totally out of the realm of possibility that he boosts his own posts.
Idk doesn’t seem that hard honestly. Websites with much less resources do it all the time.

I’m not asking for a Facebook clone I just want to be able to have friends and make lists for them and they make lists for me.
I have a pristine, barely used DX with cover (Kindle DX Graphite?), maybe I should throw it on eBay? There are already a couple of listings if you're so inclined.
I'm not sure censorship is a better use of the tech. In terms of hollywood films I imagine it might be used to help make stunt/body doubles less obvious though
It's all there because the usability is much better if you download one thing, and then no matter what you then choose to work on, it's available.

That said, I think that code signature on Xcode does let you delete whichever sdks and simulators you want without invalidating the main package signature? (This is _very_ much an "I think" case). That would remove the "force" element you find to be a problem.
They do substantially more than the click-to-sign part. ID verification, contract management system, electronic notarization, APIs for automation of the whole thing, mobile apps...
I think the thing I like the least about this is how wasteful it is.

P31 in bold

> Regardless of quantities used, all open packages must be replaced after each visit

So much waste in this from replacing TP with full rolls to Toothpaste when it's half empty.
We should start practicing with the Full Self Driving cars getting OTA updates
>LeCun, 2022: Today's AI approaches will never lead to true intelligence (reported in the headline, not a verbatim quote); Marcus, 2018: “deep learning must be supplemented by other techniques if we are to reach artificial general intelligence.”

If you think that is substantive evidence for a stolen idea then it's surely not possible for anyone to ever have an original thought.
EU announces Russian oil price cap in new sanctions plan
Just giving back exactly the level of consideration he gives to ML as a field... Pattern matching isn't intelligence, after all.
Does anyone actually directly employ janitorial staff these days?
I don't like it for bulk sends. As a lawyer, if I need to get a lot of shareholder docs signed, DocuSign is def better than nothing, but not a great user experience. Also, always interested in alternatives even if it's just intellectual.

Another thing I really don't like is how it "forces" signatures by it's labelling system. People should read contracts, not just sign them.
Aren't invariants essentially just a very specific "what do you want"? TLA+ doesn't know what you want the code to do. It can only tell you if it's doing it properly.
> As all growing enterprise software companies do. And it's sensible.

It's sensible only when you know you can flip a switch and turn to profit mode. This is true in the oil drilling example, but not at all guaranteed for tech companies.

So much of VC funding in the last decade has assumed (not only for enterprise software, but everything), that if you grow by some metric enough, one day you can flip a switch and *poof* profits. This same logic pervaded the "new economy" thinking right before the dotcom bust.

With the cost of many going up more and more of these large, unprofitable tech companies are going to have to start proving that they really can flip that switch and remain at the scale they are. I think a concerning amount will find they can't.
Kagi is great so far!
A lot of academic debates come down to flag-planting. But the muddiness of them involves an ambiguity of "Is X flag-planting or is X complaining rightfully about Y flag-planting?".

And your comment would be reasonable if you hadn't jumped to the "mental illness" comment, that's a bad way to do discussion.
My vizio runs so much better without a connection. It used to semi-regularly get into a state where the screen was blank even though the tv was on. Because it was a smart tv, powering it off wouldn't actually power cycle it. I had to pull the power cord to reset it.

Now I use a chromecast plugged into it for streaming. before that I used a ps4.
Used car dealer DriveTime has paused the sale of over $350M of bonds
K2pdfopt: Optimize PDF/DJVU files for mobile e-readers
Ty for pointing that out, my example was bad. I think this is a good illustration of why being judgemental is not helpful. I completely missed why this is a perfectly normal choice for a lot of people who don't operate like I do.
Nowadays people use mobile phones. For news, entertainment and other activities they use phone that's why book work.
It's not true that SD cannot generate hands. It's a bit tricky, but it's possible.

Sometimes hands will turn out just fine and sometimes they will suddenly become fine after some random other stuff is added to the prompt.

It's clearly still missing a bit in terms of accurately following prompts, but it's capable of generating a lot of things that may not have obvious prompts. This should improve a lot with larger models. I believe SD is already working on it.
Look at your comments and post history in the past couple of weeks. You submitted 3 separate posts about V, and your recent comments are just calling people who call out V "trolls" and "spammers." Observe your own bias before you cast others down.
$3k on a TV but won't spend an extra $50 on a Chromecast?
Oh it’s over? Ending? Missed that memo - oh found it [1]

Smells like wishful thinking

[1] https://fortune.com/2022/09/19/biden-declares-covid-pandemic...
How’s is this different than running a Docker daemon on remote with build kit support?
Correct. The last professions in the world to be automated will be salesperson, politician, and plumber.
Yup good point, it wasn't a very good example.
People aren't "feigning" ignorance. The terms of service are long, in legal language, and not meant to be read. The ignorance is by design.
This truly is the final, futile iteration on the meme of: I want <current existing language> but with or without X:

> That said, I don't know what I'd want to drop from Rust so maybe I'm just fantasizing.

What is X? I don’t know.
That's a post-condition not an invariant.
Do these frequent trading strategies ever account for taxation? Where I live, the returns compared to a buy and hold passive strategy would be cut by 50%.
Just throw more GPUs at it bro!
DRM manages rights like jail manages freedom.

It's time for legislation to change the "Buy" or "Purchase" button on these pages to "License".

People need to be aware they are making an exchange of money for a long term license that can be lost/suspended/deleted at anytime.

If you want to own a copy you need to physically buy a version without DRM or at least with a DRM that has been defeated.
> In summary, we found that Matrix and its flagship client Element as deployed provided neither authentication nor confidentiality against homeservers that actively attack the protocol, i.e. its end-to-end encryption fell short of the security guarantees expected from it.

While... frustrating to see that these vulnerabilities exist, I'm happy to see that at least the bulk of them require a malicious homeserver.

And Matrix makes it easy(ish... if you're a sysadmin type...) to run your own homeserver.

I've generally assumed in the past couple years of running Matrix that if someone else controlled my homeserver, they could probably do something malicious, which is why I run my own, on hardware I control. Perfect? No, but it's a sure bit better than running on some major tech company's chat infrastructure.

The main problem is I don't know of anything better, short of just giving up and going back to IRC - which, even with znc, isn't nearly as nice as Matrix/Element/etc, though it's far lighter to run at all ends. And IRC is mostly just plaintext (yes, there are some plugins that help, no, they don't really work reliably in my experience with them).

I'm open to being convinced otherwise, but even with this bit of a charlie foxtrot going on, I still think Matrix is probably the least-awful of modern chat options, if you can run your own homeserver.
So what now (or, has anything changed since the last time this came up)?

Marcus seems to be in the right (though his seething saltiness seems to me to dilute his message), and LeCun has done nothing so far but double down on dickishness.

LeCun probably should issue a retraction and an apology, before this really bites him in the arse.
Is it that they prefer media from juggernauts or that they're more likely to know of media from juggernauts?

Juggernauts are able to put their movies in theaters or cable/streaming television, put trailers in front of other movies or tv shows, take out billboards, etc. Juggernauts are able to market the hell out of their products, while most little guys don't have that opportunity.

I imagine that this also has a lasting effect. For example, juggernauts are more likely to have a streaming service trying to pick up their media while also putting that media ahead of little guy's media in that streaming service's recommendations. I'd also guess that over time the probability of organically finding little guy's media drops at a significantly faster rate than juggernaut's media .
I'm sure we all had different experiences with old school sysadmins.
The ones I'm familiar with (early 90's, ISP industry) could do shell scripting and some perl. C was way out of their skill sets, except for a bit of copy-and-paste.

The people who wrote tools like terraform and ansible were engineers with system administration skills. Those are very rare.
Just signed up and phone number verification is mandatory to use the service. Don't want to share my phone number with this service. Now I'm stuck on the phone number form and can't delete my account. Don't recommend.
It sounds like you made a good decision, and yes, it sounds like your entire market (particularly the parts around exam hosting) is exceptionally bursty. I worked with some folks at a university on some of their IT systems, and they hit huge traffic spikes (literally 1000x their base load) around course registration and final exams. Their solution was to put 100 gbps NICs on their Oracle server...

I don't know how big your peak was compared to your average load, but if it was anything like that, serverless was a great call. Buying enough hardware for the bar exam and idling it 99.5% of the time sounds incredibly wasteful. However, this is an exceptionally bursty workload.

Most services do not have this level of traffic variability in such a way that a CDN can't handle it for you. 10x peak to trough variability (after your CDN) is fairly common, but still considered bursty, and in that case, AWS serverless still doesn't look great compared to DO droplets. Many services have daily or weekly cycles (without events like the bar exam), and run analytics workloads in their off hours.
Oh, for sure, they will be useful to me. I got access to DALL-E shortly before summer but I haven't played with it due to "prompts and credits" scheme. Thank you!
Anyone know of some good free software TLA+ model checkers? The "Other Tooling" mentions one alternative checker, https://apalache.informal.systems/, but that's all I could find. Thanks.
Why I Went to War with PayPal
Completely unprincipled naked self interest. I admire the chutzpah.
Let me try this again. If you missed that I'm agreeing with you, then others probably did also.

"Modern biological and neurological knowledge" (wording adopted from spicyusername's post) says that our minds evolved over mega-years, to be good enough fast enough to give us a survival edge. They didn't evolve to be pure logic engines, and they show that in all kinds of ways.

Within that view, it is a contradiction to believe "ones own mind being a coherent arbiter of logical reasoning" (your wording). Within the current framework, you can't trust your mind to reach correct conclusions.

I'm not assuming the premise. I'm pointing out that those who do put themselves in a contradictory position.
Funny to see how little value devs and engineers put on sales people. Enterprise software success depends highly on sales people. Startup success depends highly on marketing. At previous company, SAP flew the CEO and a few others to Monaco for the F1 race. Interesting to see we had SAP and PeopleSoft implemented at the company.
This is also where companies can save a ton of money if they develop tools that allow customer facing employees to do their jobs much more efficiently.
I like having only one remote with my TV. I get minor anxiety when at other people's houses and they have 3-4 remotes or more, and usually only one person knows what they all do (the one that had to set it all up).
Google search is how I was able to learn how to do the jobs I've been doing for the past few years. Fixing one problem at a time by googling it.
Would you hire them based only on a competency test?

This is how schools are judged: what proportion of their students pass a minimum competency test.
One thing I really appreciate about your site is that you have a setup guide, with photos! This is really helpful for folks unfamiliar with how to run a spec.

https://learntla.com/core/setup.html
I disagree that they actually solve that problem. Instead, they bake organizational fragmentation into the tech infrastructure. This is one way to accomplish encapsulation, but it comes with a bunch of costs. The reason I think it doesn't address scaling is that delivering functionality that crosses org/service boundaries becomes more complex, potentially reducing scalability.
Yeah. People are definitely going to abuse Stable Diffusion, I'm sure they already are. But I don't really know what OpenAI's plan was. It's like they rushed up to a Pandora's box, took a peek and shouted to everyone "Good news everyone, we taped Pandora's box closed!" somehow without noticing that they were doing so from inside Pandora's warehouse.

On the other hand, everybody's been saying Pandora's warehouse was over there for a while -- it isn't really that they are to blame for showing us the way in or anything, I just don't understand what they were trying to accomplish.
sorry you probably need to be logged in.

it's a canned search to people saying they currently work at DocuSign (6300 results iirc)
It's not weird, but the reason you find it a privacy violation is that you're told so by employees (directly or indirectly. Employees are the only side to benefit from you being secretive about it.

There are really not that many reasons to hide it, unless you're lying to someone about it.

I've used knowledge of someone's salary to tilt negotiation in my favor multiple times.
I used this quote in the heading of my dissertation on uncertainty in deep learning, and I think its simultaneously true for lots of fields. In ML research we celebrate these enormous models that do everything (GATO, Flamingo, CoCa, etc.) since it feels like we're getting close to something real or universal. I imagine particle physicists feel something similar about expanding the standard model (SUSY(?), quantum gravity),

So in the sense that people get excited about science (see AI lately), I think these models are useful, even if they are pretty mis-specified in the grand scheme of things. I can't speak to Sabine's specific frustrations, but it sounds a little bit like Gary Marcus's concerns about neural networks. In my day-to-day I definitely value a useful model over an exact one.
It was, and then governments came
The first rule of publishing ETAs for updates is to triple the estimate. Be the hero that finishes before the published time vs finishing after! The second rule of ETAs is don't specifiy a time.

I'm still amazed at the number of cults that place a specific date on the return of the savior, and even more by the people that go along with the rescheduling. The fact that I'm still waiting in Dallas for JFK's return is irritating. /s
They need to ban ads, period. For good.
Probably staff would secure it somewhere else while he wasn’t there.
You've described my company to a T. We aren't even that big and our customer service, sales, and marketing department make up about 80% of our workforce (even though we are SAAS).
Gotta love when the question proves they didn't read what they're asking about.
It certainly is up to them. They negotiated a contract with the content producers that did not allow for that, and could have negotiated a different contract that did by offering more.
In Europe you can vote for the Pirate Party in several countries, including for European parliament.

There are problems with such parties at the local level because it's hard to unite on other issues, but at the EU level, the Pirate Party representatives consistently have presented (in my view), the most technically correct interpretations of internet laws and regulations for example, all the topics around data privacy, etc. They are not "hurr durr I wanna get free stuff" at all, and most other representatives remind me of my grandpa that had no clue what a computer even was.

To me, donating and voting for people who are technically correct is a way better way to effect change than just trying to have some mass coordination around piracy / boicots, those never work.

Outside of Europe I have no idea what something effective would be. Unfortunately the patent / copyright apparatus is very very strong and the political pressure US groups put on the world is very hard to combat.

A good book about the subject of patents and this apparatus and how they basically muscled the world into abidding to US lobbies, including massively fucking poor countries with respect to pharmaceutical patents is "Information Feudalism: Who owns the knowledge economy?" https://thenewpress.com/books/information-feudalism
So every modern graphical linux distro has it's own GUI implementation of it for FVWM? Or without sarcasm, it's a Window Manager problem in X, and my google-fu says FVWM doesn't support this feature.
The rest of the internet when workers get laid off:

Those poor workers, I hope they'll be able to find something new and provide for their families.

Hacker news:

Good, that company had too many employees anyway.

\s in case it's not obvious
>renewable sources

"Breeder reactors could, in principle, extract almost all of the energy contained in uranium or thorium, decreasing fuel requirements by a factor of 100 compared to widely used once-through light water reactors, which extract less than 1% of the energy in the uranium mined from the earth...could greatly reduce concerns about fuel supply, energy used in mining, and storage of radioactive waste"

https://en.wikipedia.org/wiki/Breeder_reactor
There are plenty of plain TVs around though, just like there are plain operating systems, plain phones, etc but consumers still give their money to Samsung, Microsoft, Google, etc. Most people don't care, you are not the target audience.
Just go into the menues and turn it off.
TLA+ is not code but mathematics because that's what allows it to be arbitrarily expressive [1] so that (we hope) you can write a short and clear high-level description that is easy enough (with some study) to fully grasp and see if it is what you intended.

[1]: To the point where it can easily describe systems that can't be implemented in reality.
That's really interesting. We didn't get any user reports before our canaries fired, either. Now I have to think about what might explain the difference between your systems and ours. We're monitoring API Gateway health (more or less), because that's what we care about in this part of our infrastructure.
Quite bad vulnerabilities in some cases, but the fact none of these bugs were on the protocol level is a good look for the ecosystem as a whole.
Most of the scripts I was familiar with from that time were one-offs. The code wasn't very reusable. They were automating a task on one machine. Today's "DevOps" are automating things across N machines. It is a matter of scale.
We have drug ads in Canada, too.
Ya I’m wondering what ppi competitors are, and latency wasn’t mentioned. Would also be good to know latency and ppi compared to an iPad Pro.
my parents' TCL TV would blink a white light at the bottom of the front bezel unless we gave it access to the wifi... :(
I keep wondering why we as consumers allow this? I'm US based, and my bank closed one of my accounts and "held" my money due to suspected fraud when I deposited a good check. It took 2 months and a complaint to CFPB to get my funds released.

Before contacting CFPB, I was on numerous phone calls and made multiple trips to the local branch to get the funds released and it appeared that I would never get it back because one part of the bank does not communicate with the other. I had submitted all the documentation the risk department asked for but claimed they never received, and the local branches assured me it was sent, but could not give me a tracking number or reference number. After contacting CFPB the issue was magically resolved without any additional documents, apparently the documents were never lost based on their response.

When I asked how this is legal, they said I agreed to it when I opened the account, which is basically what every bank does.

So in a nutshell, nothing is yours even the money you worked hard for.